Artículos relacionados a A Formal Specification and Proof of System Safety Using...

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

Way, Raymond S.

 
9781249595380: A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Tapa blanda
ISBN 10: 124959538X ISBN 13: 9781249595380
Editorial: BiblioScholar, 2012

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
BiblioScholar
Año de publicación
2012
Idioma
Inglés
ISBN 10 
124959538X
ISBN 13 
9781249595380
Encuadernación
Tapa blanda
Número de páginas
94
Contacto del fabricante
no disponible
Persona responsable
no disponible