Staged information flow for javascript
Authors:
Open Access
- 15 June 2009
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 44 (6) , 50-62
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Status report2007
- Labels and event processes in the asbestos operating system2005
- Towards Type Inference for JavaScript2005
- Towards a Type System for Analyzing JavaScript ProgramsLecture Notes in Computer Science, 2005
- Programming with Explicit Security PoliciesLecture Notes in Computer Science, 2005
- Secure Information Flow as a Safety Problem2005
- Banshee: A Scalable Constraint-Based Analysis ToolkitLecture Notes in Computer Science, 2005
- Information Flow Analysis in Logical Form2004
- Verifying secrets and relative secrecy2000
- Componential set-based analysisACM Transactions on Programming Languages and Systems, 1999