Property Verification for Generic Access Control Models.

Vincent C. Hu D. Richard Kuhn Tao Xie

Published in: EUC (2) (2008)

Keyphrases

access control models
access control
role based access control model
privacy aware
database security
security issues
role based access control
information systems
domain specific
databases
database systems
fine grained
intelligent agents
security mechanisms