Formal Verification of an Operating System Security Kernel

Front Cover
UMI Research Press, 1979 - Computers - 317 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Background on Techniques for Proving the Correctness of Data
7
Abstract Specifications for the Security Kernel
21
The Security Kernel Mapping
99
Copyright

12 other sections not shown

Common terms and phrases

Bibliographic information