5 on this site · 0 links
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language1st Nov 2009
Melange: creating a "functional" internet1st Jun 2007
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions1st Aug 2005
On the challenge of delivering high-performance, dependable, model-checked internet servers1st Jun 2005
The Case for Abstracting Security Policies1st Jun 2003