Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/1716' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/node/1716' in /dati/webiit-old/includes/database.pgsql.inc on line 159 A Tool for the Synthesis of Controller Programs. | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

A Tool for the Synthesis of Controller Programs.

In previous works we have developed a theory based on formal methods for enforcing security properties by defining process algebra controller operators. In this paper we continue our line of research, by describing a tool developed for synthesizing a model for a given security property that is also a control program for a given controller operator. The tool implements the partial model checking technique and the satisfiability procedure for a modal μ-calculus formula.


, LECTURE NOTES IN COMPUTER SCIENCE (00538S0), 2007

Autori: I. Matteucci
Autori IIT:

Tipo: Articolo in Atti di convegno internazionale con referee
Da pagina 112 a pagina 126

Attività: Metodi formali per la sicurezza di sistemi ICT