Sciweavers

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