Some lessons from formalizing a security model.

Carl E. Landwehr

Published in: ACM SIGSOFT Softw. Eng. Notes (1985)

Keyphrases

security model
access control
public key
security analysis
security requirements
security architecture
provably secure
designated verifier
public key cryptography
multiresolution
software engineering
authentication protocol