Formal methods for the Analysis and Design of Cryptographic Protocols: A state-of-the-art review

Abstract

A state-of-the-art review is presented concerning formal methods for the design and analysis of cryptographic protocols over open networks and distributed systems. The most commonly followed approaches to the applications of related formal methods are reviewed, followed by the examinationof robustness principles and application limitations as rules of thumb. Finally the modern trends for the use of formal methods in the design of new cryptographic protocols are discussed.