eprintid: 343
rev_number: 11
eprint_status: archive
userid: 32
dir: disk0/00/00/03/43
datestamp: 2011-06-06 14:02:38
lastmod: 2014-01-15 10:31:44
status_changed: 2011-06-06 14:02:38
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Ferrari, GianLuigi
creators_name: Pugliese, Rosario
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
title: Types as Specifications of Access Policies
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: 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. 
date: 1999
date_type: published
series: Lecture Notes in Computer Science
volume: 1603
publisher: Springer
pagerange: 118-146
id_number: 10.1007/3-540-48749-2_6
refereed: TRUE
isbn: 3-540-66130-1
book_title: Secure Internet Programming
editors_name: Vitek, Jan
editors_name: Damsgaard Jensen, Christian
official_url: http://dx.doi.org/10.1007/3-540-48749-2_6
citation:   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)