Using propositional modal logic to explain access control principles, this work provides the mathematical means to comprehend, analyze, create and... Læs mere
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... Læs mere