Specification and Checking of Software Contracts for Conditional Information Flow
- 23 January 2010
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A logic for information flow analysis with an application to forward slicing of simple imperative programsScience of Computer Programming, 2007
- Efficient path conditions in dependence graphs for software safety analysisACM Transactions on Software Engineering and Methodology, 2006
- Secure Information Flow as a Safety ProblemLecture Notes in Computer Science, 2005
- ESC/Java2: Uniting ESC/Java and JMLLecture Notes in Computer Science, 2005
- The Spec# Programming System: An OverviewLecture Notes in Computer Science, 2005
- Stack-based access control and secure information flowJournal of Functional Programming, 2005
- Information Flow Analysis in Logical FormLecture Notes in Computer Science, 2004
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992
- Information-flow and data-flow analysis of while-programsACM Transactions on Programming Languages and Systems, 1985
- Design and verification of secure systemsACM SIGOPS Operating Systems Review, 1981