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.


Authors: I. Matteucci
IIT authors:

Type: Article in proceedings of international peer-reviewed conference
Da pagina 112 a pagina 126

Activity: Metodi formali per la sicurezza di sistemi ICT