Treffer: Java bytecode verification: an overview
Title:
Java bytecode verification: an overview
Authors:
Contributors:
Typed programming, modularity and compilation (CRISTAL), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Gérard Berry, Hubert Comon, Alain Finkel
Source:
Computer Aided Verification, CAV 2001 ; https://hal.inria.fr/hal-01499955 ; Computer Aided Verification, CAV 2001, Jul 2001, Paris, France. pp.265-285, ⟨10.1007/3-540-44585-4_26⟩
Publisher Information:
HAL CCSD
Springer
Springer
Publication Year:
2001
Collection:
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
Document Type:
Konferenz
conference object
Language:
English
Relation:
DOI:
10.1007/3-540-44585-4_26
Availability:
Rights:
info:eu-repo/semantics/OpenAccess
Accession Number:
edsbas.308F5DDB
Database:
BASE
Weitere Informationen
International audience ; 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.