408 search results - page 1 / 82 » A static type system for JVM access control |
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...
PPDP
2007
Springer
13 years 10 months ago
2007
Springer
NGC
2008
Springer
13 years 4 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
CSFW
2006
IEEE
13 years 10 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
DLS
2007
13 years 8 months ago
2007
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. ...