http://www.cnr.it/ontology/cnr/individuo/prodotto/ID83642

Synthesis of Local Controller Programs for Enforcing Global Security Properties (Contributo in atti di convegno)

Type

Label

Synthesis of Local Controller Programs for Enforcing Global Security Properties (Contributo in atti di convegno) (literal)

Anno

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

Alternative label

[1] Martinelli F., [1] Matteucci I. (2008)
Synthesis of Local Controller Programs for Enforcing Global Security Properties
in The Third International Conference on Availability, Reliability and Security, ARES 2008, Barcelona, Spain, 4-7 March 2008
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

Titolo

Synthesis of Local Controller Programs for Enforcing Global Security Properties (literal)

Abstract

In this paper we present a framework based on contexts theory and logic to study how, given a partially specified system, i.e., a system in which there are some unspecified/ unknown components, i.e., potential attackers, it is possible to enforce a global security property by controlling all the unspecified parts of the given system. We propose two methods to control them: A centralized method, in which there is a unique controller program that controls all the unspecified components, and a decentralized one in which each unspecified component is monitored by a controller program that forces it to behave correctly, i.e., according to a local requirement found by a reduction of the global one. In both cases we show how to synthesize controller programs that solve the problem. (literal)

Editore