Verification of Spatio-Temporal Role Based Access Control using Timed Automata.

Emsaieb Geepalla Behzad Bordbar Kozo Okano

Published in: NESEA (2012)

Keyphrases

timed automata
role based access control
model checking
spatio temporal
access control
temporal logic
multi domain
rbac model
data security
fine grained
first order logic
database
theorem prover
distributed systems
security policies
privacy policies
domain specific