Formal models and analysis of secure multicast in wired and wireless networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type
Label
  • Formal models and analysis of secure multicast in wired and wireless networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Alternative label
  • Gorrieri R.,Martinelli F., Petrocchi M. (2006)
    Formal models and analysis of secure multicast in wired and wireless networks
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Gorrieri R.,Martinelli F., Petrocchi M. (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-07?tiposearch=ercim&langver= (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Rapporti tecnici IIt - 2006-TR-07 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • Abstract: The spreading of multicast technology enables the develop- ment of group communication and so, dealing with digital streams be- comes more and more common over the Internet. Given the flourishing of security threats, the distribution of streamed data must be equipped with sufficient security guarantees. To this aim, some architectures have been proposed in the last few years, to supply the distribution of the stream with guarantees of, e.g., authenticity, integrity and confidentiality of the digital contents. This paper shows a formal capability of captur- ing some features of secure multicast protocols. In particular, both the modeling and the analysis of some case studies are shown, starting from basic schemes for signing digital streams, passing through protocols deal- ing with packet loss and time-synchronization requirements, concluding with a secure distribution of a secret key. A process-algebraic framework will be exploited, equipped with schemata for analysing security proper- ties and compositional principles for evaluating if a property is satisfied over a system with more than two components. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Titolo
  • Formal models and analysis of secure multicast in wired and wireless networks (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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