Contributions of team automata in security (Articolo in rivista)

Type
Label
  • Contributions of team automata in security (Articolo in rivista) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Alternative label
  • ter Beek M.; Lenzini G.; Petrocchi M. (2005)
    Contributions of team automata in security
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • ter Beek M.; Lenzini G.; Petrocchi M. (literal)
Pagina inizio
  • 38 (literal)
Pagina fine
  • 39 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 63 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR, IIT-CNR, IIT-CNR (literal)
Titolo
  • Contributions of team automata in security (literal)
Abstract
  • Researchers from two CNR Institutes in Pisa are studying ways in which a formal model of team automata can be exploited to specify and analyse security-related issues. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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