A Modal Logic for Role-Based Access Control.

Thumrongsak Kosiyatrakul Susan Older Shiu-Kai Chin

Published in: MMM-ACNS (2005)

Keyphrases

modal logic
role based access control
access control
temporal logic
multi domain
rbac model
nonmonotonic logics
data security
fine grained
cross domain
situation calculus
kripke models
databases
access control policies
security policies
model checking
machine learning