IIT Home Page CNR Home Page

run-time enforcement

Publications and editorial products until 01/01/2016

Gate automata-driven run-time enforcement

Trust-Driven Policy Enforcement through Gate Automata.