en
Book chapter
Open access
English

Confined Types

Published inTrusted objects = Objets de confiance, Editors Tsichritzis, Dionysios, p. 171-198
PublisherGenève : Centre universitaire d'informatique
Publication date1999-07
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 serious problems for writing secure components. In this paper, we present a set of inexpensive syntactic constraints that strengthen encapsulation in object-oriented programs and facilitate the implementation of secure systems. We introduce two mechanisms: confined types to impose static scoping on dynamic object references and anonymous 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.

eng
Citation (ISO format)
BOKOWSKI, Boris, VITEK, Jan. Confined Types. In: Trusted objects = Objets de confiance. Genève : Centre universitaire d’informatique, 1999. p. 171–198.
Main files (1)
Book chapter (Published version)
Identifiers
  • PID : unige:155915
90views
42downloads

Technical informations

Creation11/02/2021 10:17:00 AM
First validation11/02/2021 10:17:00 AM
Update time03/16/2023 1:41:07 AM
Status update03/16/2023 1:41:06 AM
Last indexation02/12/2024 12:13:26 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack