Cryptology ePrint Archive: Report 2007/188
Available versions in chronological order
20070522:202342 (posted 22-May-2007 20:23:42 UTC)
A Proof of Revised Yahalom Protocol in the Bellare and Rogaway (1993) Model
Kim-Kwang Raymond Choo
Publication Info: This is the pre-print version of an article that has been accepted for publication in The Computer Journal, published by Oxford University Press [on behalf of The British Computer Society]. All rights reserved.
[
Cryptology ePrint archive
]