Policy analysis for administrative role-based access control

DOI10.1016/J.TCS.2011.05.009zbMath1234.68143OpenAlexW2044968788MaRDI QIDQ655414

Scott D. Stoller, Amit Sasturkar, Ping Yang, C. R. Ramakrishnan

Publication date: 4 January 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.05.009

zbMATH Keywords

reachabilitysecurity policyadministrative role-based access controlrole-based access control (RBAC)

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Computer system organization (68M99)

Related Items (2)

Symbolic backward reachability with effectively propositional logic. Application to security policy analysis ⋮ Policy analysis for administrative role-based access control

Uses Software

• Alloy
• Alcoa

Cites Work

• Unnamed Item
• Policy analysis for administrative role-based access control
• The computational complexity of propositional STRIPS planning
• Analysis of dynamic policies
• Beyond proof-of-compliance: security analysis in trust management
• Reducibility Among Combinatorial Problems
• Protection in operating systems
• A Linear Time Algorithm for Deciding Subject Security
• Information Security

This page was built for publication: Policy analysis for administrative role-based access control