Loading...
Please wait, while we are loading the content...
Similar Documents
Constraint-Based Modular Secure Information Flow Inference for Object-Oriented Programs (2008)
| Content Provider | CiteSeerX |
|---|---|
| Researcher | Sun, Qi |
| Abstract | 2008 This thesis addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality and integrity. Existing work on information flow inference for object-oriented languages does not scale due to lack of modularity. In this thesis we present a constraint-based inference system for secure information flow for a Java-like language with method inheritance and override. The inference is inter-procedural and modular: incremental inference can be performed on individual program components, and result used as libraries for other components. The algorithm uses access control information to improve the precision of the inference. The soundness of the inference algorithm is formally proved. A compiler with a built-in inferencer, SecJ, is implemented to perform the security check on a subset of Java. |
| File Format | |
| Publisher Date | 2008-01-01 |
| Access Restriction | Open |
| Subject Keyword | Java-like Language Security Check Object-oriented Program Inference Algorithm Secure Information Flow Constraint-based Inference System Object-oriented Language Method Inheritance Individual Program Component Built-in Inferencer Access Control Information Incremental Inference Information Flow Policy Information Flow Inference |
| Content Type | Text |
| Resource Type | Thesis |
