Login / Signup
A Formally Verified Initial Authentication and Key Agreement Protocol in Heterogeneous Environments Using Casper/FDR.
Mahdi Aiash
Published in:
NSS (2013)
Keyphrases
</>
heterogeneous environments
authentication and key agreement
public key cryptography
session key
security model
web services
public key
secret key
lightweight
authentication protocol
database
information systems
elliptic curve
provably secure