哈尔滨工程大学学报2011，Vol.32Issue(6)：800-806,7.DOI:10.3969/j.issn.1006-7043.2011.06.018
网构软件信任机制的形式化研究
Study on formalization of trust mechanism for Internetware
摘要
Abstract
The formal modeling of the trust relationship between Internetware systems is a crucial link in the realization of its simulation. In this paper the formal definition of belief logic and trust relationship was presented, including formal specification, logical reasoning, and the analyzing and proving processes. The semantic interpretation and constraints during the establishment and transmission process of the trust chain were given. Combined with a PKI model and instances, the formalization description and deduction of the trust chains establishing process were demonstrated. In particular, an optimum and feasible trust chain's searching algorithm was put forward - greedy strategy for trust chain ( GSTC) - along with a multiple path trust aggregation algorithm - multiple path trust aggregation (MPTA). Through experimental analysis the capability of the GSTC and RSTC algorithms was compared. Furthermore, the performance of MPTA algorithm under restrained and non-restrained conditions was compared. With the build-up of the formalization approach for Internetware trust logic, the establishing and reasoning process of trust logic between Internetware components was revealed. It not only satisfied the requirements of quality of service on the Internetwares trust mechanism and effectively enhanced the trust level of the entire network, but assisted in solving the secure problems existing in component entities under real environments, and provided a valuable new thread for studying secure component control under a cluster environment and formalization of trust systems.关键词
网构软件/信念逻辑/信任关系形式化/信任链搜索/多路径信任聚合Key words
Internetware/ belief logic/ formalization of trust relationship/ trust chain searching/ multiple path trust aggre-gation分类
信息技术与安全科学引用本文复制引用
董宇欣,印桂生,谢新强,马志强..网构软件信任机制的形式化研究[J].哈尔滨工程大学学报,2011,32(6):800-806,7.基金项目
国家自然科学基金资助项目(60973075) （60973075）
黑龙江省自然科学基金资助项目(F200937) （F200937）
哈尔滨市科技局基金资助项目(RC2009XK010003),哈尔滨工程大学基本科研业务费专项基金资助项目(HEUCF100605). （RC2009XK010003）
