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

Way, Raymond S

 
9781249595380: A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Couverture souple
ISBN 10 : 124959538X ISBN 13 : 9781249595380
Editeur : Biblioscholar, 2012

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Biblioscholar
Date d'édition
2012
Langue
anglais
ISBN 10 
124959538X
ISBN 13 
9781249595380
Reliure
Broché
Nombre de pages
92
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781243629586: A Formal Specification and Proof of System Safety Using the Schematic Protection Model

Edition présentée

ISBN 10 :  1243629584 ISBN 13 :  9781243629586
Couverture souple