TY  - CHAP
ID  - eprints333
EP  - 65
T2  - CONCUR 2000 ? Concurrency Theory
AV  - none
TI  - Programming Access Control: The KLAIM Experience
UR  - http://dx.doi.org/10.1007/3-540-44618-4_5
SN  - 3-540-67897-2
M1  - 1877
N2  - 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.

ED  - Palamidessi, Catuscia
Y1  - 2000///
PB  - Springer
A1  - De Nicola, Rocco
A1  - Ferrari, GianLuigi
A1  - Pugliese, Rosario
T3  - Lecture Notes in Computer Science
SP  - 48
ER  -