Logo eprints

Programming Access Control: The KLAIM Experience

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Programming Access Control: The KLAIM Experience. In: CONCUR 2000 — Concurrency Theory. Lecture Notes in Computer Science, 1877 . Springer, pp. 48-65. ISBN 3-540-67897-2 (2000)

Full text not available from this repository.

Abstract

In the design of programming languages for highly distributed systems where processes can migrate and execute on new hosts, the integration of security mechanisms is a major challenge. In this paper, we report our experience in the design of an experimental programming language, called Klaim, which provides mechanisms to customize access control policies. Klaim security architecture exploits a capability-based type system to provide mechanisms for specifying and enforcing policies that control uses of resources and authorize migration and execution of processes. By means of a few programming examples, we illustrate the flexibility of the Klaim approach to support the specification of control policies and to guarantee their enforcement.

Item Type: Book Section
Identification Number: 10.1007/3-540-44618-4_5
Subjects: Q Science > Q Science (General)
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 06 Jun 2011 15:00
Last Modified: 15 Jan 2014 10:30
URI: http://eprints.imtlucca.it/id/eprint/333

Actions (login required)

Edit Item Edit Item