Formal Aspects of Security pp 71-80
Analysing Security Protocols
- Cite this paper as:
- Gollmann D. (2003) Analysing Security Protocols. In: Abdallah A.E., Ryan P., Schneider S. (eds) Formal Aspects of Security. Lecture Notes in Computer Science, vol 2629. Springer, Berlin, Heidelberg
We assess how formal methods can contribute to the design and analysis of security protocols. We explain some of the pitfalls when applying formal methods in too naïve a fashion and stress the importance of identifying implicit assumptions about the environment a protocol would be deployed in that may be hidden in verification methodologies or in off-the-shelf security properties.
Unable to display preview. Download preview PDF.