111 search results - page 1 / 23 » Automated Information Flow Analysis of Virtualized Infrastru... |
ESORICS
2011
Springer
12 years 7 months ago
2011
Springer
The use of server virtualization has been growing steadily, but many enterprises still are reluctant to migrate critical workloads to such infrastructures. One key inhibitor is the...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
ERCIMDL
1998
Springer
13 years 11 months ago
1998
Springer
This paper describes novel market-based technologies for systematic, quantifiable and predictable protection of information systems against attacks. These technologies, incorporate...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
IEEECIT
2009
IEEE
14 years 2 months ago
2009
IEEE
Cloud platforms host several independent applications on a shared resource pool with the ability to allocate computing power to applications on a per-demand basis. The use of serv...