Hasmukh Patel, Devesh C. Jinwala. Modeling and analysis of internet key exchange protocolv2 and a proposal for its variant. In R. K. Shyamasundar, Lokendra Shastri, D. Janakiram, Srinivas Padmanabhuni, editors, Proceedings of the 6th ACM India Computing Convention, COMPUTE 2013, Vellore, Tamil Nadu, India, August 22 - 24, 2013. pages 15, ACM, 2013. [doi]
Abstract is missing.