Istituto di Informatica e Telematica     
Vaccarelli A., Martinelli F. Analysing EMMS with compositional proof rules for non interference. In: Workshop on Issues in the Theory of Security WITS03 (Varsavia, 2003). Proceedings, pp. 1 - 10. nsf, 2003.
We investigate the application of compositional proof rules to establish non-interference for checking integrity in stream signature protocols. In particular, we formally prove the integrity of an instance of the EMSS protocol family in [15]. Our technique is able to check a protocol specification with an unbounded number of parallel processes. Our approach may be applied to a wider class of stream signature protocols as, for instance, the ones derived from the Gennaro-Rohatgi [5].
Subject signature protocols

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional