Defense in Depth Formulation and Usage in Dynamic Access Control

DOI10.1007/978-3-662-54455-6_12MaRDI QIDQ3304820zbMATH OpenOpenAlexFDO

Authors Ridha Khedri, Mohammed Alabbad

Publication date 3 August 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-54455-6_12

zbMATH Keywords

access control policiesalgebraic approachesdefense in depth strategydynamic access controlformal methodssoftware product families

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computer security (68M25)

Recommendations

• scientific article; zbMATH DE number 1189391
• A Formal Framework for Adaptive Access Control Models
• Specifying and Reasoning About Dynamic Access-Control Policies
• scientific article; zbMATH DE number 1693037
• A Logical Approach to Dynamic Role-Based Access Control
• A Dynamic Mandatory Access Control Model

Cites work

• A generalized control structure and its formal definition
• Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• scientific article; zbMATH DE number 1890630 (Why is no real title available?)
• scientific article; zbMATH DE number 789390 (Why is no real title available?)
• On a formal semantics of tabular expressions
• On the weaving process of aspect-oriented product family algebra
• Relational Methods in Computer Science

Cited in

(1)

• Security in depth through smart space cascades

This page was built for publication: Defense in Depth Formulation and Usage in Dynamic Access Control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3304820)