Security properties of typed applets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

Security properties of typed applets

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 ap-plets possess, and identify sufficient conditions for the ap-plet 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.
Fichier principal
Vignette du fichier
typed-applets.pdf (209.22 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01499963 , version 1 (01-04-2017)

Identifiers

Cite

Xavier Leroy, François Rouaix. Security properties of typed applets. POPL 1998: 25th symposium Principles of Programming Languages, Jan 1998, San Diego, United States. pp.391-403, ⟨10.1145/268946.268979⟩. ⟨hal-01499963⟩

Collections

INRIA INRIA2
191 View
109 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More