C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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