Difference between revisions of "WG211/M2Smith"
From WG 2.11
(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...") |
m (1 revision) |
(No difference)
| |
Latest revision as of 11:06, 12 December 2011
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.
