A Formal Specification and Proof of System Safety Using the Schematic Protection Model by Raymond S Way
This research formally specifies the Schematic Protection Model (SPM) to prove its ability to provide security services such as confidentiality and integrity. The theory described by the resultant model was logically proved in the Prototype Verification System (PVS). Each component of SPM was tested, as were several anomalous conditions, and each test produced results consistent with the model. The model is internally modular, and therefore easily extensible, yet cohesive since the theory to be proved encompasses the entire specification.| SKU | Unavailable |
| ISBN 13 | 9781249595380 |
| ISBN 10 | 124959538X |
| Title | A Formal Specification and Proof of System Safety Using the Schematic Protection Model |
| Author | Raymond S Way |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Biblioscholar |
| Year published | 2012-10-09 |
| Number of pages | 92 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |