Model and Synthesize Security Automata (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type
Label
  • Model and Synthesize Security Automata (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Alternative label
  • Martinelli F.,Matteucci I. (2006)
    Model and Synthesize Security Automata
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Martinelli F.,Matteucci I. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • http://dienst.isti.cnr.it/Dienst/UI/2.0/Describe/ercim.cnr.iit/2006-TR-04?tiposearch=ercim&langver= (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Rapporti tecnici IIT - 2006-TR-04 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • Abstract: We define a set of process algebra operators (controllers) that mimic the security automata introduced by Schneider in [18] and by Ligatti and al. in [4], respectively. We also show how to automatically build these controllers for given security policies. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Titolo
  • Model and Synthesize Security Automata (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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