Static Analysis

DOI10.1007/B99688MaRDI QIDQ5466580zbMATH OpenOpenAlexFDO

Authors Qi Sun, Anindya Banerjee, David A. Naumann

Publication date 24 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99688

Mathematics Subject Classification ID

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

Recommendations

• A logic for information flow in object-oriented programs
• Information flow in object-oriented software
• Compile-time detection of information flow in sequential programs
• Noninterference with dynamic security domains and policies
• Securing the future -- an information flow analysis of a distributed OO language

Cited in

(6)

• Information flow in object-oriented software
• Infering Ownership Types for Encapsulated Object-Oriented Program Components
• A logic for information flow in object-oriented programs
• Verification, Model Checking, and Abstract Interpretation
• Information Flow Control-by-Construction for an Object-Oriented Language
• Symbolic abstract heaps for polymorphic information-flow guard inference

This page was built for publication: Static Analysis

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