Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language

Paper on a DSL for specifying temporal protocol automata at ICFEM 2009

Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language

Anil Madhavapeddy.

Paper in the formal Methods and Software Engineering.

URL (link.springer.com)   DOI   BIB   PDF

# 1st Nov 2009   papers conference dsl formal fp security