T. Jensen, et al.  Home/Search
Context Related
| irisa.fr/techreports/19...PI1137.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utah.edu/~eeide/flux/janos/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : We give a formal specification of the dynamic loading of classes in the Java Virtual Machine (JVM) and of the visibility of members of the loaded classes. This specification is obtained by abstracting out the part of the run-time state of the JVM that is relevant for dynamic loading and visibility, and consists of a set of inference rules defining abstract operations for loading, linking and verifying classes. The formalisation of visibility includes an axiomatisation of the rules for... (Update)
Cited by: More
A Model of Dynamic Binding in .NET - Buckley (2005) (Correct)
Flexible Dynamic Linking for .NET - Anders Aaltonen Alex (Correct)
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (Correct)
Similar documents (at the sentence level):
69.6%: Security and Dynamic Class Loading in Java: A Formalisation - Jensen, Métayer.. (1998) (Correct)
6.5%: Analyse Statique De Programmes : Fondements Et Applications - Jensen (1999) (Correct)
Active bibliography (related documents): More All
0.1: Viewer's Discretion: Host Security in Mobile Code Systems - Fong (1998) (Correct)
0.1: A Reduction Semantics for Java - part 1: the object.. - Cimato, Laneve.. (1998) (Correct)
0.0: Is the Java Type System Sound? - Drossopoulou, Eisenbach, Khurshid (1999) (Correct)
Similar documents based on text: More All
0.2: A Formalisation Of Weak Normalisation (With Respect To.. - Adams (1999) (Correct)
0.2: An Inference Algorithm For The Static Verification Of.. - Fradet, Gaugne, Le.. (1996) (Correct)
0.2: Structured Gamma - Fradet, Métayer (1996) (Correct)
Related documents from co-citation: More All
15: The Security of Static Typing with Dynamic Linking - Dean - 1997
12: A type system for Java bytecode subroutines - Stata, Abadi - 1998
9: Proving JavaS Type Soundness - Syme - 1997
BibTeX entry: (Update)
T. Jensen, D. Le Metayer, and T. Thorn. Security and Dynamic Class Loading in Java: A Formalization. In Proceedings of the 1998 IEEE International Conference on Computer Languages, pages 4--15, May 1998. http://citeseer.ist.psu.edu/jensen98security.html More
@inproceedings{ jensen98security,
author = "T. Jensen and D. {Le Métayer} and T. Thorn",
title = "Security and Dynamic Class Loading in Java: {A} Formalisation",
booktitle = "{IEEE} International Conference on Computer Languages",
address = "Chicago, Illinois",
pages = "4--15",
year = "1998",
url = "citeseer.ist.psu.edu/jensen98security.html" }
Citations (may not include all citations):862 The Java Language Specification - Gosling, Joy et al. - 1996
746 The Java Virtual Machine Specification (context) - Lindholm, Yelling - 1997
76 Programming Languages for Mobile Code - Thorn - 1997
69 Proving Java type soundness - Syme - 1997
66 Java Security: hostile applets (context) - McGraw, Felten - 1997
60 The security of static typing with dynamic linking - Dean - 1997
56 Java is type safe -- probably - Drossopoulou, Eisenbach - 1997
53 A formal specification of Java virtual machine instructions - Qian - 1997
48 Java security: Present and near future - Gong - 1997
44 Java is not type-safe - Saraswat - 1997
23 volume 26 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Mosses - 1992
20 Department of Information Technology (context) - Bertelsen, Java et al. - 1997
16 New security architectural directions for Java (context) - Gong - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.utah.edu/~eeide/flux/janos/): More
Operating System Protection for Fine-Grained Programs - Jaeger, Liedtke, Islam (1998) (Correct)
Automatic Program Transformation with JOIE - Cohen, Chase, Kaminsky (1998) (Correct)
The Network I/O Daemon - netiod - Gradman, Berson, Braden (2000) (Correct)
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