Journal of Computer Security · 2002 · 43 citations · 10 references
ComputingComputer ScienceCybersecurityApplication SecurityAuthenticationComputer SecurityAccess ControlAuthentication PolicyDevice AuthenticationMutual AuthenticationSmart Card AuthenticationWeb AuthenticationFormal Verification Of Authentication ProtocolsSecurity Policy VerificationSmart Card-based User Authentication
This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been defined that associates levels to applet attributes and methods and defines author
10
A lattice model of secure information flow
Dorothy E. Denning · Communications of the ACM · 1976 · 1.9K citations · Full text
Andrew C. Myers · 1999 · 1K citations · Full text
A decentralized model for information flow control
Andrew C. Myers, Barbara Liskov · 1997 · 533 citations · Full text
Unwinding and Inference Control
Joseph A. Goguen, José Meseguer · 1984 · 426 citations
Secure information flow in a multi-threaded imperative language
Geoffrey Smith, Dennis Volpano · 1998 · 406 citations · Full text