Modular Monitor Extensions for Information Flow Security in JavaScript

First Author: Fragoso Santos J

Attributed to: Certified Verification of Client-Side Web Programs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-28766-9_4

Publication URI: http://dx.doi.org/10.1007/978-3-319-28766-9_4

Type: Book Chapter

Book Title: Trustworthy Global Computing - 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers (2016)

Page Reference: 47-62