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 .