Sciweavers

Share
MMMACNS
2001
Springer

Open Issues in Formal Methods for Cryptographic Protocol Analysis

12 years 6 months ago
Open Issues in Formal Methods for Cryptographic Protocol Analysis
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 e ectively demonstrated that existing general-purpose tools can also be applied to these problems with good results. However, with this better understanding of the eld comes new problems that strain against the limits of the existing tools. In this paper we will outline some of these new problem areas, and describe what new research needs to be done to to meet the challenges posed.
Catherine Meadows
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where MMMACNS
Authors Catherine Meadows
Comments (0)
books