Abstract:
I am currently working on ways to automate policy enforcement during system design by refinement. A policy can be thought of as a cross-cutting constraint on a system that helps determine what to do at decision points. Technically, enforcing a policy reduces the nondeterminism in a system, thereby creating a refinement. I would like to survey several classes of policies and the means for automating their enforcement. Classes include: aspects/invariants, error-handling policies, access control policies, and other security policies.