Wang Juan, Zhou Yajie, Zhang Huanguo. The Simplified Inductive Approach to Verifying Security Protocols. In Fei Yu, Qi Luo, Yongjun Chen, Zhigang Chen, editors, Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China. pages 523-526, IEEE Computer Society, 2008. [doi]
Abstract is missing.