How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC.

Shin'ichiro Matsuo, Kunihiko Miyazaki, Akira Otsuka, David A. Basin

Browse the full FC paper archive.