Policy analysis for self-administrated role-based access control

DOI10.1007/978-3-642-36742-7_30zbMATH Open1381.68025OpenAlexW1515933843MaRDI QIDQ5326342FDOQ5326342

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

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

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)

Cited In (8)

• Security analysis of an administrative model of role-based access control
• Title not available (Why is that?)
• Title not available (Why is that?)
• Data flow analysis from capability lists, with application to RBAC
• Title not available (Why is that?)
• 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)