ABSTRACT
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
TABLE OF CONTENTS
part 1|2 pages
Part I: Preliminaries
part 2|2 pages
Part II: Distributed Access Control
part 3|2 pages
Part III: Isolation and Sharing
part 4|2 pages
Part IV: Access Policies