On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model.

Manachai Toahchoodee Indrakshi Ray

Published in: DBSec (2008)

Keyphrases

formal analysis
spatio temporal
role based access control model
access control
access control models
rbac model
formal methods
multi domain
image sequences
agent model
moving objects
fine grained
ban logic
databases
role based access control
security issues
domain specific
software engineering
machine learning