Sciweavers

619 search results - page 44 / 124
» IFIP
Sort
View
IFIP
2000
Springer
15 years 3 months ago
Network-Based Scientific Computing
Elias N. Houstis, Ann Christine Catlin, Ganesh Bal...
IFIP
2009
Springer
14 years 9 months 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 6 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 5 months ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L...