eprintid: 338
rev_number: 12
eprint_status: archive
userid: 32
dir: disk0/00/00/03/38
datestamp: 2011-06-09 09:55:06
lastmod: 2014-01-15 10:23:07
status_changed: 2011-06-09 09:55:06
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Ferrari, GianLuigi
creators_name: Pugliese, Rosario
creators_name: Venneri, Betti
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: Types for access control
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Network aware programming; Mobile agents; Coordination; Type systems; Access control
abstract: Klaim is an experimental programming language that supports a programming paradigm where both processes and data can be moved across different computing environments. The language relies on the use of explicit localities, and on allocation environments that associate logical localities to physical sites. This paper presents the mathematical foundations of the Klaim type system; this system permits checking statically the access rights violations of mobile agents. Types are used to describe the intentions (read, write, execute, ...) of processes relative to the different localities that they are willing to interact with, or that they want to migrate to. Type checking then determines whether processes comply with the declared intentions, and whether they have been assigned the necessary rights to perform the intended operations at the specified localities. The Klaim type system encompasses both subtyping and recursively defined types. The former occurs naturally when considering hierarchies of access rights, while the latters are needed to model migration of recursive processes. 
date: 2000
date_type: published
publication: Theoretical Computer Science
volume: 240
number: 1
publisher: Elsevier
pagerange: 215-254
id_number: 10.1016/S0304-3975(99)00232-7
refereed: TRUE
issn: 0304-3975
official_url: http://www.sciencedirect.com/science/article/pii/S0304397599002327
citation:   De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario and Venneri, Betti  Types for access control.  Theoretical Computer Science, 240 (1).  pp. 215-254.  ISSN 0304-3975      (2000)