Information Flow in Object-Oriented Software

DOI10.1007/978-3-319-14125-1_2zbMath1453.68027OpenAlexW2197122927MaRDI QIDQ3453646

Christoph Scheben, Vladimir Klebanov, Bernhard Beckert, Daniel Bruns, Mattias Ulbrich, Peter H. Schmitt

Publication date: 30 November 2015

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-14125-1_2

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70)

Related Items

Automating regression verification of pointer programs by predicate abstraction, Proof pearl: The KeY to correct and stable sorting

Uses Software

• SMT-LIB
• JML
• JFlow

Cites Work

• A semantic approach to secure information flow
• Abstract Interpretation of Symbolic Execution with Explicit State Updates
• A lattice model of secure information flow