scientific article; zbMATH DE number 1692933

MaRDI QIDQ2763665zbMATH OpenFDO

Authors Steve Zdancewic, Andrew C. Myers

Publication date 21 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2028/20280046

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data encryption (aspects in computer science) (68P25)

Recommendations

• Secure information flow via linear continuations
• Security types preserving compilation
• scientific article; zbMATH DE number 1538026
• Verification, Model Checking, and Abstract Interpretation
• Theoretical Aspects of Computing – ICTAC 2005

Cited in

(12)

• Information flow certificates
• Security design with interim public information
• Abstract interpretation of operational semantics for secure information flow.
• Secure information flow via linear continuations
• Instruction-level security analysis for information flow in stack-based assembly languages
• scientific article; zbMATH DE number 1304002 (Why is no real title available?)
• CPS transformation of flow information
• CPS transformation of flow information, Part II: administrative reductions
• A hybrid, dynamic logic for hybrid-dynamic information flow
• Quantifying probabilistic information flow in computational reactive systems
• Verification, Model Checking, and Abstract Interpretation
• Security types preserving compilation

This page was built for publication:

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