Research Catalog
Formal verification of the UCLA security kernel : abstract model, mapping functions, theorem generation, and proofs /
- Title
- Formal verification of the UCLA security kernel : abstract model, mapping functions, theorem generation, and proofs / by Richard A. Kemmerer.
- Author
- Kemmerer, Richard A.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | QA76.6 .K45 1982 | Off-site |
Details
- Description
- p. cm.
- Subject
- ISBN
- 0835713229
- LCCN
- 82004805
- Owning Institutions
- Princeton University Library