The study on the application of BAN logic in formal analysis of authentication protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'JingHua Wen' in GoogleThis author has not been identified. Look up 'Mei Zhang' in GoogleThis author has not been identified. Look up 'Xiang Li' in Google

runs on WebDSL