Access Control, Security, and Trust

Access Control, Security, and Trust

  • $9.99


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.