Ali Salem, J. William Atwood. Formal validation of the security properties of AMT's three-way handshake. In Chun Tung Chou, Tom Pfeifer, Anura P. Jayasumana, editors, IEEE 36th Conference on Local Computer Networks, LCN 2011, Bonn, Germany, October 4-7, 2011. pages 227-230, IEEE, 2011. [doi]
Abstract is missing.