Formal Verification of Cryptographic Protocols: A Survey

Open Access
Publisher Website
Google Scholar
Abstract
In this paper we give a survey of the state of the art in the application of formal methods to the analysis of cryptographic protocols. We attempt to outline some of the major threads of research in this area, and also to document some emerging trends.

This publication has 0 references indexed in Scilit: