@inproceedings{Cr2011ike,
 author = {C.J.F. Cremers},
 title = {{Key exchange in IPsec revisited: formal analysis of IKEv1 and IKEv2}},
 booktitle = {Proceedings of the 16th European conference on Research in computer security},
 series = {ESORICS'11},
 year = {2011},
 location = {Leuven, Belgium},
 pages = {315--334},
 numpages = {20},
 acmid = {2041249},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 keywords = {IKE, IKEv1, IKEv2, IPsec, formal analysis, multi-protocol attacks, protocol interaction, security protocols},
}