Access Control, Security, and Trust
A Logical Approach
AvSusan Beth Older,Shiu-Kai Chin
E-bok
Engelska, 20101 039 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Fler format och utgåvor
Beskrivning
Developed from the authors'' courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logical Approach equips readers with an access control logic they can use to specify and verify their security designs. Throughout the text, the authors use a single access control logic based on a simple pro
