Proof linking: distributed verification of java classfiles in the presence of multiple classloaders

Authors:
Philip W. L. Fong;Robert D. Cameron
Affiliations:
Simon Fraser University, B.C., Canada;Simon Fraser University, B.C., Canada
Venue:
JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Year:
2001

Citing 9
Cited 2

Safe kernel extensions without run-time checking

OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
Java security: hostile applets, holes&antidotes

Java security: hostile applets, holes&antidotes
Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic class loading in the Java virtual machine

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proof linking: an architecture for modular verification of dynamically-linked mobile code

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Techniques for trusted software engineering

Proceedings of the 20th international conference on Software engineering
A certifying compiler for Java

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking

ACM Transactions on Software Engineering and Methodology (TOSEM)
Java Virtual Machine Specification

Java Virtual Machine Specification

Pluggable verification modules: an extensible protection mechanism for the JVM

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
CMV: automatic verification of complete mediation for java virtual machines

Proceedings of the 2008 ACM symposium on Information, computer and communications security

Quantified Score

Hi-index	0.00

Visualization

Abstract

To offload the computational burden of bytecode verification within Java Virtual Machines (JVM), distributed verification systems may be created using any one of a number of verification protocols, based on such techniques as proof-carrying code and signed verification by trusted authorities. This paper advocates the adoption of a previously-proposed mobile code verification architecture, proof linking, as a standard infrastructure for performing distributed verification in the JVM. Proof linking not only supports both CLDC-style and signature-based distributed verification protocols, but it also provides interoperability between the two. To ground our work in the real-world requirements of Java bytecode verification, we also extend previous work on proof linking to handle mulitple classloaders.