• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Access Control, Security, and Trust: A Logical Approach

Access Control, Security, and Trust: A Logical Approach

Paperback

Series: Chapman & Hall/CRC Cryptography and Network Security

General MathematicsComputer SecuritySystem Administration

ISBN10: 1032921315
ISBN13: 9781032921310
Publisher: CRC Press
Published: Oct 14 2024
Pages: 352
Weight: 1.09
Height: 0.73 Width: 6.14 Depth: 9.21
Language: English

This book 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. The first part of the book presents the syntax and semantics of access control logic, basic access control concepts, and a

1 different editions

Also available

Also from

Chin, Shiu-Kai

Also in

Computer Security