Automated Certification of Authorisation Policy Resistance.

Andreas Griesmayer Charles Morisset

Published in: ESORICS (2013)

Keyphrases

semi automated
optimal policy
third party
fully automated
security policies
asymptotically optimal
data sets
databases
neural network
metadata
reinforcement learning
dynamic programming
semi automatic
markov decision processes
access control policies