A logic for information flow in object-oriented programs

DOI10.1145/1111037.1111046MaRDI QIDQ5348916zbMATH OpenOpenAlexWikidataFDO

Authors Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee

Publication date 21 August 2017

Published in Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1111037.1111046

zbMATH Keywords

aliasingconfidentialityinformation flow

Mathematics Subject Classification ID

Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Information flow in object-oriented software
• Static Analysis
• A logic of object-oriented programs
• A logic for information flow analysis with an application to forward slicing of simple imperative programs
• Static Analysis

Cited in

(20)

• Automating regression verification of pointer programs by predicate abstraction
• Product programs and relational program logics
• Instruction-level security analysis for information flow in stack-based assembly languages
• Optimality and condensing of information flow through linear refinement
• Graph-based object-oriented Hoare logic
• From exponential to polynomial-time security typing via principal types
• Abstract Certification of Global Non-interference in Rewriting Logic
• Relational decomposition
• A machine-checked framework for relational separation logic
• Secure information flow by self-composition
• Information flow in object-oriented software
• Program equivalence by circular reasoning
• Static Analysis
• Static Analysis
• Information Flow Control-by-Construction for an Object-Oriented Language
• Symbolic abstract heaps for polymorphic information-flow guard inference
• Abstract semantic dependency
• Relational bytecode correlations
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• A logic for information flow analysis with an application to forward slicing of simple imperative programs

This page was built for publication: A logic for information flow in object-oriented programs

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