Formal verification of an operating system security kernel /

Bibliographic Details
Main Author:	Kemmerer, Richard A.
Format:	Thesis Book
Language:	English
Published:	Ann Arbor, Mich. : UMI Research Press, [1982]
Series:	Computer science. Systems programming ; no. 2.
Subjects:	UNIX (Computer file) Operating systems (Computers) Computers > Access control.