Java bytecode verification: an overview

Abstract : 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.
Type de document :
Communication dans un congrès
Gérard Berry; Hubert Comon; Alain Finkel. Computer Aided Verification, CAV 2001, Jul 2001, Paris, France. Springer, 2102, pp.265-285, LNCS. 〈10.1007/3-540-44585-4_26〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01499955
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 18:33:44
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:58:27

Fichier

survey-bytecode-verification.p...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xavier Leroy. Java bytecode verification: an overview. Gérard Berry; Hubert Comon; Alain Finkel. Computer Aided Verification, CAV 2001, Jul 2001, Paris, France. Springer, 2102, pp.265-285, LNCS. 〈10.1007/3-540-44585-4_26〉. 〈hal-01499955〉

Partager

Métriques

Consultations de la notice

212

Téléchargements de fichiers

186