Skip to main content
Article thumbnail
Location of Repository

Towards a Mechanization of Cryptographic Protocol Verification

By Dominique Bolignano

Abstract

We revisit the approach defined in [2] for the formal verification of cryptographic protocols so as to allow for some mechanization in the verification process. In the original approach verification uses theorem proving. Here we show that for a wide range of practical situations and properties it is possible to perform the verification on a finite and safe abstract model. 1 Introduction Formal verification of cryptographic protocols has recently received increased consideration due to the importance of cryptographic protocols in the design of new security or electronic commerce architectures. Many proof-based verification techniques have been proposed (see [2] for a discussion of this issue) to perform systematic analysis of large protocols. Although these approaches have been quite successful in identifying flaws or as a support for the design of new electronic commerce protocols, they require significant resources during the verification process. Model-checking based techniques ..

Year: 1997
OAI identifier: oai:CiteSeerX.psu:10.1.1.31.1561
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://dyade.inria.fr/fr/actio... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.