Sign in
A new authenticated key agreement scheme based on smart cards providing user anonymity with formal proof.
Fan Wu
Lili Xu
Saru Kumari
Xiong Li
Abdulhameed Alelaiwi
Published in:
Secur. Commun. Networks (2015)
Keyphrases
</>
smart card
formal proof
secure communication
security analysis
authentication protocol
digital signature
modular exponentiation
remote user authentication scheme
information security
user authentication
java card
theorem prover
secret key
trusted third party
sensor networks
blind signature scheme