L. Gong. Inside Java TM 2 Platform Security. Addison Wesley, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Simple Verification Technique for Complex Java Bytecode Subroutines - Coglio (2001) (10 citations) (Correct)
....code generable by current compilers and which enables future compilers to make more extensive use of subroutines. 1 Overview Java [AGH00, GJSB00] is normally compiled to a platform independent bytecode language, which is executed by the Java Virtual Machine (JVM) LY99] For security reasons [Yel95, Gon99] the JVM veri es incoming code prior to executing it, i.e. it checks certain type safety properties. Since compilers check equivalent properties on Java source, code produced via compilation must pass veri cation. The main cause of complexity for bytecode veri cation is subroutines. Subroutines ....
Li Gong. Inside Java TM 2 Platform Security. Addison-Wesley, 1999.
Stack Inspection: Theory and Variants - Fournet, Gordon (2001) (1 citation) (Correct)
....access control mechanism. Its purpose is to allow components with diverse origins to share the same runtime process and access its resources in a controlled manner, according to their respective levels of trust. It is a key security mechanism in typed runtime environments such as the JVM [14, 6] and the CLR [15] that support distributed computation based on mobile code. It enables the fine grained expression of access control policies, and hence is more liberal and flexible than a strict sandboxing mechanism. It has received much attention in the literature [3, 4, 5, 11, 12, 22, 23, 24] ....
L. Gong. Inside Java TM 2 Platform Security. Addison Wesley, 1999.
Improving the Official Specification of Java Bytecode Verification - Coglio (2001) (Correct)
....Machine (JVM) 1 . Its purpose is to establish that certain type safety properties are always satis ed when bytecode is run. Therefore, the interpreter or just in time compiler can omit checks of such properties, resulting in better performance. Because Java security is based on type safety [Gon99], correct implementation of bytecode veri cation is of paramount importance to the security of an implementation of the JVM. Holes in bytecode veri cation constitute potential points of attack exploitable by malicious programs (e.g. applets from remote sites of the Internet) The ocial speci ....
Li Gong. Inside Java TM 2 Platform Security. Addison-Wesley, 1999.
From Stack Inspection to Access Control: - Security Analysis For (Correct)
No context found.
L. Gong. Inside Java TM 2 Platform Security. Addison Wesley, 1999.
Channel Dependent Types for Higher-Order Mobile Processes.. - Yoshida (2004) (4 citations) (Correct)
No context found.
Gong, L., Inside Java TM 2 Platform Security, Addison Wesley, 1999.
From Stack Inspection to Access Control: - Security Analysis For (Correct)
No context found.
L. Gong. Inside Java TM 2 Platform Security. Addison Wesley, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC