Access Control, Security, and Trust

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 proA Logical ApproachBy: Shiu-Kai Chin; Susan Beth OlderPublisher:Chapman & HallPrint ISBN: 9781584888628, 1584888628other ISBN: 9781439894637, 1439894639Edition: 1stCopyright year: 2011 SKU: 9781439894637R90Access Full Textbook?