Information flow for Algol-like languages

DOI10.1016/S0096-0551(02)00006-1MaRDI QIDQ1869976zbMATH OpenOpenAlexFDO

Authors David Clark, Chris Hankin, Sebastian Hunt

Publication date 4 May 2003

Published in Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0096-0551(02)00006-1

zbMATH Keywords

Program analysisAccess controlInformation flowAlgolFlow logic

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Static Analysis
• Information-flow and data-flow analysis of while-programs
• Compile-time detection of information flow in sequential programs
• A logic for information flow analysis with an application to forward slicing of simple imperative programs
• scientific article; zbMATH DE number 2080702

Cites work

• scientific article; zbMATH DE number 1231615 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• A lattice model of secure information flow
• A uniform type structure for secure information flow
• Probabilistic game semantics

Cited in

(7)

• Data Flow Analysis for CCS
• From exponential to polynomial-time security typing via principal types
• Optimality and condensing of information flow through linear refinement
• Instruction-level security analysis for information flow in stack-based assembly languages
• Information-flow and data-flow analysis of while-programs
• Magic-sets for localised analysis of Java bytecode
• On display optimization for Algol-like languages

This page was built for publication: Information flow for Algol-like languages

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