Policy analysis for self-administrated role-based access control

DOI10.1007/978-3-642-36742-7_30MaRDI QIDQ5326342zbMATH OpenOpenAlexFDO

Authors Parthasarathy Madhusudan, Gennaro Parlato, Anna Lisa Ferrara

Publication date 5 August 2013

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/344391/1/ARBACpruning%2520%25282%2529.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of organizations, manpower planning in operations research (90B70) Computer system organization (68M99)

Recommendations

• Policy analysis for administrative role-based access control
• Security analysis of an administrative model of role-based access control
• scientific article; zbMATH DE number 2173750
• A Logical Approach to Dynamic Role-Based Access Control
• Security property based administrative controls

Cited in

(8)

• Security analysis of an administrative model of role-based access control
• scientific article; zbMATH DE number 1947534 (Why is no real title available?)
• scientific article; zbMATH DE number 1950350 (Why is no real title available?)
• Data flow analysis from capability lists, with application to RBAC
• scientific article; zbMATH DE number 2088418 (Why is no real title available?)
• Security property based administrative controls
• Policy Administration in Tag-Based Authorization
• Policy analysis for administrative role-based access control

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

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