Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting (Articolo in rivista)

Type
Label
  • Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting (Articolo in rivista) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1016/j.entcs.2007.03.025 (literal)
Alternative label
  • [1] Matteucci I. (2007)
    Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting
    in Electronic notes in theoretical computer science; Elsevier Science Publishers, Amsterdam (Paesi Bassi)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • [1] Matteucci I. (literal)
Pagina inizio
  • 101 (literal)
Pagina fine
  • 120 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 186 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 20 (literal)
Note
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • [1] CNR-IIT, Pisa, Italy (literal)
Titolo
  • Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting (literal)
Abstract
  • In [21,22] we have presented an approach for enforcing security properties. It is based on the automatic synthesis of controller programs that are able to detect and eventually prevent possible wrong action performed by an external agent. Here, we extend this approach also to a timed setting. Under certain assumptions, we are also able to enforce several information flow properties. We show how to deal with parameterized systems. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it