Data Flow Analysis of Secure Information-Flow
No abstract available.
Related papers
- Information-Flow and Data-Flow Analysis of while-Programs TOPLAS 1985
- Semantics and Program Analysis of Computationally Secure Information Flow ESOP 2001
- Handling Encryption in an Analysis for Secure Information Flow ESOP 2003
- Analysis of Secure Information Flow by Model-Checking APLAS 2001
- Towards a practical secure concurrent language OOPSLA 2012
- A monadic analysis of information flow security with mutable state JFP 2005
- A uniform type structure for secure information flow TOPLAS 2007
- A uniform type structure for secure information flow POPL 2002