8 search results - page 1 / 2 » A microkernel virtual machine: : building security with clea... |
PLDI
2006
ACM
13 years 10 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
OSDI
1996
ACM
13 years 5 months ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...
ISCC
2005
IEEE
13 years 10 months ago
2005
IEEE
Tele-Lab “IT-Security” Server is a new concept for practical security education. The Tele-lab server builds a virtual security laboratory using lightweight virtual machines an...
VEE
2006
ACM
13 years 10 months ago
2006
ACM
Many fault-tolerant and intrusion-tolerant systems require the ability to execute unsafe programs in a realistic environment without leaving permanent damages. Virtual machine tec...
AGENTS
1997
Springer
13 years 8 months ago
1997
Springer
Believable agents are defined to be interactive versions of quality characters in traditional artistic media like film. Such agents are useful in applications such as interactive ...