Securing web application code by static analysis and runtime protection
Top Cited Papers
- 17 May 2004
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableKeywords
This publication has 37 references indexed in Scilit:
- Information flow inference for MLACM Transactions on Programming Languages and Systems, 2003
- Detection of information leak by data flow analysisACM SIGPLAN Notices, 2002
- Does open source improve system security?IEEE Software, 2001
- A semantic approach to secure information flowScience of Computer Programming, 2000
- A practical soft type system for schemeACM Transactions on Programming Languages and Systems, 1997
- An Axiomatic Approach to Information Flow in ProgramsACM Transactions on Programming Languages and Systems, 1980
- A practical interprocedural data flow analysis algorithmCommunications of the ACM, 1978
- A program data flow analysis procedureCommunications of the ACM, 1976
- A Fast and Usually Linear Algorithm for Global Flow AnalysisJournal of the ACM, 1976
- Simple LR(k) grammarsCommunications of the ACM, 1971