Improving the Security of Cryptographic Protocol Standards

David A. Basin, Cas J. F. Cremers, Kunihiko Miyazaki, Sasa Radomirovic, Dai Watanabe. Improving the Security of Cryptographic Protocol Standards. IEEE Security & Privacy, 13(3):24-31, 2015. [doi]

Abstract

Abstract is missing.