A logic for information flow analysis with an application to forward slicing of simple imperative programs

DOI10.1016/J.SCICO.2006.03.002zbMath1171.68538OpenAlexW2099499856MaRDI QIDQ859953

Anindya Banerjee, Torben Amtoft

Publication date: 22 January 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2006.03.002

zbMATH Keywords

program slicingdenotational semanticsHoare logicabstract interpretationstrongest postconditionframe ruleinformation flow analysis

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Abstract Program Slicing ⋮ Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements ⋮ From Exponential to Polynomial-Time Security Typing via Principal Types ⋮ Optimality and condensing of information flow through linear refinement ⋮ An independence relation for sets of secrets ⋮ Logic of secrets in collaboration networks ⋮ An Independence Relation for Sets of Secrets

This page was built for publication: A logic for information flow analysis with an application to forward slicing of simple imperative programs