Title: Modelling of a multilevel secure tactical combat computer system
Subjects: Computer science