Information flow for Algol-like languages
From MaRDI portal
Publication:1869976
DOI10.1016/S0096-0551(02)00006-1zbMath1027.68021OpenAlexW2055351465MaRDI QIDQ1869976
Sebastian Hunt, David Clark, Chris Hankin
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
Related Items
Instruction-level security analysis for information flow in stack-based assembly languages ⋮ Magic-sets for localised analysis of Java bytecode ⋮ From Exponential to Polynomial-Time Security Typing via Principal Types ⋮ Optimality and condensing of information flow through linear refinement
Cites Work