Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

10 relations
AuthenticationCommunications protocolCryptographic nonceInternet
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2008
2008
Spi Calculus Analysis of Otway-Rees Protocol
InthispaperwepresenttheOtway-Reesauthenticatedkeytransportprotocol. We presentinformallytheSpicalculus,anextensionof p… Expand
2008
2008
Fossil evidence in Australia for oldest known freshwater crayfish of Gondwana
Early Cretaceous body and trace fossils in Victoria, Australia, establish the oldest known presence of parastacid crayfish… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 1
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… Expand
  • figure 1
Review
2002
Review
2002
Observational constraints on growth of massive black holes
We study the observational constraints on the growth of massive black holes (BHs) in galactic nuclei. We use the velocity… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
Highly Cited
2000
Highly Cited
2000
Recognising biodegradation in gas/oil accumulations through the δ13C compositions of gas components
A large suite of natural gases (93) from the North West Shelf and Gippsland and Otway Basins in Australia have been characterised… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
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… Expand
  • figure 4
1998
1998
Otwayemys, a new cryptodiran turtle from the early Cretaceous of Australia. American Museum novitates ; no. 3233
The Early Cretaceous Eumeralla Formation, Otway Group, of Cape Otway, Victoria, Australia, has yielded remains of a new genus of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1993
Highly Cited
1993
A semantic model for authentication protocols
The authors specify authentication protocols as formal objects with precise syntax and semantics, and define a semantic model… Expand
  • figure 1
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE