Study on Formalization of Trust Mechanism for Internetware
DONG Yuxin,YIN Guisheng,XIE Xinqiang,MA Zhiqiang
DOI: https://doi.org/10.3969/j.issn.1006-7043.2011.06.018
2011-01-01
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 chain's 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 Internetware's 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.