XRound: A reversible template language and its application in model-based security analysis.

Howard Chivers Richard F. Paige

Published in: Inf. Softw. Technol. (2009)

Keyphrases

security analysis
smart card
public key
security requirements
high security
security model
user authentication
image encryption
security properties
authentication scheme
database systems
encryption scheme
authentication protocol
mutual authentication
query processing