Sciweavers

SAS
2004
Springer

Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language

14 years 5 months ago
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality and integrity. Policy is specified using security types. An algorithm that infers such security types in a modular manner is presented. The specification of the algorithm involves inference for libraries. Library classes and methods maybe parameterized by security levels. It is shown how modular inference is achieved in the presence of method inheritance and override. Soundness and completeness theorems for the inference algorithm are given.
Qi Sun, Anindya Banerjee, David A. Naumann
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where SAS
Authors Qi Sun, Anindya Banerjee, David A. Naumann
Comments (0)