In this paper we give a survey of the state of the art in the application of formal methods to the analysis of eryptographic protocols. We attempt to outline some of the major threads of research in this area, and also to document some emerging trends.
CITATION STYLE
Meadows, C. A. (1995). Formal verification of cryptographic protocols: A survey. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 917, pp. 133–150). Springer Verlag. https://doi.org/10.1007/bfb0000430
Mendeley helps you to discover research relevant for your work.