What is Policy Weaving?

Policy weaving combines static analysis, aspect weaving, and dynamic analysis to guarantee that a program adheres to a temporal policy.

What are the goals of Policy Weaving?

How does Policy Weaving achieve these goals?

array( "JAM/JAMScript" => "jam.php", "CapWeave/HiWeave" => "capabilities.php", "Weaver Generator" => "weavergen.php", ), "Personnel" => array( "Tom Reps" => "http://pages.cs.wisc.edu/~reps/", "Somesh Jha" => "http://pages.cs.wisc.edu/~jha/", "Rich Joiner" => "http://pages.cs.wisc.edu/~joiner/", "Drew Davidson" => "http://pages.cs.wisc.edu/~davidson/", "Matt Fredrikson" => "http://pages.cs.wisc.edu/~mfredrik/", "Bill Harris" => "http://www.scs.gatech.edu/people/william-harris", ), "Publications" => array( "Efficient runtime enforcement techniques for policy weaving" => "http://www.cs.wisc.edu/wpis/papers/fse14.pdf", "Declarative, temporal, and practical programming with capabilities" => "http://www.cs.wisc.edu/wpis/papers/oakland13.pdf", "Efficient runtime policy enforcement using counterexample-guided abstraction refinement" => "http://www.cs.wisc.edu/wpis/papers/CAV12-JAM.pdf", "Secure programming via visibly pushdown safety games" => "http://www.cs.wisc.edu/wpis/papers/CAV12-VPA.pdf", ), "Policy-weaving resources" => array( "JAM policy weaver" => "https://github.com/blackoutjack/jamweaver", "JAMScript enforcement" => "https://github.com/blackoutjack/jamscript", "JAM test suite" => "https://github.com/blackoutjack/jamtests", "Extraction Tool for Resource Analysis (ExTRA)" => "https://github.com/blackoutjack/ExTRA", "User-driven JAMScript extension" => "https://policy-weaving.cs.wisc.edu/extension", ), "General informational resources" => array( "A general listing of JavaScript technologies and research" => "jsresearch.php", "JavaScript-related popular articles" => "jsarticles.php", "JavaScript reference material" => "jsreference.php", "General security news and resources" => "security.php", ), ); include_once "linkTemplate.php"; ?>