A Verification Framework for Temporal RBAC with Role Hierarchy (Short Paper).

Samrat Mondal Shamik Sural

Published in: ICISS (2008)

Keyphrases

social networks
data sets
information retrieval
genetic algorithm
spatio temporal
data model
access control
main contribution
hierarchical structure
bayesian networks
multi agent
model checking
spatial and temporal
temporal reasoning