Proofs Methods for Bisimulation Based Information Flow Security
No abstract available.
Related papers
- Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication TACAS 2016
- A uniform type structure for secure information flow POPL 2002
- End-to-end verification of information-flow security for C and assembly programs PLDI 2016
- A uniform type structure for secure information flow TOPLAS 2007
- Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras APLAS 2010
- LWeb: information flow security for multi-tier web applications POPL 2019
- Practical Fine-Grained Information Flow Control Using Laminar TOPLAS 2014
- Certifying Information Flow Properties of Programs: An Axiomatic Approach POPL 1979