Including mancini
Graph-based specification of access control policies.
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. ... @ARTICLE{ koch: graph-based, AUTHOR = "Manuel Koch and Luigi V. Mancini and Francesco ...
www.arnetminer.net
A Formal Model for Role-Based Access Control using Graph ...
Manuel Koch, Luigi V. Mancini and Francesco Parisi-Presicce. Dip. Scienze dell' Informazione, Universit éa degli Studi di Roma La Sapienza ...
profsandhu.com
Lecture Notes in Computer Science
212 Manuel Koch and Luigi V. Mancini and Francesco Parisi-Presicce Decidability of Safety in Graph-Based Models for Access Control . ...
ftp.math.utah.edu
Formal access control analysis in the software development process
Manuel Koch. No contact information provided yet. ... View colleagues of Manuel Koch ... Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce, ...
dx.doi.org
Graph-based specification of access control policies
Authors: Manuel Koch: Freie Universität Berlin, Berlin: L. V. Mancini: Univ. di Roma “La Sapienza”, Roma: Francesco Parisi-Presicce
portal.acm.org
A graph-based formalism for RBAC
Authors: Manuel Koch, Freie Universit at Berlin .... Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce, A Formal Model for Role-Based Access ...
portal.acm.org
Foundations for a Graph-Based Approach to the Specification ...
Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce, Conflict Detection and Resolution in Access Control Policy Specifications,
dl.acm.org
Google Groups: Foundations of Software Science and Computation Structures : 4th ...
... and Moshe Y. Vardi Foundations for a Graph-Based Approach to the Specification of Access Control Policies 287 Manuel Koch, Luigi Vincenzo Mancini, ...
Google Groups: Foundations of Software Science and Computation Structures : 5th ...
... Damian Niwinski, Pawel Urzyczyn Conflict Detection and Resolution in Access Control Policy Specifications 223 Manuel Koch, Luigi V. Mancini, ...
1 - 9 from 9