ADsafety: Type-Based Verification of JavaScript Sandboxing
Using static analysis for Ajax intrusion detection