Formal Z Specifications of Several Flat Role-Based Access Control Models.

Ali E. Abdallah Etienne J. Khayat

Published in: SEW (2006)

Keyphrases

access control models
access control
role based access control model
privacy aware
formal specification
role based access control
database security
security issues
fine grained
access control policies
security policies
security mechanisms
data security
information systems
privacy preservation