Developed from the authors' courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logical Approach 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. Th Developed from the authors' courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logical Approach 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 an introduction to confidentiality and integrity policies. The second section covers access control in networks, delegation, protocols, and the use of cryptography. In the third section, the authors focus on hardware and virtual machines. The final part discusses confidentiality, integrity, and role-based access control. Taking a logical, rigorous approach to access control, this book shows how logic is a useful tool for analyzing security designs and spelling out the conditions upon which access control decisions depend. It is designed for computer engineers and computer scientists who are responsible for designing, implementing, and verifying secure computer and information systems.
Access Control, Security, And Trust: A Logical Approach (Chapman & Hall/Crc Cryptography And Network Security Series)
Developed from the authors' courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logical Approach 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. Th Developed from the authors' courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logical Approach 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 an introduction to confidentiality and integrity policies. The second section covers access control in networks, delegation, protocols, and the use of cryptography. In the third section, the authors focus on hardware and virtual machines. The final part discusses confidentiality, integrity, and role-based access control. Taking a logical, rigorous approach to access control, this book shows how logic is a useful tool for analyzing security designs and spelling out the conditions upon which access control decisions depend. It is designed for computer engineers and computer scientists who are responsible for designing, implementing, and verifying secure computer and information systems.
Compare
16 review for Access Control, Security, And Trust: A Logical Approach (Chapman & Hall/Crc Cryptography And Network Security Series)
Related products
The Mystery of the Stolen Music (The Boxcar Children, #45)
Face the Music
The Grey Album: Music, Shadows, Lies
The One: The Life and Music of James Brown
How Music Got Free: The End of an Industry, the Turn of the Century, and the Patient Zero of Piracy
Facing the Music
The Story of Music
Mohammad Efazati –
واقعا جا داشت خیلی بهتر باشه ولی حدود دید دقیقی نسبت به بعضی مسائل میداد. حجم ریاضیاتش بعضا خسته کننده میشد.
Sheffielder –
It's a real pleasure to see proper mathematical specification being used for such an important topic. The authors describe a basic logical language for specifying and reasoning about access control properties, and even include such topics as Kripke semantics. Doing justice to the material would require more time than is available in a general security module, but this is certainly a book to have in the library. It's a real pleasure to see proper mathematical specification being used for such an important topic. The authors describe a basic logical language for specifying and reasoning about access control properties, and even include such topics as Kripke semantics. Doing justice to the material would require more time than is available in a general security module, but this is certainly a book to have in the library.
Aidin –
Paul Ratazzi –
Ashish Singh –
Preeti –
Mythili Sivasankar –
Okhumale Igetei –
Erka Kh –
Martin –
Anton –
Sade C. –
Mohammad Jafar –
Sindhu Sabbineni –
Nimish Sogani –
Rolando –