Access Control, Security, and Trust - A Logical Approach

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

List of contents

Preliminaries. Distributed Access Control. Isolation and Sharing. Access Policies. Appendix. Index.

About the author

Shiu-Kai Chin is a Meredith Professor in the Department of Electrical Engineering and Computer Science at Syracuse University. He is also director of the Center for Information and Systems Assurance and Trust. While at Syracuse, Dr. Chin has received the Outstanding Teacher Award, the Chancellor’s Citation for Outstanding Contributions to the University’s Academic Programs, and the Crouse Hinds Award for Excellence in Education.
Susan Older is an associate professor in the Department of Electrical Engineering and Computer Science at Syracuse University. She is also the program director for the Certificate of Advanced Study in Systems Assurance. Dr. Older’s research interests include programming-language semantics, logics of programs, formal methods, and information-assurance and computer science education.

Summary

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

Product details

• Authors: Shiu-Kai Chin, Chin Shiu-Kai, Susan Beth Older, Older Susan Beth
• Publisher: Taylor and Francis
• Languages: English
• Product format: Paperback / Softback
• Released: 14.10.2024
• EAN: 9781032921310
• ISBN: 978-1-032-92131-0
• No. of pages: 352
• Weight: 453 g
• Illustrations: schwarz-weiss Illustrationen
• Series: Chapman & Hall/CRC Cryptography and Network Security Series
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > Miscellaneous; MATHEMATICS / General, COMPUTERS / Security / General, MATHEMATICS / Combinatorics, computer science, Discrete Mathematics, Computer security, Combinatorics & graph theory, Legal aspects of IT, Mathematical logic, Digital and information technologies: Legal aspects, Combinatorics and graph theory