Access control, security, and trust: a logical approach
Auteur :
Chin, Shiu-Kai / Older, Susan Beth
Éditeur :
Taylor & Francis Ltd
ISBN :
9781032921310
Date de publication :
14 oct. 2024
Dimensions :
23,4 x 15,6 cm
Poids :
453 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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