TY  - CHAP
ID  - eprints343
EP  - 146
N2  - 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. 
ED  - Vitek, Jan
ED  - Damsgaard Jensen, Christian
SN  - 3-540-66130-1
T2  - Secure Internet Programming
PB  - Springer
TI  - Types as Specifications of Access Policies
SP  - 118
T3  - Lecture Notes in Computer Science
AV  - none
M1  - 1603
UR  - http://dx.doi.org/10.1007/3-540-48749-2_6
A1  - De Nicola, Rocco
A1  - Ferrari, GianLuigi
A1  - Pugliese, Rosario
Y1  - 1999///
ER  -