A Dynamic Non-Interference Trust Chain Model Based on Security Process Algebra

Fanwen Meng. A Dynamic Non-Interference Trust Chain Model Based on Security Process Algebra. In Lakhmi C. Jain, Xiangmo Zhao, Valentina Emilia Balas, Fuqian Shi, editors, Information Technology and Intelligent Transportation Systems - Proceedings of the 3rd International Conference on Information Technology and Intelligent Transportation Systems (ITITS 2018) - Xi'an, China, September 15-16, 2018. Volume 314 of Frontiers in Artificial Intelligence and Applications, pages 341-348, IOS Press, 2018. [doi]

Abstract

Abstract is missing.