Access control, security, and trust: a logical approach
Auteur :
Chin, Shiu-Kai / Older, Susan Beth
Éditeur :
Taylor & Francis Inc
ISBN :
9781584888628
Date de publication :
26 juil. 2010
Dimensions :
23,4 x 15,6 cm
Poids :
635 g
Langue :
Anglais
Pays d'origine :
USA
Using propositional modal logic to explain access control principles, this work provides the mathematical means to comprehend, analyze, create and verify the policies and control mechanisms used to protect resources. It is suitable for those designing, implementing and verifying computer and information systems.