Login / Signup
Quantitative Formal Security Analysis.
D. G. Weber
Published in:
CSFW (1988)
Keyphrases
</>
security analysis
public key
security requirements
smart card
security model
high security
image encryption
security properties
encryption scheme
encryption algorithm
proxy signature scheme
mutual authentication
private key
user authentication
authentication protocol
formal model
information systems
databases