董宇欣，印桂生，谢新强，马志强

(哈尔滨工程大学 计算机科学与技术学院，黑龙江 哈尔滨 150001)

网构软件是一种新型软件形态，它具有自主适应性、协同性、反应性、在线演化性、多态性等形态特征，是传统软件在开放、动态、多变的网络环境下的延伸［1］.与传统软件形态不同，网构软件的出现使得Internet平台上存在着大量的可重复利用的构件资源.如何能够充分利用这些构件资源使其形成一个具有全面共享、自主协同的统一计算平台，从而解决大规模科学和工程计算问题［2］已成为网构软件技术面临的重要挑战之一.此外，由于网构软件系统的自组织特性，各类复杂系统中应用不同的信任管理机制，使得不同的应用系统中对信任的形式化定义和理解也存在着不一致性.例如，Lampson等［3］提出的访问控制演算逻辑以及BAN逻辑给出了安全认证协议的逻辑模型.Blaze等［4］提出了基于功能的静态概念信任模型PolicyMaker.Maurer等［5］提出的PKI信任模型［6］.信任是主体间的一种关系，目前还没有一个被广泛接受的严格定义［7］.对于信任的理解和定义大多局限于自然语言的描述，缺乏严密的数学模型及形式化方法对信任关系进行推导和量化.JØsang［8］认为信任是主体间的一种信念，信念表达了对信任实体行为和表现的期望，信任实体具有感性和理性之分，因此信念的背后必然存在着某种推理.本文基于信念逻辑给出信念公式和信任关系的形式化定义、分析、逻辑推理及证明过程，并给……