Semantics and Security Issues in JavaScript - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2012

Semantics and Security Issues in JavaScript

Abstract

There is a plethora of research articles describing the deep semantics of JavaScript. Nevertheless, such articles are often difficult to grasp for readers not familiar with formal semantics. In this report, we propose a digest of the semantics of JavaScript centered around security concerns. This document proposes an overview of the JavaScript language and the misleading semantic points in its design. The first part of the document describes the main characteristics of the language itself. The second part presents how those characteristics can lead to problems. It finishes by showing some coding patterns to avoid certain traps and presents some ECMAScript 5 new features.
Les environnements d'exécution Javascript comportent des failles de sécurité liées à la sémantique d'ECMAScript ainsi qu'à la présence de certains constructeurs. D'autres failles sont liées à la mise en oeuvre pratique d'ECMAScript par les navigateurs. L'objectif de cette tâche est d'identifier et classer les types de failles de sécurité dans le monde Javascript. On consultera notamment les travaux de Miller autour de Caja et ainsi que les approches proposées par Seaside un framework pour le développement d'applications sécurisées en Smalltalk. L'objectif de la tâche est de formaliser les mécanismes de sécurité en Javascript de façon à augmenter la connaissance des partenaires et des utilisateurs de Javascript sur ce sujet.
Fichier principal
Vignette du fichier
deliverable1.pdf (217.92 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00763421 , version 1 (10-12-2012)

Identifiers

Cite

Stéphane Ducasse, Nicolas Petton, Guillermo Polito, Damien Cassou. Semantics and Security Issues in JavaScript. [Research Report] 2012. ⟨hal-00763421⟩
190 View
121 Download

Altmetric

Share

Gmail Facebook X LinkedIn More