A Formal Statement of the MMS Security Model.

John D. McLean Carl E. Landwehr Constance L. Heitmeyer

Published in: IEEE Symposium on Security and Privacy (1984)

Keyphrases

security model
access control
public key
security analysis
security requirements
security architecture
provably secure
designated verifier
formal model
public key cryptography
smart card
distributed environment
encryption scheme