国家自然科学基金(60731160632)
- 作品数：2 被引量：18H指数：2
- 相关作者：怀进鹏李先贤林莉李建欣杜宗霞更多>>
- 相关机构：北京航空航天大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- DTM:一种面向网络计算的动态信任管理模型被引量：16
- 2009年
- 在开放的互联网中,信任关系的建立是实现跨自治域资源共享与协同的前提.然而,网络计算环境的分布自治特性,使得各类复杂系统中应用不同的信任管理机制,容易导致信任定义的不一致问题,特别是很多系统为支持多域协作,直接假设实体间信任具有传递特性,而在模型中缺乏该性质成立的条件;此外,网络计算环境中的动态演化特性,使得驱动实体间协作的信任关系随需而变,而现有信任管理模型仅仅关注于系统功能结构,缺乏对这种动态性的描述.文中提出了一种动态信任管理模型DTM,基于信念公式形式化定义了主体间的信任公式,并将信任的传递特性(信任链)解释为模型的一条性质.在该模型中,针对信任关系的动态特征,以时间为参量刻画主体公式集,以事件为触发条件刻画主体间信任的变化,并基于正则事件序列描述信任管理的资源授权过程,可刻画主体间信任的建立过程.最终,设计、实现了一个信任管理系统CROWN-TM,并进行了初步实验分析.
- 李建欣怀进鹏李先贤林莉
- 关键词：网络计算信任管理信任协商信任证
- 一种具有正确性保证的组合Web服务自动合成方法被引量：2
- 2009年
- Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性,如没有死锁和未指定的接收以及时态约束等.在现有的研究中,需要在先给出组合服务的详细规范的基础上,进行形式化验证保证设计的正确性,这使得组合过程既复杂又低效.文中提出一种新的、具有正确性保证的自动服务组合方法,并给出相应的服务组合原型系统.该方法基于L~*算法实现组合服务的自动构造,并且将服务行为的正确性约束贯彻于构造过程,从而自动保证组合服务的正确性.证明了提出方法的正确性和完备性,并提出了优化技术减少组合时间,提高效率.最后,实现了一个自动服务组合原型系统,实验结果验证了该方法的有效性.
- 怀进鹏邓婷李先贤杜宗霞郭慧鹏
