| 网构软件信任机制的形式化研究 |
| |
| 引用本文： | 董宇欣,印桂生,谢新强,马志强.网构软件信任机制的形式化研究[J].哈尔滨工程大学学报,2011,32(6):800-806. |
| |
| 作者姓名： | 董宇欣 印桂生 谢新强 马志强 |
| |
| 作者单位： | 哈尔滨工程大学计算机科学与技术学院,黑龙江哈尔滨,150001 |
| |
| 基金项目： | 国家自然科学基金资助项目，黑龙江省自然科学基金资助项目，哈尔滨市科技局基金资助项目，哈尔滨工程大学基本科研业务费专项基金资助项目 |
| |
| 摘 要： | Internet环境下构件群体间信任关系的形式化建模是实现其仿真的关键环节,给出了信念逻辑及信任关系的形式化定义,包括形式化描述、分析、逻辑推理及证明过程,以及信任链建立和传递过程中成立的语义解释和约束条件,并结合PKI模型实例对信任链的建立过程进行了形式化描述与推演.提出了一种可行的最优化信任链搜索算法(GSTC)和...
|
| 关 键 词： | 网构软件 信念逻辑 信任关系形式化 信任链搜索 多路径信任聚合 |
Study on formalization of trust mechanism for Internetware |
| |
| DONG Yuxin,YIN Guisheng,XIE Xinqiang,MA Zhiqiang.Study on formalization of trust mechanism for Internetware[J].Journal of Harbin Engineering University,2011,32(6):800-806. |
| |
| Authors: | DONG Yuxin YIN Guisheng XIE Xinqiang MA Zhiqiang |
| |
| Affiliation: | (College of Computer Science and Technology,Harbin Engineering University,Harbin 150001,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
