JavaScript Security
Using Lightweight Formal Methods for JavaScript Security
FREE-DOWNLOAD M Reynolds – 2010
Summary. The goal of this investigation was to apply lightweight formal methods to the study
of the security of the JavaScript language. Previous work [1] has shown that lightweight formal
methods present a new approach to the study of security in the context of the Java Virtual .