• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Popular Tags

Add a tag:

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Abadi91asemantics,
    author = {Martin Abadi and Mark Tuttle},
    title = {A Semantics for a Logic of Authentication},
    booktitle = {In Proceedings of the ACM Symposium of Principles of Distributed Computing},
    year = {1991},
    pages = {201--216},
    publisher = {ACM Press}
}

Bookmarks

         

OpenURL

 

Abstract:

Burrows, Abadi, and Needham have proposed a logic for the analysis of authentication protocols. It is a logic of belief, with special constructs for expressing some of the central concepts used in authentication. The logic has revealed many subtleties and serious errors in published protocols. Unfortunately, it has also created some confusion. In this paper, we provide a new semantics for the logic, our attempt to clarify its meaning. In the search for a sound semantics, we have identified many sources of the past confusion. Identifying these sources has helped us improve the logic's syntax and inference rules, and extend its applicability. One of the greatest differences between our semantics and the original semantics is our treatment of belief as a form of resource-bounded, defeasible knowledge.

Citations