Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese  Home/Search
Context Related
| rap.dsi.unifi.it/pub/p...concur00.ps.gz music.dsi.unifi.it/pap...concur00.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: music.dsi.unifi.it/klaim (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . 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 ... (Update)
Context of citations to this paper: More
.... by exploiting Java and has proved to be suitable for programming a wide range of distributed applications with agents and code mobility [16, 17]. In conclusion, we think it is worthwhile to investigate the Klaim programming model, also because its peculiarity of not relying on...
.... join calculus with failures [13] embody both process mobility and failure detection; other calculi, such as the D calculus [16] and KLAIM [9], provide both process mobility and access control. In our view, these calculi remain unsatisfactory: while they may succeed in...
Cited by: More
On the Expressive Power of Klaim-based Calculi - De Nicola, Gorla, al. (2004) (Correct)
The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (Correct)
Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (Correct)
Similar documents (at the sentence level):
38.8%: Secure Programming in KLAIM - De Nicola, Ferrari, Pugliese (Correct)
13.6%: Types as Specifications of Access Policies - De Nicola, Ferrari, Pugliese (1999) (Correct)
Active bibliography (related documents): More All
0.8: Types for Access Control - De Nicola, Ferrari, Pugliese, Venneri (Correct)
0.5: Programming for Pervasive Computing Environments - Grimm, Davis, Lemar.. (2001) (Correct)
0.5: Security in Active Networks - Alexander (1999) (Correct)
Similar documents based on text: More All
0.9: KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari.. (1998) (Correct)
0.7: X-Klaim and Klava: Programming Mobile Code - Bettini, De Nicola, Pugliese (2001) (Correct)
0.7: Foundational Calculi for Network Aware Programming - An.. - Ferrari, Pugliese (Correct)
Related documents from co-citation: More All
7: Resource access control in systems of mobile agents - Hennessy, Riely - 1998
5: Controlling interference in ambients - Levi, Sangiorgi - 2000
4: Klava: a Java Package for Distributed and Mobile Applications (context) - Bettini, De Nicola et al. - 2002
BibTeX entry: (Update)
N. De Nicola, G.L. Ferrari, R. Pugliese : "Programming Access Control: The KLAIM Experience" -- in Proceedings CONCUR http://citeseer.ist.psu.edu/318456.html More
@article{ denicola00programming,
author = "Rocco De Nicola and GianLuigi Ferrari and Rosario Pugliese",
title = "Programming Access Control: The {KLAIM Experience}",
journal = "Lecture Notes in Computer Science",
volume = "1877",
pages = "48--??",
year = "2000",
url = "citeseer.ist.psu.edu/318456.html" }
Citations (may not include all citations):375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
309 Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
139 Secure Information Flow in a Multi-threaded Imperative Langu.. - Volpano, Smith - 1998
120 IEEE Transactions on Software Engineering (context) - Fuggetta, Picco et al. - 1998
77 The Jini specification (context) - Arnold, Osullivan et al. - 1999
75 Trust and Partial Typing in Open Systems of Mobile Agents - Riely, Hennessy - 1999
50 Parallel Programming in Linda (context) - Gelernter, Carriero et al. - 1985
41 The JavaSpace Specifications - Microsystems - 1997
31 Typing the use of resources in a Concurrent Calculus (context) - Boudol - 1997
31 The Java Security Architecture (context) - Gong - 1998
28 Coordinating Mobile Agents via Blackboards and Access Rights (context) - De Nicola, Ferrari et al. - 1997
26 Klaim: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari et al. - 1998
24 Control Flow Analysis for the - calculus (context) - Bodei, Degano et al. - 1998
21 Theoretical Computer Science (context) - De Nicola, Ferrari et al. - 2000
8 A typed-based approach to program security (context) - Volpano, Smith - 1997
6 the ACM Symposium on Principles of Programming Languages (context) - Necula, Proc - 1997
5 the ACM Symposium on Principles of Programming Languages (context) - Cardelli, Gordon et al. - 1999
5 Foundations of Software Science and Computation Structures (context) - Cardelli, Gordon et al. - 1998
3 IEEE Seventh International Workshop on Enabling Technologies.. (context) - Bettini, De Nicola et al. - 1998
3 A Type System for Java Bytecode Verifier (context) - Stata, Abadi - 1998
3 of Workshop on Internet Programming Languages (context) - Vitek, Castagna et al. - 1998
2 Mobile Types for Mobile Ambients To appear ICALP (context) - Cardelli, Ghelli et al. - 1999
2 Types as Specifications of Access Policies (context) - De Nicola, Ferrari et al.
2 Secure Internet Programming: Security Issues for Distributed.. (context) - Vitek, Jensen - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://music.dsi.unifi.it/klaim.html): More
A Modal Logic for KLAIM - De Nicola, Loreti (1998) (Correct)
Types as Specifications of Access Policies - De Nicola, Ferrari, Pugliese (1999) (Correct)
Mobile Applications in X-KLAIM - Bettini, De Nicola, Ferrari, Pugliese (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC