Treffer: Java Bytecode Verification: An Overview

Title:
Java Bytecode Verification: An Overview
Authors:
Xavier Leroy
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
http://pauillac.inria.fr/~xleroy/publi/survey-bytecode-verification.ps.gz.
Publication Year:
2001
Collection:
CiteSeerX
Document Type:
Fachzeitschrift text
File Description:
application/postscript
Language:
English
Relation:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.892
Availability:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.892
http://pauillac.inria.fr/~xleroy/publi/survey-bytecode-verification.ps.gz
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.45B349CC
Database:
BASE

Weitere Informationen

Bytecode verification is a crucial security component for Java applets, on the Web and on embedded devices such as smart cards. This paper describes the main bytecode verification algorithms and surveys the variety of formal methods that have been applied to bytecode verification in order to establish its correctness.