A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Compositional verification of integrity for digital stream signature protocols
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.
Preserved Fulltext
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.
doi:10.1109/csd.2003.1207708
dblp:conf/acsd/GorrieriMPV03
fatcat:3pjsr5ttfbem3fksthdvgomsku