Open Issues in Formal Methods for Cryptographic Protocol Analysis

  • Catherine Meadows
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2052)


The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidation. A number of specialized tools have been developed, and others have effectively demonstrated that existing general-purpose tools can also be applied to these problems with good results. However, with this better understanding of the field comes new problems that strain against the limits of the existing tools. In this talk we will outline some of these new problem areas, and describe what new research needs to be done to to meet the challenges posed.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Catherine Meadows
    • 1
  1. 1.Naval Research LaboratoryCenter for High Assurance Computer SystemsWashingtonUSA

Personalised recommendations