Otway–Rees protocol

Known as: Otway–Rees, Otway-Rees, Rees (disambiguation) 
The Otway–Rees protocol is a computer network authentication protocol designed for use on insecure networks (e.g. the Internet). It allows… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
An enhancement of the authentication protocol for Otway-Rees protocol is proposed to improve some drawbacks of original Otway… (More)
Is this relevant?
2012
2012
This paper analyzes the Otway-Rees protocol based on BAN logic after has introducing the BAN logic. It has verified that the BAN… (More)
  • figure 1
  • figure 2
Is this relevant?
2009
2009
BAN logic can prove whether a protocol can reach expected target and find some flaws in the protocol. The paper analyzed… (More)
Is this relevant?
2008
2008
  • Li Chen
  • International Conference on Communications…
  • 2008
Authentication protocol is applied to implement the identity authentication of two communicating entities and build secure… (More)
  • figure 1
  • figure 2
Is this relevant?
2006
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that… (More)
  • figure 1
Is this relevant?
2004
2004
P. Samarati, D. Gollmann, and R. Molva (Eds.): ESORICS 2004, LCNS 3193, pages 89 108, September 2004. c © Springer-Verlag Berlin… (More)
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Informal justifications of security protocols involve arguing backwards that various events are impossible. Inductive definitions… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
We specify authentication protocols as formal objects with precise syntax and semantics, and deene a semantic model that… (More)
Is this relevant?