Internet环境下构件群体间信任关系的形式化建模是实现其仿真的关键环节,给出了信念逻辑及信任关系的形式化定义,包括形式化描述、分析、逻辑推理及证明过程,以及信任链建立和传递过程中成立的语义解释和约束条件,并结合PKI模型实例对信任链的建立过程进行了形式化描述与推演.提出了一种可行的最优化信任链搜索算法(GSTC)和多路径信任聚合算法(MPTA) .通过仿真实验对比了GSTC算法和RSTC算法、以及MPTA算法在受限和非受限条件下的性能.网构软件信任逻辑形式化方法的建立,揭示了构件间信任逻辑的建立和推理
