An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model

By Mitchell David Irwin Hirschfeld

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1288417209
• ISBN13: 9781288417209
• Release Date: December 2012
• Publisher: Biblioscholar
• Length: 104 Pages
• Weight: 0.44 lbs.
• Dimensions: 0.2" x 7.4" x 9.7"