Daniele Gorla, Rosario Pugliese  Home/Search
Context Related
Links: DBLP | gdn.dsi.unifi.it/~gorla/....ICALP03.pdf 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: gdn.dsi.unifi.it/~...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Klaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present the language and a type system for controlling the activities, e.g. access to resources and mobility, of the processes in a net. By dealing with privileges acquisition, the type system enables dynamic variations of security policies. We exploit a combination of static and dynamic type checking, and of in-lined... (Update)
Cited by: More
On the Expressive Power of Klaim-based Calculi - De Nicola, Gorla, al. (2004) (Correct)
Security Policies as Membranes in Systems for Global.. - Gorla, Hennessy, Sassone (2004) (Correct)
Typing Migration Control in lsdπ - Martins, Ravara (Correct)
Similar documents (at the sentence level):
33.6%: Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (Correct)
29.2%: Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (Correct)
9.7%: Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (Correct)
Active bibliography (related documents): More All
0.4: The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (Correct)
0.2: Controlling Data Movement in Global Computing Applications - Daniele Gorla Rosario (2004) (Correct)
0.2: A Semantic Theory for Global Computing Systems - Gorla, Pugliese (2004) (Correct)
Similar documents based on text: More All
0.6: X-Klaim and Klava: Programming Mobile Code - Bettini, De Nicola, Pugliese (2001) (Correct)
0.6: Interactive Mobile Agents in X-KLAIM - Bettini, De Nicola, Publiese.. (1998) (Correct)
Related documents from co-citation: More All
15: Resource access control in systems of mobile agents - Hennessy, Riely - 1998
12: KLAIM: A kernel Language for Agents Interaction and Mobility - DeNicola, Ferrari et al. - 1998
12: Theoretical Computer Science (context) - Cardelli, Gordon - 2000
BibTeX entry: (Update)
D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. Research report, Dipartimento di Sistemi e Informatica, Universita di Firenze, 2003. Available at http://rap.dsi.unifi.it/~pugliese/DOWNLOAD/muklaim-full.pdf. http://citeseer.ist.psu.edu/article/gorla03resource.html More
@misc{ gorla03resource,
author = "D. Gorla and R. Pugliese",
title = "Resource access and mobility control with dynamic privileges acquisition",
text = "D. Gorla and R. Pugliese. Resource access and mobility control with dynamic
privileges acquisition. Research report, Dipartimento di Sistemi e Informatica,
Universita di Firenze, 2003. Available at http://rap.dsi.unifi.it/~pugliese/DOWNLOAD/muklaim-full.pdf.",
year = "2003",
url = "citeseer.ist.psu.edu/article/gorla03resource.html" }
Citations (may not include all citations):167 Resource Access Control in Systems of Mobile Agents - Hennessy, Riely - 2002 ACM DBLP
144 Controlling interference in ambients - Levi, Sangiorgi - 2000 ACM DBLP
126 Types for mobile ambients - Cardelli, Gordon - 1999
117 Klaim: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari et al. - 1998 DBLP
89 Lime: Linda Meets Mobility - Picco, Murphy et al. - 1999 DBLP
75 Trust and partial typing in open systems of mobile agents - Riely, Hennessy - 2003 ACM DBLP
69 Boxed ambients - Bugliesi, Castagna et al. - 2001 ACM DBLP
57 Subtyping and locality in distributed higher order processes - Yoshida, Hennessy - 1999
50 Information and Computation (context) - Cardelli, Ghelli et al. - 2002 DBLP
49 Theoretical Computer Science (context) - De Nicola, Ferrari et al. - 2000 ACM
38 Patterns and Practice (context) - Arnold, Freeman et al. - 1999
38 Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely - 1999 ACM DBLP
36 Assigning types to processes - Yoshida, Hennessy - 2000 ACM DBLP
33 Coordinating multiagent applications on the WWW: A reference.. - Ciancarini, Tolksdorf et al. - 1998
33 Coordination for internet application development (context) - Omicini, Zambonelli - 1999 ACM DBLP
31 IBM Systems Journal (context) - Wycko, McLaughry et al. - 1998
22 Security types for mobile safe ambients (context) - Dezani-Ciancaglini, Salvo - 2000 ACM DBLP
22 Reasoning about security in mobile ambients - Bugliesi, Castagna et al. - 2001
21 Typing mobility in the seal calculus - Castagna, Ghelli et al. - 2001 ACM DBLP
18 Resource access and mobility control with dynamic privileges.. - Gorla, Pugliese - 2003 DBLP
17 WCL: A web co-ordination language (context) - Rowstron - 1998
14 Choosing a Mobile Agent Messaging Model (context) - Deugo - 2001
13 Klava: a Java Package for Distributed and Mobile Application.. (context) - Bettini, De Nicola et al. - 2002 DBLP
5 Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://gdn.dsi.unifi.it/~gorla/publications.htm): More
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (Correct)
Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002) (Correct)
Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (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