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]
@inproceedings{WenZL05, title = {The study on the application of BAN logic in formal analysis of authentication protocols}, author = {JingHua Wen and Mei Zhang and Xiang Li}, year = {2005}, doi = {10.1145/1089551.1089685}, url = {http://doi.acm.org/10.1145/1089551.1089685}, tags = {protocol, analysis, logic}, researchr = {https://researchr.org/publication/WenZL05}, cites = {0}, citedby = {0}, pages = {744-747}, booktitle = {Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi an, China, August 15-17, 2005}, editor = {Qi Li and Ting-Peng Liang}, volume = {113}, series = {ACM International Conference Proceeding Series}, publisher = {ACM}, isbn = {1-59593-112-0}, }