Sciweavers

619 search results - page 44 / 124
» IFIP
Sort
View
IFIP
2000
Springer
15 years 6 months ago
Network-Based Scientific Computing
Elias N. Houstis, Ann Christine Catlin, Ganesh Bal...
IFIP
2009
Springer
15 years 27 days ago
Specification and Verification of Side Channel Declassification
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
Josef Svenningsson, David Sands
IFIP
2010
Springer
14 years 10 months ago
Foundations of Attack-Defense Trees
We introduce and give formal definitions of attack
Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patr...
IFIP
2004
Springer
15 years 8 months ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L...