Automated Certification of Authorisation Policy Resistance.

Andreas Griesmayer Charles Morisset

Published in: CoRR (2013)

Keyphrases

optimal policy
semi automated
third party
policy making
fully automated
database
information systems
computer aided
artificial intelligence
information technology
supply chain
access control
sufficient conditions
security policies
infinite horizon
asymptotically optimal