Title :
Compositional verification of integrity for digital stream signature protocols
Author :
Gorrieri, Roberto ; Martinelli, Fabio ; Petrocchi, Marinella ; Vaccarelli, Anna
Author_Institution :
Dipt. di Sci. dell´´Informazione, Univ. di Bologna, Italy
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 (R. Gennaro et al., 2001). 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.
Keywords :
concurrency theory; cryptography; data integrity; formal languages; formal verification; parallel processing; protocols; set theory; Gennaro-Rohatgi protocol; compositional proof rules; compositional verification; concurrency theory; digital stream signature protocol; integrity verification; parallel process; simulation relation; Concurrent computing; Cryptographic protocols; Cryptography; Digital audio broadcasting; Digital video broadcasting; Feeds; Information security; Streaming media; Terminology; Videoconference;
Conference_Titel :
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN :
0-7695-1887-7
DOI :
10.1109/CSD.2003.1207708
