The Schematic Protection Model is specified in SAL and theorems
about Take-Grant and New Technology File System schemes are proven.
Arbitrary systems can be specified in SPM and analyzed. This is the
first known automated analysis of SPM specifications in a theorem
prover. The SPM specification was created in such a way that new
specifications share the underlying framework and are configurable
within the specifications file alone. This allows new
specifications to be created with ease as demonstrated by the four
unique models included within this document. This also allows
future users to more easily specify models without recreating the
framework. The built-in modules of SAL provided the needed support
to make the model flexible and entities asynchronous. This
flexibility allows for the number of entities to be dynamic and to
meet the needs of different specifications. The models analyzed in
this research demonstrate the validity of the specification and its
application to real-world systems.
General
Imprint: |
Biblioscholar
|
Country of origin: |
United States |
Release date: |
December 2012 |
First published: |
December 2012 |
Authors: |
Mitchell David Irwin Hirschfeld
|
Dimensions: |
246 x 189 x 6mm (L x W x T) |
Format: |
Paperback - Trade
|
Pages: |
104 |
ISBN-13: |
978-1-288-41720-9 |
Categories: |
Books >
Social sciences >
Education >
General
|
LSN: |
1-288-41720-9 |
Barcode: |
9781288417209 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!