JingHua Wen, Mei Zhang, Xiang Li. The study on the application of BAN logic in formal analysis of authentication protocols. In Qi Li, Ting-Peng Liang, editors, Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi an, China, August 15-17, 2005. Volume 113 of ACM International Conference Proceeding Series, pages 744-747, ACM, 2005. [doi]
Abstract is missing.