Manik Lal Das, V. Lakshmi Narasimhan. Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic. In Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA. pages 545-550, IEEE Computer Society, 2008. [doi]
Abstract is missing.