Boolean Formulas for the Static Identification of Injection Attacks in Java
Authors:
- 22 November 2015
- book chapter
- Published by Springer Nature
- p. 130-145
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Boolean Formulas for the Static Identification of Injection Attacks in Java2015
- Automated testing for SQL injection vulnerabilities: an input mutation approach2014
- MAC based solution for SQL injectionJournal of Computer Virology and Hacking Techniques, 2014
- Detecting SQL injection attacks using query result sizeComputers & Security, 2014
- FlowDroid2014
- SQL FILTER – SQL Injection Prevention and Logging Using Dynamic Network Filter2014
- A certified lightweight non-interference Java bytecode verifierMathematical Structures in Computer Science, 2013
- Information Flow Analysis for Java BytecodeLecture Notes in Computer Science, 2005
- Semantics and Program Analysis of Computationally Secure Information Flow2001
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977