Login / Signup
Cryptanalysis of Syverson's Rational Exchange Protocol.
Almudena Alcaide
Juan M. Estévez-Tapiador
Julio César Hernández Castro
Arturo Ribagorda
Published in:
Int. J. Netw. Secur. (2008)
Keyphrases
</>
formal analysis
network protocols
lightweight
coloured petri nets
authentication protocol
share information
scatter search
communication protocols
trusted third party
real time
decision making
information exchange
security analysis
communication protocol
key agreement protocol