Loading...
Please wait, while we are loading the content...
Similar Documents
Composing polymorphic information flow systems with reference immutability
| Content Provider | ACM Digital Library |
|---|---|
| Author | Huang, Wei Milanova, Ana |
| Abstract | Information flow type systems, such as EnerJ (a type system for energy efficiency), and integrity and confidentiality, are unsound if subtyping for references is allowed because of the presence of mutable references. The standard approach is to disallow subtyping for references, or in other words, replace subtyping constraints with equality constraints. Unfortunately, this often leads to imprecision, causing the type system to reject valid programs. We observe that subtyping is safe when the left-hand-side of the assignment is immutable. Therefore, we compose information flow systems with reference immutability, which allows for limited subtyping for references. We infer types with the standard approach (i.e., no subtyping for references), and with the composition approach on 13 Java web applications. The composition approach achieves at least 20% precision improvement over the standard approach. |
| Starting Page | 1 |
| Ending Page | 7 |
| Page Count | 7 |
| File Format | |
| ISBN | 9781450320429 |
| DOI | 10.1145/2489804.2489809 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2013-07-01 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Information flow Inference Reference immutability |
| Content Type | Text |
| Resource Type | Article |
