Secure information flow via linear continuations

DOI10.1023/A:1020843229247zbMath1030.68015OpenAlexW1531439671MaRDI QIDQ1870493

Steve Zdancewic, Andrew C. Myers

Publication date: 14 May 2003

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020843229247

zbMATH Keywords

CPScontinuation passing styleinformation-flow securitylinear continuationssecurity-typed languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) General topics in the theory of software (68N01)

Related Items (8)

A first-order one-pass CPS transformation ⋮ Instruction-level security analysis for information flow in stack-based assembly languages ⋮ More Typed Assembly Languages for Confidentiality ⋮ A linear/producer/consumer model of classical linear logic ⋮ On one-pass CPS transformations ⋮ Game semantics and linear CPS interpretation ⋮ Noninterference in a predicative polymorphic calculus for access control ⋮ Type-based information flow analysis for the \(\pi\)-calculus

This page was built for publication: Secure information flow via linear continuations