The Development and Proof of a Formal Specification for a Multilevel Secure System.

Janice I. Glasgow Glenn H. MacEwen

Published in: ACM Trans. Comput. Syst. (1987)

Keyphrases

formal specification
multilevel secure
model checking
database systems
reverse engineering
formal methods
software engineering
transaction processing
case study
multi agent
distributed databases
multilevel security
relational databases
response time
knowledge based systems