Optimality and condensing of information flow through linear refinement

DOI10.1016/J.TCS.2007.05.004MaRDI QIDQ2464935zbMATH OpenOpenAlexFDO

Authors Fausto Spoto

Publication date 18 December 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2007.05.004

zbMATH Keywords

abstract interpretationstatic analysisinformation flowlinear refinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Theoretical Aspects of Computing – ICTAC 2005
• Information-flow and data-flow analysis of while-programs
• Pair-independence and freeness analysis through linear refinement.
• Static Analysis
• Compile-time detection of information flow in sequential programs

Cites work

• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• A logic for information flow analysis with an application to forward slicing of simple imperative programs
• A logic for information flow in object-oriented programs
• A per model of secure information flow in sequential programs
• Abstract non-interference
• Certification of programs for secure information flow
• Graph-Based Algorithms for Boolean Function Manipulation
• Information flow for Algol-like languages
• Logical optimality of groundness analysis
• Making abstract domains condensing
• On flow-sensitive security types
• Static Analysis
• Systematic design of program transformation frameworks by abstract interpretation
• Theoretical Aspects of Computing – ICTAC 2005
• Trust in the λ-calculus
• Verification, Model Checking, and Abstract Interpretation

Cited in

(4)

• Combining symbolic and numerical domains for information leakage analysis
• scientific article; zbMATH DE number 4182797 (Why is no real title available?)
• Pair-independence and freeness analysis through linear refinement.
• Theoretical Aspects of Computing – ICTAC 2005

This page was built for publication: Optimality and condensing of information flow through linear refinement

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