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

Related topics

Related topics

10 relations
AuthenticationCommunications protocolCryptographic nonceInternet
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Design of an efficient user authentication mechanism using enhanced version of Otway-Rees protocol
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
The Security Analysis on Otway-Rees Protocol Based on BAN Logic
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
Formal Analysis for Security of Otway-Rees Protocol with BAN Logic
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
Improved Otway Rees protocol and its formal verification
  • 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
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
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
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
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
Automatic Validation of Protocol Narration
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?
2000
2000
Two New Attacks Against Otway-Rees Protocol
 
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Proving Properties of Security Protocols by Induction
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
A semantic model for authentication protocols
We specify authentication protocols as formal objects with precise syntax and semantics, and deene a semantic model that… (More)
Is this relevant?