Revisiting the Foundations of Authentication Logics

  title={Revisiting the Foundations of Authentication Logics},
  author={Joseph Y. Halpern},
In this paper, we make the point that the problems with logics in the BAN tradition are not with the idea of basing reasoning about security protocols using epi st mic notions, but with some of the specific decisions taken in the formulation of these logics. To illus trate this statement, we describe a formal logic for security protocol analysis based on well-underst ood modal operators, knowledge, time, and probability. We show how the logic can capture the intuitive high-level concepts of BAN… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 34 references

The Inductive Approach to Verifying Cryptographic Protocols

Journal of Computer Security • 1998
View 5 Excerpts
Highly Influenced

A Logic of Authentication

ACM Trans. Comput. Syst. • 1990
View 7 Excerpts
Highly Influenced

Formal Semantics for Authentication Logics

View 3 Excerpts
Highly Influenced

Modeling adversaries in a logic for reasoning about security protocols

J. Y. Halpern
Proceedings of FASec ’ 02 . • 2002

Interactive epistemology I: Knowledge

Int. J. Game Theory • 1999
View 2 Excerpts

Similar Papers

Loading similar papers…