Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
AuthenticationCommunications protocolCryptographic nonceInternet

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Forecasting Americans' Long-Term Adoption of Connected and Autonomous Vehicle Technologies
Highly Cited
2012
Highly Cited
2012
The physics of galactic winds driven by active galactic nuclei
Active galactic nuclei (AGN) drive fast winds in the interstellar medium of their host galaxies. It is commonly assumed that the… 
2008
2008
Spi Calculus Analysis of Otway-Rees Protocol
InthispaperwepresenttheOtway-Reesauthenticatedkeytransportprotocol. We presentinformallytheSpicalculus,anextensionof p… 
2008
2008
Fossil evidence in Australia for oldest known freshwater crayfish of Gondwana
Review
2006
Review
2006
PRESENT-DAY STATE-OF-STRESS OF SOUTHEAST AUSTRALIA
There have been several studies, both published and unpublished, of the present-day state-of-stress of southeast Australia that… 
Highly Cited
2004
Highly Cited
2004
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that… 
Highly Cited
2002
Highly Cited
2002
The role of legumes as a component of biodiversity in a cross‐European study of grassland biomass nitrogen
To investigate how plant diversity loss affects nitrogen accumulation in above-ground plant biomass and how consistent patterns… 
Highly Cited
2000
Highly Cited
2000
Recognising biodegradation in gas/oil accumulations through the δ13C compositions of gas components
Highly Cited
1999
Highly Cited
1999
Strand Spaces: Proving Security Protocols Correct
A strand is a sequence of events; it represents either an execution by a legitimate party in a security protocol or else a… 
Highly Cited
1998
Highly Cited
1998
The Inductive Approach to Verifying Cryptographic Protocols
Informal arguments that cryptographic protocols are secure can be made rigorous using inductive definitions. The approach is… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)