Simulation Based Validation of Authentication Protocols. - Krishnan G. Indiradevi; Suku Nair (Trans. SDPS, 2004)