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

fYear

2003

Firstpage

142

Lastpage

149

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on

Print_ISBN

0-7695-1887-7

Type

conf

DOI

10.1109/CSD.2003.1207708

Filename

1207708