IIT Home Page CNR Home Page

Synthesis of Local Controller Programs for Enforcing Global Security Properties

The Third International Conference on Availability, Reliability and Security, ARES 2008, Barcelona, Spain, 2008

Authors: F. Martinelli, I. Matteucci
IIT authors:

Type: Article in proceedings of international peer-reviewed conference
Field of reference: Information Technology and Communication Systems

Activity: Metodi formali per la sicurezza di sistemi ICT