Access Control, Security, and Trust

Access Control, Security, and Trust

Regular price $9.99 Sale

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.