A semantic approach to secure information flow

DOI10.1016/S0167-6423(99)00024-6zbMath0954.68052OpenAlexW2173102238MaRDI QIDQ1566911

Rajeev Joshi, K. Rustan M. Leino

Publication date: 4 June 2000

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

Full work available at URL: https://doi.org/10.1016/s0167-6423(99)00024-6

zbMATH Keywords

secure information flow

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (18)

Product programs and relational program logics ⋮ Information Flow in Object-Oriented Software ⋮ Instruction-level security analysis for information flow in stack-based assembly languages ⋮ Compositional refinement in agent-based security protocols ⋮ Formal verification of side-channel countermeasures using self-composition ⋮ The shadow knows: refinement and security in sequential programs ⋮ Modular Verification of Procedure Equivalence in the Presence of Memory Allocation ⋮ Formalizing non-interference for a simple bytecode language in Coq ⋮ Integration of a security type system into a program logic ⋮ Secure Multi-party Computation: Information Flow of Outputs and Game Theory ⋮ Quantification of integrity ⋮ A logic for secure memory access of abstract state machines ⋮ Relational bytecode correlations ⋮ Abstractions of non-interference security: probabilistic versus possibilistic ⋮ Abstract Interpretation of Symbolic Execution with Explicit State Updates ⋮ Secure information flow by self-composition ⋮ Modelling declassification policies using abstract domain completeness ⋮ What You Lose is What You Leak: Information Leakage in Declassification Policies

This page was built for publication: A semantic approach to secure information flow