Loading...
Please wait, while we are loading the content...
Similar Documents
JFlow: Practical Mostly-Static Information Flow Control (1999)
| Content Provider | CiteSeerX |
|---|---|
| Author | Myers, Andrew C. |
| Description | A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work has proposed programming language extensions to allow this static checking, the resulting languages are too restrictive for practical use and have not been implemented. In this paper, we describe the new language JFlow, an extension to the Java language that adds statically-checked information flow annotations. JFlow provides several new features that make information flow checking more flexible and convenient than in previous models: a decentralized label model, label polymorphism, run-time label checking, and automatic label inference. JFlow also supports many language features that have never been integrated successfully with static information flow control, including objects, subclassing, dynamic type tests, access control, and exceptions. This paper defines the JFlow language and presents formal rules tha... In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL |
| File Format | |
| Language | English |
| Publisher Date | 1999-01-01 |
| Access Restriction | Open |
| Subject Keyword | Language Extension Practical Mostly-static Information Flow Control Information Flow Label Model Resulting Language Present Formal Rule Statically-checked Information Flow Annotation Previous Model Access Control Promising Technique Static Information Flow Control Previous Work New Language Jflow Automatic Label Inference Several New Feature Jflow Language Run-time Label Checking Label Polymorphism Sensitive Data Static Checking Practical Use Many Language Feature Java Language Dynamic Type Test |
| Content Type | Text |
| Resource Type | Article |
