Policy Analysis for Self-administrated Role-Based Access Control

DOI10.1007/978-3-642-36742-7_30zbMath1381.68025OpenAlexW1515933843MaRDI QIDQ5326342

P. 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) Computer system organization (68M99) Theory of organizations, manpower planning in operations research (90B70)

This page was built for publication: Policy Analysis for Self-administrated Role-Based Access Control