Providing Tractable Security Analysis in HOL.

Stephen H. Brackin

Published in: TPHOLs (1994)

Keyphrases

security analysis
public key
smart card
high security
security requirements
user authentication
image encryption
security properties
security model
formal methods
encryption scheme
mutual authentication
encryption algorithm
private key
multiresolution