Huanbao Wang, Yousheng Zhang, Yuan Li. Modeling for Security Verification of a Cryptographic Protocol with MAC Payload. In De-Shuang Huang, Xiao-Ping Zhang, Guang-Bin Huang, editors, Advances in Intelligent Computing, International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II. Volume 3645 of Lecture Notes in Computer Science, pages 538-547, Springer, 2005. [doi]
Abstract is missing.