Towards Modal Logic Formalization of Role-Based Access Control with Object Classes

DOI10.1007/978-3-540-73196-2_7MaRDI QIDQ3614844zbMATH OpenOpenAlexFDO

Authors Junghwa Chae

Publication date 10 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-73196-2_7

zbMATH Keywords

modal logicobject class hierarchyobject classesrole-based access controltableaux method

Mathematics Subject Classification ID

Distributed systems (68M14) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 1835985
• A formal model for role-based access control using graph transformation
• Research of access control of role-based MAC
• An authorization model and its formal semantics

Cites work

• Flexible support for multiple access control policies
• scientific article; zbMATH DE number 1890630 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)

Cited in

(6)

• A formal model for access control with supporting spatial context
• scientific article; zbMATH DE number 1835985 (Why is no real title available?)
• A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty
• Theoretical Aspects of Computing – ICTAC 2005
• A Modal Deconstruction of Access Control Logics
• Information Security and Privacy

This page was built for publication: Towards Modal Logic Formalization of Role-Based Access Control with Object Classes

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