Logo
LogoUniGeSES

ASG list of publications

Citation

Boris Bokowski , Jan Vitek, "Confined Types", July, 1999

Abstract

Sharing and transfer of references is difficult to control in object-oriented languages. As information security is increasingly becoming software dependent, this difficulty poses se-rious problems for writing secure components. In this paper, we present a set of inexpensive syntactic constraints that strengthen encapsulation in object-oriented programs and facili-tate the implementation of secure systems. We introduce two mechanisms:confined types to impose static scoping on dynamic object references andanonymous methods which do not reveal the identity of the current instance (this). Confined types protect objects from use by untrusted code, while anonymous methods allow standard classes to be reused from confined classes. We have implemented a verifier which performs a modular analysis of Java programs and provides a static guarantee that confinement is respected. We present security related programming examples.

Bibtex

@unpublished{BoVi99,
Author = "Boris Bokowski , Jan Vitek",
Title = "Confined Types",
Key = "osg osg-ftp tr99.10 osg-media osg-asap",
Notes = "",
Month = "July",
Year = "1999"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.