Shin'ichiro Matsuo Kunihiko Miyazaki Akira Otsuka David A. Basin How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC. 182-194 2010 Financial Cryptography Workshops http://dx.doi.org/10.1007/978-3-642-14992-4_16 conf/fc/2010w db/conf/fc/fc2010w.html#MatsuoMOB10