Sciweavers

ICTCS
2003
Springer

Compositional Verification of Secure Streamed Data: A Case Study with EMSS

13 years 8 months ago
Compositional Verification of Secure Streamed Data: A Case Study with EMSS
Fabio Martinelli, Marinella Petrocchi, Anna Vaccar
Added 07 Jul 2010
Updated 07 Jul 2010
Type Conference
Year 2003
Where ICTCS
Authors Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
Comments (0)