A Study on Formal Verification for JavaScript Software

Author(s)

Zachary S. Rowland, University of Dayton

Advisor

Phu Phung

Department

Computer Science

Publication Date

5-1-2021

Document Type

Honors Thesis

Abstract

Information security is still a major problem for users of websites and hybrid mobile applications. While many apps and websites come with terms of service agreements between the developer and end user, there is no rigorous mechanism in place to ensure that these agreements are being followed. Formal methods can offer greater confidence that these policies are being followed, but there is currently no widely adopted tool that makes formal methods available for average consumers. After studying the current state-of-the-art in JavaScript policy enforcement and verification, this research proposes several new techniques for applying model checking to JavaScript that strikes a balance of low runtime overhead and fine-grained policy enforcement that other techniques do not achieve.

Permission Statement

This item is protected by copyright law (Title 17, U.S. Code) and may only be used for noncommercial, educational, and scholarly purposes.

Keywords

Undergraduate research

Disciplines

Computer Sciences

eCommons Citation

Rowland, Zachary S., "A Study on Formal Verification for JavaScript Software" (2021). Honors Theses. 334.
https://ecommons.udayton.edu/uhp_theses/334