Deciding knowledge properties of security protocols

  title={Deciding knowledge properties of security protocols},
  author={Ramaswamy Ramanujam and S. P. Suresh},
Logics for specifying properties of security protocols and reasoning about them have received increasing attention over the past few years. In this paper, we propose a propositional logic of knowledge, augmented with tense modalities, in which many important properties of security protocols can be naturally expressed. We also describe in some detail the protocol model, which helps provide a precise and general semantics for the logic. The main technical result is the decidability of the… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


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

Foundations of Security Protocol Analysis. PhD thesis, The Institute of Mathematical Sciences, Chennai, India

  • S. P. Suresh
  • Madras University. Available at…
  • 2003
2 Excerpts

Halpern and Ron van der Meyden . A logical reconstruction of SPKI

  • James Heather, Gavin Lowe
  • Journal of Computer Security
  • 2003

Similar Papers

Loading similar papers…