Transport Level Security: a proof using the Gong-Needham-Yahalom Logic

Walter Eaves Transport Level Security: a proof using the Gong-Needham-Yahalom Logic http://arxiv.org/abs/cs.CR/9904005 1999 CoRR cs.CR/9904005 db/journals/corr/corr9904.html#cs-CR-9904005 informal publication