Security properties of typed applets

Xavier Leroy 1 François Rouaix 1
1 CRISTAL - Typed programming, modularity and compilation
Inria Paris-Rocquencourt
Abstract : This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed applets possess, and identify sufficient conditions for the applet execution environment to be safe, such as procedural encapsulation, type abstraction, and systematic type-based placement of run-time checks. These results are a first step towards formal techniques for developing and validating safe execution environments for applets.
Type de document :
Chapitre d'ouvrage
Jan Vitek; Christian D. Jensen Secure Internet Programming - Security issues for Mobile and Distributed Objects, 1603, Springer, pp.147-182, 1999, LNCS, 978-3-540-66130-6. 〈10.1007/3-540-48749-2_7〉
Liste complète des métadonnées

Littérature citée [44 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01499957
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 18:42:34
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 13:02:16

Fichier

sip-typed-applets.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA

Citation

Xavier Leroy, François Rouaix. Security properties of typed applets. Jan Vitek; Christian D. Jensen Secure Internet Programming - Security issues for Mobile and Distributed Objects, 1603, Springer, pp.147-182, 1999, LNCS, 978-3-540-66130-6. 〈10.1007/3-540-48749-2_7〉. 〈hal-01499957〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

148

Téléchargements de fichiers

27

Contact


archive-ouverte@inria.fr