Information flow for Algol-like languages

DOI10.1016/S0096-0551(02)00006-1zbMATH Open1027.68021OpenAlexW2055351465MaRDI QIDQ1869976FDOQ1869976

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

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

zbMATH Keywords

Program analysisAccess controlInformation flowAlgolFlow logic

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• Title not available (Why is that?)
• A lattice model of secure information flow
• Title not available (Why is that?)
• 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)