Cryptology ePrint Archive: Report 2006/435
Available versions in chronological order
20061121:123448 (posted 21-Nov-2006 12:34:48 UTC)
Searching for Shapes in Cryptographic Protocols
Shaddin F. Doghmi and Joshua D. Guttman and F. Javier Thayer
20070202:133207 (posted 02-Feb-2007 13:32:07 UTC)
Searching for Shapes in Cryptographic Protocols (extended version)
Shaddin F. Doghmi and Joshua D. Guttman and F. Javier Thayer
Publication Info: Short version in TACAS 2007, LNCS 4424
[
Cryptology ePrint archive
]