![](/img/cover-not-exists.png)
The development and proof of a formal specification for a multilevel secure system
Glasgow, Janice I., MacEwen, Glenn H.Volume:
5
Language:
english
Journal:
ACM Transactions on Computer Systems
DOI:
10.1145/13677.22724
Date:
March, 1987
File:
PDF, 2.50 MB
english, 1987