WG211/M2Smith
From WG 2.11
Revision as of 10:19, 1 December 2011 by Twiki (talk) (Created page with "Category:WG211 Title: Policy Enforcement<BR> Doug Smith Abstract: I am currently working on ways to automate policy enforcement during system design by refinement. A polic...")
Title:
Policy Enforcement
Doug Smith
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.
