Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Applying Automated Theorem Proving to Computer Security Kelly Mcelroy

Applying Automated Theorem Proving to Computer Security

Szerző: Kelly Mcelroy
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Biblioscholar
Elérhetőség: Beszállítói készleten
Küldés 14-21 napon belül
6 926 Ft
While more and more data is stored and accessed electronically, better access control methods need t...

Információk a könyvről

Szerző
Kelly Mcelroy
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2012
oldal
132
EAN
9781288254507
ISBN
1288254504
Enbook ID
12022683
Kiadó
Biblioscholar
Súly
195
Méretek
189 x 246 x 8

Teljes leírás

While more and more data is stored and accessed electronically, better access control methods need to be implemented for computer security. Formal modelling and analysis have been successfully used in certain areas of computer systems, such as verifying the security properties of cryptographic and authentication protocols. However, formal models for computer systems in cyberspace, like networks, have hardly advanced. A highly regarded graduate textbook cites the Take-Grant model created in 1977 as one of the "current" examples of security modelling and analysis techniques. This model is rarely used in practice though. This research implements the Take-Grant Protection model's four de jure rules and Can Share predicate in the Prototype Veri cation System (PVS) which automates model checking and theorem proving. This facilitates the ability to test a given Take-Grant model against many systems which are modelled using digraphs. Two models, one with error checking and one without, are created to implement take-grant rules. The rst model that does not have error checking incorporated requires manual error checking. The second model uses recursion to allow for the error checking. The Can Share theorem requires further development.

Érdekelheti

Tretower to Clyro

Karl Miller
4 068 Ft