Boolean formulas for the static identification of injection attacks in Java

DOI10.1007/978-3-662-48899-7_10MaRDI QIDQ3460049zbMATH OpenOpenAlexFDO

Authors Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto

Publication date 12 January 2016

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48899-7_10

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer security (68M25) Theory of programming languages (68N15) Database theory (68P15)

Recommendations

• Efficient static checker for tainted variable attacks
• Abstract code injection. A semantic approach based on abstract non-interference
• Defining code-injection attacks
• scientific article; zbMATH DE number 2090837
• Verification, Model Checking, and Abstract Interpretation

Cited in

(3)

• Defining code-injection attacks
• Abstract code injection. A semantic approach based on abstract non-interference
• \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results

Describes a project that uses

Uses Software

• julia

This page was built for publication: Boolean formulas for the static identification of injection attacks in Java

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3460049)