Sciweavers

6147 search results - page 27 / 1230
» Requirements, Architectures and Risks
Sort
View
ADAEUROPE
2009
Springer
16 years 17 days ago
Validating Safety and Security Requirements for Partitioned Architectures
Julien Delange, Laurent Pautet, Peter H. Feiler
CAISE
2009
Springer
16 years 16 days ago
An Architecture for Requirements-Driven Self-reconfiguration
Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
TRUST
2010
Springer
15 years 11 months ago
Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture
Virtualization has been purported to be a panacea for many security problems. We analyze the feasibility of constructing an integrity-protected hypervisor on contemporary x86 hardw...
Amit Vasudevan, Jonathan M. McCune, Ning Qu, Leend...