Access Control, Security, and Trust: A Logical Approach

Developed from the authors' courses at Syracuse University and the U.S.\n\nAir 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 Additional ISBNs1584888628, 0429184433, 9781584888628, 9780429184437Access Control, Security, and Trust: A Logical Approach 1st Edition is written by Shiu-Kai Chin; Susan Beth Older and published by Chapman & Hall. ISBNs for Access Control, Security, and Trust are 9781439891551, 1439891559 and the print ISBNs are 9781584888628, 1584888628. Additional ISBNs include 1584888628, 0429184433, 9781584888628, 9780429184437.