137 search results - page 16 / 28 » Justifying Integrity Using a Virtual Machine Verifier |
POPL
1997
ACM
13 years 11 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
COMCOM
2000
13 years 7 months ago
2000
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...
ENTCS
2008
13 years 7 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
OSDI
2002
ACM
14 years 7 months ago
2002
ACM
We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a thin virtualization layer on top of the operating system that in...