Non-interference for a JVM-like language
Authors:
Open Access
- 10 January 2005
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 103-112
Abstract
We define an information flow type system for a sequential JVM-like language that includes classes, objects, and exceptions. Furthermore, we show that it enforces non-interference. Our work provides, to our best knowledge, the first analysis that has been shown to guarantee non-interference for a realistic low level language.Keywords
This publication has 11 references indexed in Scilit:
- Information Flow Analysis for Java BytecodeLecture Notes in Computer Science, 2005
- Stack-based access control and secure information flowJournal of Functional Programming, 2005
- Security Types Preserving CompilationLecture Notes in Computer Science, 2004
- Java Bytecode Verification: Algorithms and FormalizationsJournal of Automated Reasoning, 2003
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Information flow inference for MLACM Transactions on Programming Languages and Systems, 2003
- Secure Information Flow and CPS2001
- JFlow1999
- From system F to typed assembly language1998
- A unified approach to global program optimization1973