Verwandte Artikel zu A Formal Specification and Proof of System Safety Using...

A Formal Specification and Proof of System Safety Using the Schematic Protection Model - Softcover

Way, Raymond S.

 
9781249595380: A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Softcover
ISBN 10: 124959538X ISBN 13: 9781249595380
Verlag: LIGHTNING SOURCE INC, 2012

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
LIGHTNING SOURCE INC
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
124959538X
ISBN 13 
9781249595380
Einband
Taschenbuch
Anzahl der Seiten
94
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar