Methods for Java Script Security

Provided by: Creative Commons
Topic: Enterprise Software
Format: PDF
In this paper, the authors were to apply light weight formal methods to the study of the security of the JavaScript language. Previous paper has shown that lightweight formal methods present a new approach to the study of security in the context of the Java Virtual Machine (JVM). Since there is a (somewhat) formal specification for the JVM, but there is nothing approaching a formal specification for JavaScript security, the current paper has attempted to codify best current practices in the form of a security model for JavaScript.

Find By Topic