Login / Signup
A System Architecture to Support a Verifiably Secure Multilevel Security System.
George I. Davida
Richard A. DeMillo
Richard J. Lipton
Published in:
IEEE Symposium on Security and Privacy (1980)
Keyphrases
</>
multilevel security
decision support
end users
privacy preserving
software architecture
transaction model
data security