Access Control, Security, and Trust

Know about the book -

Access Control, Security, and Trust is written by Shiu-Kai Chin and published by CRC Press. It's available with International Standard Book Number or ISBN identification 1439891559 (ISBN 10) and 9781439891551 (ISBN 13).

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