loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference on Application of Concurrency to System Design (ACSD'03)
Compositional Verification of Integrity for Digital Stream Signature Protocols
Guimar?es, Portugal
June 18-June 20
ISBN: 0-7695-1887-7
ASCII Text
x 
 
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli, "Compositional Verification of Integrity for Digital Stream Signature Protocols," Application of Concurrency to System Design, International Conference on, pp. 142, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2003.1207708,
author = {Roberto Gorrieri and Fabio Martinelli and Marinella Petrocchi and Anna Vaccarelli},
title = {Compositional Verification of Integrity for Digital Stream Signature Protocols},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-1887-7},
pages = {142},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207708},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Compositional Verification of Integrity for Digital Stream Signature Protocols
SN - 0-7695-1887-7
SP
EP
A1 - Roberto Gorrieri,
A1 - Fabio Martinelli,
A1 - Marinella Petrocchi,
A1 - Anna Vaccarelli,
PY - 2003
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Roberto Gorrieri, Università di Bologna
Fabio Martinelli, Istituto di Informatica e Telematica - C.N.R.
Marinella Petrocchi, Istituto di Informatica e Telematica - C.N.R.
Anna Vaccarelli, Istituto di Informatica e Telematica - C.N.R.
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.
Citation:
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli, "Compositional Verification of Integrity for Digital Stream Signature Protocols," acsd, pp.142, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.