A Formal Framework for Adaptive Access Control Models

DOI10.1007/978-3-540-74987-5_3MaRDI QIDQ3608805zbMATH OpenOpenAlexFDO

Authors Stefanie Rinderle, Manfred Reichert

Publication date 6 March 2009

Published in Journal on Data Semantics IX (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74987-5_3

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Theory of organizations, manpower planning in operations research (90B70)

Recommendations

• The design of role-based access control models. A formal approach to the derivation of access rights
• An architecture for access control management in collaborative enterprise systems based on organization models
• A Logical Approach to Dynamic Role-Based Access Control
• A formal model for role-based access control using graph transformation
• Semantic role based access control model

Cited in

(8)

• Application of the formal model for describing processes of adaptive information security in computer-aided systems
• A Formal Model and Correctness Proof for an Access Control Policy Framework
• Defense in Depth Formulation and Usage in Dynamic Access Control
• A Formal Model for Organisational Structures behind Process-Aware Information Systems
• Flexibility in Process-Aware Information Systems
• An abstract dynamic access control architecture
• scientific article; zbMATH DE number 2102686 (Why is no real title available?)
• Adaptive cryptographic access control. Foreword by Sylvia L. Osborn

Describes a project that uses

Uses Software

• IntelliGEN

This page was built for publication: A Formal Framework for Adaptive Access Control Models

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