Compositional verification of integrity for digital stream signature protocols (Contributo in atti di convegno)

Type
Label
  • Compositional verification of integrity for digital stream signature protocols (Contributo in atti di convegno) (literal)
Anno
  • 2003-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/CSD.2003.1207708 (literal)
Alternative label
  • Gorrieri R., Martinelli F., Petrocchi M., Vaccarelli A. (2003)
    Compositional verification of integrity for digital stream signature protocols
    in IEEE International Conference on Application of Concurrency to System Design ACSD03, Lisbona
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Gorrieri R., Martinelli F., Petrocchi M., Vaccarelli A. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.computer.org/csdl/proceedings/acsd/2003/1887/00/18870142-abs.html (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Università di Bologna Istituto di Informatica e Telematica - C.N.R. (literal)
Titolo
  • Compositional verification of integrity for digital stream signature protocols (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 0-7695-1887-7 (literal)
Abstract
  • We investigate the application of concurrency theory notions as simulation relations and compositional proof rules for verifying digital stream signature protocols. In particular we formally prove the integrity of the Gennaro-Rohatgi protocols in [7]. As a peculiarity, our technique is able to check a protocol with an unbounded number of parallel processes. We argue also that our approach may be applied to a wider class of stream signature protocols. (literal)
Editore
Prodotto di
Autore CNR

Incoming links:


Prodotto
Autore CNR di
Editore di
data.CNR.it