Xiaoqi Ma, Rachel McCrindle, Xiaochun Cheng. Verifying and Fixing Password Authentication Protocol. In Yeong-Tae Song, Chao Lu, Roger Lee, editors, Seventh International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2006), 19-20 June 2006, Las Vegas, Nevada, USA. pages 324-329, IEEE Computer Society, 2006. [doi]
Abstract is missing.