Logo eprints

Types as Specifications of Access Policies

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Types as Specifications of Access Policies. In: Secure Internet Programming. Lecture Notes in Computer Science, 1603 . Springer, pp. 118-146. ISBN 3-540-66130-1 (1999)

Full text not available from this repository.


Mobility is a key concept for network programming; it has stimulated much research about new programming languages and paradigms. In the design of programming languages for mobile agents, i.e. processes which can migrate and execute on new hosts, the integration of security mechanisms is a major challenge. This paper presents the security mechanisms of the programming language Klaim (a Kernel Language for Agents Interaction and Mobility). The language, by making use of a capability-based type system, provides direct support for expressing and enforcing policies that control access to resources and data.

Item Type: Book Section
Identification Number: 10.1007/3-540-48749-2_6
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 06 Jun 2011 14:02
Last Modified: 15 Jan 2014 10:31
URI: http://eprints.imtlucca.it/id/eprint/343

Actions (login required)

Edit Item Edit Item