Cryptology ePrint Archive: Report 2008/430

Available versions in chronological order

20081008:154103 (posted 08-Oct-2008 15:41:03 UTC): Cryptographic Protocol Composition via the Authentication Tests; Joshua D. Guttman

[ Cryptology ePrint archive ]