Title: Formal verification of an operating system security kernel
Subjects: Access control, Computers, Operating systems (Computers), UNIX (Computer file)