Xinxin Liu, Shaohua Tang, Kai Wei. Formal security analysis of automated trust negotiation. In International Conference on Machine Learning and Cybernetics, ICMLC 2010, Qingdao, China, July 11-14, 2010, Proceedings. pages 861-866, IEEE, 2010. [doi]
Abstract is missing.