Access control, security, and trust : a logical approach /
| Main Authors: | , |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Language Notes: | English. |
| Published: |
Boca Raton, FL :
Chapman and Hall/CRC, an imprint of Taylor and Francis,
2010.
|
| Edition: | First edition. |
| Series: | Chapman & Hall/CRC cryptography and network security.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| 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 propositional modal logic. |
|---|---|
| Item Description: | "A Chapman & Hall Book." |
| Physical Description: | 1 online resource (348 pages). |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 0429184433 9780429184437 1439894639 9781439894637 |