A Type Discipline for Authorization Policies.

Cédric Fournet Andrew D. Gordon Sergio Maffeis

Published in: ESOP (2005)

Keyphrases

access control
optimal policy
role based access control
databases
fine grained
conflict resolution
access control policies
neural network
genetic algorithm
information systems
decision making
multiscale
reinforcement learning
control policies