http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM2Smith 2026-04-05T20:57:55Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M2Smith&diff=111&oldid=prev 2011-12-12T10:06:25Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> Title:<br /> Policy Enforcement&lt;BR&gt;<br /> Doug Smith<br /> <br /> Abstract:<br /> 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.</div>

Admin