Engineering Principles for Security Design of Protocols

Abstract

Informal methods are useful in helping designers to find implicit assumptions and to avoid them. Prudent engineering principles presented by Abadi and Needham in the excellent paper have shown considerable use for the protocol designers. Cryptographic protocol engineering is a new notion introduced in this book to give a set of principles for cryptographic protocol design, which is derived from software engineering method. Cryptographic protocol engineering principles are composed of protocol engineering requirement analysis principles, detailed protocol design principles and protocol provable security principles. Furthermore, the protocol engineering principles are demonstrated with some well-known published protocols.