Formal verification of an operating system security kernel
Kemmerer, Richard A.
Ann Arbor, Mich. UMI Research Epping Bowker
c1982
Bibliography: p309-313. - Includes index
UNIX (Computer system)
Computers