Abstract
We introduce and formalise security properties in our model. In particular, we introduce secrecy and several forms of authentication. Using these security properties, we revisit the Needham-Schroeder protocol.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
FET Open Project IST-2001-39252. AVISPA: automated validation of internet security protocols and applications. http://www.avispa-project.org/ (accessed 18 Sept 2012)
G. Lowe, Breaking and fixing the Needham-Schroeder public-key protocol using FDR, in 2nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’96), ed. by T. Margaria, B. Steffen, Passau, Germany. Lecture Notes in Computer Science, vol. 1055 (Springer, Berlin, 1996), pp. 147–166
G. Lowe, A hierarchy of authentication specifications, in 10th IEEE Computer Security Foundations Workshop (CSFW’97), Rockport, USA (IEEE Computer Society, Los Alamitos, 1997), pp. 31–44
F.J. Thayer, J.C. Herzog, J.D. Guttman, Strand Spaces: proving security protocols correct. J. Comput. Secur. 7(2–3), 191–230 (1999)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Cremers, C., Mauw, S. (2012). Security Properties. In: Operational Semantics and Verification of Security Protocols. Information Security and Cryptography. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78636-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-78636-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78635-1
Online ISBN: 978-3-540-78636-8
eBook Packages: Computer ScienceComputer Science (R0)