Manu S. Hegde, Hk Jnanamurthy, Sanjay Singh. Formal verification of the Extensible Authentication Protocol using SPIN. In Natarajan Meghanathan, Michal Wozniak, editors, The Second International Conference on Computational Science, Engineering and Information Technology, CCSEIT '12, Coimbatore, India, October 26-28, 2012. pages 365-371, ACM, 2012. [doi]
Abstract is missing.