Yuqing Zhang, Chunling Wang, Shimin Wei. Using SMV for Cryptographic Protocol Analysis: A Case Study. In Hamid R. Arabnia, Rose Joshua, editors, Proceedings of The 2005 International Conference on Foundations of Computer Science, FCS 2005, Las Vegas, Nevada, USA, June 27-30, 2005. pages 150-153, CSREA Press, 2005.
Abstract is missing.