Yuqing Zhang, Xiuying Liu, Dengguo Feng. An approach to the formal verification of the three-principal security protocols. In Hamid R. Arabnia, editor, Proceedings of The 2005 International Conference on Security and Management, SAM 2005, Las Vegas, Nevada, USA, June 20-23, 2005. pages 163-169, CSREA Press, 2005.
Abstract is missing.