4 search results - page 1 / 1 » IRM Enforcement of Java Stack Inspection |
SP
2000
IEEE
13 years 9 months ago
2000
IEEE
Two implementations are given for Java’s stack-inspection accesscontrol policy. Each implementation is obtained by generating an inlined reference monitor (IRM) for a different...
ICFP
2003
ACM
14 years 4 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
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...
CSFW
2003
IEEE
13 years 10 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...