Book chapter
OA Policy
English

Confined Types

Published inTsichritzis, Dionysios (Ed.), Trusted objects = Objets de confiance, 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.

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

Technical informations

Creation02/11/2021 10:17:00
First validation02/11/2021 10:17:00
Update time16/03/2023 01:41:07
Status update16/03/2023 01:41:06
Last indexation31/10/2024 23:35:52
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack