Cryptology ePrint Archive: Report 2006/171
Available versions in chronological order
20060517:080501 (posted 17-May-2006 08:05:01 UTC)
Key confirmation and adaptive corruptions in the protocol security logic
Prateek Gupta and Vitaly Shmatikov
20060717:204620 (posted 17-Jul-2006 20:46:20 UTC)
Key confirmation and adaptive corruptions in the protocol security logic
Prateek Gupta and Vitaly Shmatikov
Publication Info: FCS-ARSPA 2006 (Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)
[
Cryptology ePrint archive
]