Formal validation of the security properties of AMT's three-way handshake.

Ali Salem, J. William Atwood

Browse the full LCN paper archive.