Policy Based ACL Configuration Synthesis in Enterprise Networks: A Formal Approach.

Soumya Maity Padmalochan Bera S. K. Ghosh

Published in: ISED (2012)

Keyphrases

optimal policy
program synthesis
natural language learning
formal model
asymptotically optimal
information systems
formal methods
policy making
real time
access control policies