网构软件信任机制的形式化研究

• 作者: 印桂生 董宇欣 谢新强 马志强
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 网构软件 信念逻辑 信任关系形式化 信任链搜索 多路径信任聚合
• 年，卷（期）: 2011,（6）
• 页码范围: 800-806
• 分类号: TP393
• 字数: 7401字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-7043.2011.06.018

摘要

Internet环境下构件群体间信任关系的形式化建模是实现其仿真的关键环节,给出了信念逻辑及信任关系的形式化定义,包括形式化描述、分析、逻辑推理及证明过程,以及信任链建立和传递过程中成立的语义解释和约束条件,并结合PKI模型实例对信任链的建立过程进行了形式化描述与推演.提出了一种可行的最优化信任链搜索算法(GSTC)和多路径信任聚合算法(MPTA).通过仿真实验对比了GSTC算法和RSTC算法、以及MPTA算法在受限和非受限条件下的性能.网构软件信任逻辑形式化方法的建立,揭示了构件间信任逻辑的建立和推理过程,不仅能够满足构件信任方面服务质量的需求,有效的提高整个网络的信任水平；而且有助于解决真实环境下构件实体间存在的安全问题,为构件集群环境下安全控制及信任系统形式化研究提供了有价值的新思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	印桂生	哈尔滨工程大学计算机科学与技术学院	113	842	16.0	23.0
2	董宇欣	哈尔滨工程大学计算机科学与技术学院	43	318	9.0	16.0
3	马志强	哈尔滨工程大学计算机科学与技术学院	11	102	5.0	10.0
4	谢新强	哈尔滨工程大学计算机科学与技术学院	3	13	2.0	3.0