论文信息 - Using Lightweight Formal Methods for JavaScript Security - 字舞流文

Using Lightweight Formal Methods for JavaScript Security

sig Node { } // addr nodes and host nodes // addr hode is a non-leaf, host node is a leaf sig AddrNode extends Node { masklen: Int, hostlen: Int,

[1] David Flanagan,et al. JavaScript: The Definitive Guide , 1996 .

[2] Mark C. Reynolds. Lightweight Modeling of Java Virtual Machine Security Constraints , 2010, ASM.