Team Automata for Security Analysis (Altre pubblicazioni)

Type
Label
  • Team Automata for Security Analysis (Altre pubblicazioni) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M.; Lenzini G.; Petrocchi M. (2004)
    Team Automata for Security Analysis
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M.; Lenzini G.; Petrocchi M. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Technical Report TR-CTIT-04-13, Centre for Telematics and Information Technology, University of Twente, The Netherlands. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: We show that team automata (TA) are well suited for security analysis by reformulating the Generalized Non-Deducibility on Compositions (GNDC) schema in terms of TA. We then use this to show that integrity is guaranteed for a case study in which TA model an instance of the Efficient Multi-chained Stream Signature (EMSS) protocol. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR (literal)
Titolo
  • Team Automata for Security Analysis (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


Prodotto
Insieme di parole chiave di
data.CNR.it