Sciweavers

13306 search results - page 254 / 2662
» Theoretical Computer Science
Sort
View
ICTCS
2003
Springer
15 years 11 months ago
Compositional Verification of Secure Streamed Data: A Case Study with EMSS
Fabio Martinelli, Marinella Petrocchi, Anna Vaccar...