IIT Home Page CNR Home Page

Gate automata

Pubblicazioni e prodotti editoriali prima del 01/01/2016

Gate automata-driven run-time enforcement

Trust-Driven Policy Enforcement through Gate Automata.