Sciweavers

6147 search results - page 27 / 1230
» Requirements, Architectures and Risks
Sort
View
ADAEUROPE
2009
Springer
15 years 6 months ago
Validating Safety and Security Requirements for Partitioned Architectures
Julien Delange, Laurent Pautet, Peter H. Feiler
CAISE
2009
Springer
15 years 6 months ago
An Architecture for Requirements-Driven Self-reconfiguration
Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
TRUST
2010
Springer
15 years 4 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...