Formal verification of an operating system security kernel
By: by Richard A. Kemmerer.
Series: Computer science.; no. 2
Publisher: UMI Research Press; UMI Research Press,U.S.
Published: 1982
Place of publication: Ann Arbor, Mich
Language: eng
Number of pages: 317
Subjects: UNIX (Computer file); Operating systems (Computers); Computers -- Access control.
Notes: Bibliography: p. [309]-313.
A revision of the author's thesis (Ph.D.)--University of California, Los Angeles, 1979.
Includes index.