Zugangskontrolle, Sicherheit und Vertrauen: Ein logischer Ansatz, Taschenbuch von Chin, S...
Access Control, Security and Trust : A Logical Approach, Paperback by Chin, Shiu-kai; Older, Susan Beth, ISBN 1032921315, ISBN-13 9781032921310, Like New Used, Free P&P in the UK 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 th presents the syntax and semantics of access control logic, basic access control concepts, and a
Jetzt bei Ebay: