Sciweavers

6164 search results - page 259 / 1233
» Teaching Computer Security
Sort
View
ICSOC
2004
Springer
16 years 19 hour ago
Sound development of secure service-based systems
Martin Deubler, Johannes Grünbauer, Jan J&uum...
ICSOC
2003
Springer
15 years 12 months ago
Secure Service Provision in Ad Hoc Networks
Radu Handorean, Gruia-Catalin Roman
ICTCS
2003
Springer
15 years 12 months ago
Security-Aware Program Transformations
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
ICTCS
2003
Springer
15 years 12 months ago
Compositional Verification of Secure Streamed Data: A Case Study with EMSS
Fabio Martinelli, Marinella Petrocchi, Anna Vaccar...