On the decidability of the safety problem for access control policies

DOI10.1016/J.ENTCS.2007.05.032MaRDI QIDQ5178997zbMATH OpenOpenAlexFDO

Authors E. Kleiner, Tom Newcomb

Publication date 18 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.05.032

zbMATH Keywords

access controlCSPmodel checkingtemporal logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Decidability of safety in graph-based models for access control
• Information Security
• A logic of access control
• On the decidability of accessibility problems (extended abstract)
• A logic of access control

Cites work

• Beyond proof-of-compliance: security analysis in trust management
• Information Security
• Information Security
• On model checking data-independent systems with arrays without reset
• Protection in operating systems

Cited in

(17)

• Automata model for verifying attibuted-based access control policy in systems with a finite number of objects
• Verification and enforcement of access control policies
• A multivariate approach for checking resiliency in access control
• Specification and verification of access control policies in EB\(^{3}\)SEC: work in progress
• On the decidability of accessibility problems (extended abstract)
• Specifying and Reasoning About Dynamic Access-Control Policies
• The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates
• scientific article; zbMATH DE number 1980974 (Why is no real title available?)
• Analysis of schemas with access restrictions
• Decidability of safety in graph-based models for access control
• Trustworthy Global Computing
• Information Security
• Information Security
• Computational complexity of the problem of tree generation under fine-grained access control policies
• A logic of access control
• A logic of access control
• Time dependent policy-based access control

Describes a project that uses

Uses Software

• FDR2

This page was built for publication: On the decidability of the safety problem for access control policies

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