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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for A Formal Specification and Proof of System Safety Using...
Seller Image
A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19026079-n
Seller Image
A Formal Specification and Proof of System Safety Using the Schematic Protection Model (Paperback or Softback)
Published by
Biblioscholar 10/9/2012, 2012
ISBN 10: 124959538X
ISBN 13: 9781249595380
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. A Formal Specification and Proof of System Safety Using the Schematic Protection Model. Book. Seller Inventory # BBS-9781249595380
Stock Image
A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781249595380
Stock Image
A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781249595380
Buy New
£ 15.30
£ 3.29 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781249595380_new
Buy New
£ 13.98
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 94. Seller Inventory # 386358419
Buy New
£ 19.72
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Print on DemandSeller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 94. Seller Inventory # 26393274188
Seller Image
A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19026079-n
Buy New
£ 13.97
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 94. Seller Inventory # 18393274182
Stock Image
A Formal Specification and Proof of System Safety Using the Schematic Protection Model
Published by
Biblioscholar, 2012
ISBN 10: 124959538X
ISBN 13: 9781249595380
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9781249595380
Buy New
£ 42.84
£ 12.87 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available