A type discipline for authorization policies.

Cédric Fournet Andrew D. Gordon Sergio Maffeis

Published in: ACM Trans. Program. Lang. Syst. (2007)

Keyphrases

access control
access control policies
data sets
optimal policy
fine grained
conflict resolution
role based access control
information systems
data mining
information retrieval
social networks
website
multiscale
multiple types