On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M2Smith: Difference between revisions
From WG 2.11
Jump to navigationJump to search
m 1 revision |
(No difference)
|
Latest revision as of 12: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.
