Mohlo by sa vám tiež páčiť

Viac informácií o knihe Application of Automated Theorem Provers to Computer System Security

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 150 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Society & social sciences Education

• Celý názov: Application of Automated Theorem Provers to Computer System Security
• Podnázov: The Schematic Protection Model
• Autor: Mitchell David Irwin Hirschfeld
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 104
• EAN: 9781288417209
• ISBN: 9781288417209
• ID: 08251228
• Nakladateľ: Biblioscholar
• Hmotnosť: 200 g
• Rozmery: 246 × 189 × 6 mm
• Dátum vydania: 07. December 2012

Obľúbené z iného súdka

---

---

---