| HAL-Inria | Publications, software ... of Inria's scientists |
Book sections
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 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.
Cited literature [44 references]
https://hal.inria.fr/hal-01499957
Contributor : Xavier Leroy <>
Submitted on : Saturday, April 1, 2017 - 6:42:34 PM
Last modification on : Saturday, November 21, 2020 - 7:58:02 PM
Long-term archiving on: : Sunday, July 2, 2017 - 1:02:16 PM
Contributor : Xavier Leroy <>
Submitted on : Saturday, April 1, 2017 - 6:42:34 PM
Last modification on : Saturday, November 21, 2020 - 7:58:02 PM
Long-term archiving on: : Sunday, July 2, 2017 - 1:02:16 PM
File
sip-typed-applets.pdf
Files produced by the author(s)