MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Logic of Authentication." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 41 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Logic of Authentication  
  • by Authentication Protocols Are, Michael Burrows, Roger Needham
  • …The Scope of a Logic of Authentication Michael Burrows Mart'in Abadi Roger Needham y May 13…
  • Add To MetaCart
  • A logic of authentication  
  • by Michael Burrows, Mart Abadi, Roger Needham — 1990 — ACM Transactions on Computer Systems
  • …A Logic of Authentication Michael Burrows Mart n Abadi Roger Needham Questions of belief…
  • Cited by 950 (23 self) – Add To MetaCart
  • Adding Time to a Logic of Authentication  
  • by Paul F. Syverson — 1993 — In Proceedings of the First ACM Conference on Computer and Communications Security
  • …Adding Time to a Logic of Authentication Paul F. Syverson Code 5543 Naval Research Laboratory…
  • Cited by 42 (8 self) – Add To MetaCart
  • A logical account of NGSCB  
  • by Martín Abadi, Ted Wobber — 2004 — In FORTE ’04
  • … protection against software attacks. This paper describes NGSCB using a logic for authentication and access…
  • Cited by 5 (1 self) – Add To MetaCart
  • Using Belief to Reason About Cache Coherence  
  • by L. Mummert, J. M. Wing, M. Satyanarayanan — 1994 — In Proceedings of the Symposium on Principles of Distributed Computing
  • … of a logic of authentication [4, 5] to help us analyze three cache coherence protocols: a validate…
  • Cited by 10 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB