Graph Transformations provide a uniform and precise framework for the specification of access control policies. States are represented by graphs and state transitions by graph transformations. A policy is formalized by four components: a type graph, positive and negative constraints and a set of rules. This formalism allows the detailed comparison of different policy models and the precise description of the evolution of a policy and of the integration of policies. © 2002 Published by Elsevier Science B.V.
Graph transformations for the specification of access control policies / Manuel, Koch; Mancini, Luigi Vincenzo; PARISI PRESICCE, Francesco. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 51:(2002), pp. 222-232. (Intervento presentato al convegno GETGRATS Closing Workshop tenutosi a Bordeaux nel 22 June 2001 through 23 June 2001) [10.1016/s1571-0661(04)80205-6].
Graph transformations for the specification of access control policies
MANCINI, Luigi Vincenzo;PARISI PRESICCE, Francesco
2002
Abstract
Graph Transformations provide a uniform and precise framework for the specification of access control policies. States are represented by graphs and state transitions by graph transformations. A policy is formalized by four components: a type graph, positive and negative constraints and a set of rules. This formalism allows the detailed comparison of different policy models and the precise description of the evolution of a policy and of the integration of policies. © 2002 Published by Elsevier Science B.V.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
