Jianhua Peng, Feng Liu, Zhenju Zhao, Danqing Huang, Rui Xue. ASM-SPV: A Model Checker for Security Protocols. In Isao Echizen, Jeng-Shyang Pan, Dieter W. Fellner, Alexander Nouak, Arjan Kuijper, Lakhmi C. Jain, editors, Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2010), Darmstadt, Germany, 15-17 October, 2010, Proceedings. pages 458-461, IEEE Computer Society, 2010. [doi]
Abstract is missing.