A Formal Model for Role-Based Access Control Using Graph Transformation.

Manuel Koch Luigi V. Mancini Francesco Parisi-Presicce

Published in: ESORICS (2000)

Keyphrases

formal model
role based access control
graph transformation
access control
multi domain
discretionary access control
rbac model
data security
fine grained
security properties
access control mechanism
security patterns
anomaly detection