Policy Analysis for Self-administrated Role-Based Access Control

Anna-Lisa Ferrara; P. Madhusudan; Gennaro Parlato

Policy Analysis for Self-administrated Role-Based Access Control

Anna-Lisa Ferrara, P. Madhusudan, Gennaro Parlato

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

24 Citations (Scopus)

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2013
Editors	Nir Piterman, Scott A. Smolka
Publisher	Springer
Pages	432-447
Number of pages	16
Volume	7795
Publication status	Published - 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Handle.net

Persistent link

Cite this

@inproceedings{583eee49e3044bcda652e28d80356e7d,

title = "Policy Analysis for Self-administrated Role-Based Access Control",

author = "Anna-Lisa Ferrara and P. Madhusudan and Gennaro Parlato",

year = "2013",

language = "English",

volume = "7795",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "432--447",

editor = "Nir Piterman and Smolka, {Scott A.}",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2013",

}

Policy Analysis for Self-administrated Role-Based Access Control. / Ferrara, Anna-Lisa; Madhusudan, P.; Parlato, Gennaro.
Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2013. ed. / Nir Piterman; Scott A. Smolka. Vol. 7795 Springer, 2013. p. 432-447 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

TY - GEN

T1 - Policy Analysis for Self-administrated Role-Based Access Control

AU - Ferrara, Anna-Lisa

AU - Madhusudan, P.

AU - Parlato, Gennaro

PY - 2013

Y1 - 2013

M3 - Conference Contribution (Conference Proceeding)

VL - 7795

T3 - Lecture Notes in Computer Science

SP - 432

EP - 447

BT - Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2013

A2 - Piterman, Nir

A2 - Smolka, Scott A.

PB - Springer

ER -