Partial mode checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type
Label
  • Partial mode checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Alternative label
  • Martinelli F., Matteucci I. (2005)
    Partial mode checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Martinelli F., Matteucci I. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Technical Report IIT TR-07/2005 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • In this paper we show how the partial model checking approach for the analysis of secure systems may be also useful for enforcing security properties. We define a set of process algebra operators that act as programmable controllers of possibly insecure components. The program of these controllers may be automatically obtained through the usage of satisfiability procedures for a variant of mu-calculus. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • IIT-CNR (literal)
Titolo
  • Partial mode checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it