Abstract
Authentication is a process by which communicating entities prove their identity. As per BAN logic [1], an important but not the only goal of authentication between two entities A and B is to establish First Level Belief and Second Level Belief.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. ACM Transactions on Computer Systems 8(1), 18–36 (1990)
Neuman, B.C., Stubblebine, S.: A Note on use of Timestamps as Nonces. ACM Operating Systems Review 26(4), 82–89 (1992)
Paulson, L.C.: Mechanized proofs for a recursive authentication protocol. In: Computer Security Foundations Workshop, pp. 84–95 (1997)
Backes, M., Schunter, M.: From Absence of Certain Vulnerabilities towards Security Proofs. In: New Security Paradigms Workshop, pp. 67–74 (2003)
Herzog, J.: Computational Soundness for Standard Assumptions of Formal Cryptography. Ph.D. thesis, MIT (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tiwari, R.K. (2004). Application of Formal Methods for Analysis of Authentication Protocols. In: Sen, A., Das, N., Das, S.K., Sinha, B.P. (eds) Distributed Computing - IWDC 2004. IWDC 2004. Lecture Notes in Computer Science, vol 3326. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30536-1_63
Download citation
DOI: https://doi.org/10.1007/978-3-540-30536-1_63
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24076-1
Online ISBN: 978-3-540-30536-1
eBook Packages: Computer ScienceComputer Science (R0)