An Axiomatic Approach to Information Flow in Programs

DOI10.1145/357084.357088MaRDI QIDQ3922155zbMATH OpenOpenAlexFDO

Authors Gregory R. Andrews, Richard P. Reitman

Publication date 1980

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

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

zbMATH Keywords

axiomatic logiccorrectness rulesinformation securityparallel programsproof rulessecurity certification

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(15)

• A security flow control algorithm and its denotational semantics correctness proof
• Abstract interpretation of operational semantics for secure information flow.
• Product programs and relational program logics
• Instruction-level security analysis for information flow in stack-based assembly languages
• From exponential to polynomial-time security typing via principal types
• Secure information flow by self-composition
• Hoare logic for disjunctive information flow
• A calculus of trustworthy ad hoc networks
• Content dependent information flow control
• Using dynamic pushdown networks to automate a modular information-flow analysis
• Information Flow Control-by-Construction for an Object-Oriented Language
• Abstract semantic dependency
• Securing interaction between threads and the scheduler in the presence of synchronization
• Type systems equivalent to data-flow analyses for imperative languages
• Integration of a security type system into a program logic

This page was built for publication: An Axiomatic Approach to Information Flow in Programs

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