Information flow in object-oriented software

DOI10.1007/978-3-319-14125-1_2MaRDI QIDQ3453646zbMATH OpenOpenAlexFDO

Authors Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, 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)

Recommendations

• A logic for information flow in object-oriented programs
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation
• Securing the future -- an information flow analysis of a distributed OO language
• A sound analysis for secure information flow using abstract memory graphs

Cites work

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

Cited in

(9)

• Value sensitivity and observable abstract values for information flow control
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation
• Proof pearl: The KeY to correct and stable sorting
• A sound analysis for secure information flow using abstract memory graphs
• Automating regression verification of pointer programs by predicate abstraction
• Information Flow Control-by-Construction for an Object-Oriented Language
• A logic for information flow in object-oriented programs
• Securing the future -- an information flow analysis of a distributed OO language

Describes a project that uses

Uses Software

• JFlow
• JML
• SMT-LIB

This page was built for publication: Information flow in object-oriented software

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