Secure information flow and CPS

DOI10.1007/3-540-45309-1_4MaRDI QIDQ2763665zbMATH OpenFDO

Authors Steve Zdancewic, Andrew C. Myers

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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
• Secure information flow as typed process behaviour
• 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
• Security management via Z and CSP
• 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: Secure information flow and CPS

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