Defense in Depth Formulation and Usage in Dynamic Access Control

DOI10.1007/978-3-662-54455-6_12zbMath1444.68043OpenAlexW2597439921MaRDI QIDQ3304820

Mohammed Alabbad, Unnamed Author, Ridha Khedri

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

formal methodsaccess control policiesalgebraic approachesdynamic access controldefense in depth strategysoftware product families

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the weaving process of aspect-oriented product family algebra
• Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
• A generalized control structure and its formal definition
• Relational Methods in Computer Science
• On a formal semantics of tabular expressions

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