@inbook{7d40765690ed43dfbfa0efb3dd01866a,
title = "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.",
author = "Qi Sun and Anindya Banerjee and Naumann, {David A.}",
year = "2004",
doi = "10.1007/978-3-540-27864-1_9",
language = "English",
isbn = "9783540278641",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "84--99",
editor = "Roberto Giacobazzi",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}