Access Control, Security, and Trust Chapman & Hall/CRC Cryptography and Network Security Series | 1 Edition

Details about Access Control, Security, and Trust Chapman & Hall/CRC Cryptography and Network Security Series:

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