Daniele Gorla, Rosario Pugliese  Home/Search
Context Related
Links: DBLP | gdn.dsi.unifi.it/~go...muklaimfull.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. (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):
29.7%: Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (Correct)
12.9%: Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (Correct)
5.8%: Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (Correct)
Active bibliography (related documents): More All
0.8: Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
0.7: The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (Correct)
0.6: Guardians for Ambient-Based Monitoring - Ferrari, Moggi, Pugliese (2002) (Correct)
Similar documents based on text: More All
0.8: A Semantic Theory for Global Computing Systems - Gorla, Pugliese (2004) (Correct)
0.6: X-Klaim and Klava: Programming Mobile Code - Bettini, De Nicola, Pugliese (2001) (Correct)
0.5: 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):566 Proof-Carrying Code - Necula - 1997 ACM DBLP
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
167 Resource Access Control in Systems of Mobile Agents - Hennessy, Riely - 2002 ACM DBLP
144 Controlling interference in ambients - Levi, Sangiorgi ACM DBLP
126 Types for mobile ambients - Cardelli, Gordon ACM DBLP
117 Klaim: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari et al. - 1998 DBLP
109 Theoretical Computer Science (context) - Cardelli, Gordon - 1998 ACM
105 Multiple Tuple Spaces in Linda (context) - Gelernter - 1989 ACM DBLP
89 Lime: Linda Meets Mobility - Picco, Murphy et al. - 1999 DBLP
88 Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999 ACM DBLP
75 Trust and partial typing in open systems of mobile agents - Riely, Hennessy ACM DBLP
72 Ambient groups and mobility types - Cardelli, Ghelli et al. - 2000 ACM DBLP
69 Boxed ambients - Bugliesi, Castagna et al. - 2001 ACM DBLP
61 Inside Java 2 platform security: architecture (context) - Gong - 1999
57 Subtyping and locality in distributed higher order processes - Yoshida, Hennessy - 1999
49 Theoretical Computer Science (context) - De Nicola, Ferrari et al. - 2000 ACM
42 Globallocal subtyping and capability inference distributed p.. - local, capability et al. - 1998
41 Javaspace specification - Microsystems - 1999
38 Patterns and Practice (context) - Arnold, Freeman et al. - 1999
38 Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely ACM DBLP
37 resource access in the asynchronous pi-calculus (context) - Hennessy, Riely et al. - 2000
36 Assigning types to processes - Yoshida, Hennessy - 1999 ACM DBLP
34 A language-based approach to security - Schneider, Morrisett et al. - 2000 ACM DBLP
34 Validating firewalls in mobile ambients - Nielson, Nielson et al. - 1999 ACM DBLP
33 Coordinating multiagent applications on the WWW: A reference.. - Ciancarini, Tolksdorf et al. - 1998
31 IBM Systems Journal (context) - Wycko, McLaughry et al. - 1998
30 Safe ambients: Control flow analysis and security - Degano, Levi et al. - 2000 DBLP
30 Shape analysis for mobile ambients - Nielson, Nielson ACM DBLP
22 Reasoning about security in mobile ambients - Bugliesi, Castagna et al. - 2001 ACM DBLP
22 Security types for mobile safe ambients (context) - Dezani-Ciancaglini, Salvo - 2000 ACM DBLP
21 Typing mobility in the seal calculus - Castagna, Ghelli et al. - 2001 ACM DBLP
18 The ShaPE of ShaDE: a coordination system - Castellani, Ciancarini et al. - 1996 ACM
17 WCL: A web co-ordination language (context) - Rowstron - 1998
14 Choosing a Mobile Agent Messaging Model (context) - Deugo - 2001
13 Types for the ambient calculus - Cardelli, Ghelli et al. - 2002 ACM DBLP
13 Special Issue on Coordination Mechanisms and Patterns for We.. (context) - Omicini, Zambonelli et al. - 1999
13 Klava: a Java Package for Distributed and Mobile Application.. (context) - Bettini, De Nicola et al. - 2002 DBLP
10 Confined mobile functions (context) - Kirli - 2001
8 Programming Access Control: The Klaim Experience - De Nicola, Ferrari et al. - 2000 DBLP
6 Securing Java (context) - Graw, Felten - 1999 ACM
6 imbo: a tuple space based platform for adaptive mobile appli.. (context) - Davies, Wade et al. - 1997
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
Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002) (Correct)
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (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