Formal analysis of usage control policies.

Boulares Ouchenne Ousmane Koné

Published in: SIN (2011)

Keyphrases

formal analysis
usage control
access control
access control policies
role based access control
access control models
agent model
ban logic
fine grained
formal methods
database
databases
information systems
multimedia
privacy aware