Security analysis of LMAP using AVISPA.

Published in: Int. J. Secur. Networks (2014)

Keyphrases

security analysis
smart card
public key
security requirements
image encryption
security properties
high security
security model
authentication protocol
encryption algorithm
mutual authentication
private key
user authentication
encryption scheme
information systems
authentication scheme
third party
real time