Daniele Gorla, Rosario Pugliese  Home/Search
Context Related
| 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: We introduce a process language that permits modelling networks of immobile and mobile components, i.e. nodes and processes, 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):
22.3%: Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (Correct)
6.3%: Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (Correct)
Active bibliography (related documents): More All
0.8: The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (Correct)
0.8: A Semantic Theory for Global Computing Systems - Gorla, Pugliese (2004) (Correct)
0.7: Controlling Data Movement in Global Computing Applications - Daniele Gorla Rosario (2004) (Correct)
Similar documents based on text: More All
0.5: Global Computing in a Dynamic Network of Tuple Spaces - De Nicola, Gorla, Pugliese (2005) (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/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/gorla03resource.html" }
Citations (may not include all citations):566 Proof-Carrying Code - Necula - 1997
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
167 Resource Access Control in Systems of Mobile Agents - Hennessy, Riely - 2002
144 Controlling interference in ambients - Levi, Sangiorgi
117 Klaim: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari et al. - 1998
105 Multiple Tuple Spaces in Linda (context) - Gelernter - 1989
89 Lime: Linda Meets Mobility - Picco, Murphy et al. - 1999
75 Trust and partial typing in open systems of mobile agents - Riely, Hennessy - 2003
69 Boxed ambients - Bugliesi, Castagna et al. - 2001
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
42 Globallocal subtyping and capability inference distributed p.. - local, capability et al. - 1998
41 Javaspace specification - Microsystems - 1999
38 Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely - 1999
38 Patterns and Practice (context) - Arnold, Freeman et al. - 1999
37 resource access in the asynchronous pi-calculus (context) - Hennessy, Riely et al. - 2000
34 Validating firewalls in mobile ambients - Nielson, Nielson et al. - 1999
34 A language-based approach to security - Schneider, Morrisett et al. - 2000
33 Coordinating multiagent applications on the WWW: A reference.. - Ciancarini, Tolksdorf et al. - 1998
32 Towards a behavioural theory of access and mobility control .. (context) - Hennessy, Merro et al. - 2002
31 IBM Systems Journal (context) - Wycko, McLaughry et al. - 1998
30 Shape analysis for mobile ambients - Nielson, Nielson
30 Safe ambients: Control flow analysis and security - Degano, Levi et al. - 1961
22 Security types for mobile safe ambients (context) - Dezani-Ciancaglini, Salvo - 1961
22 Reasoning about security in mobile ambients - Bugliesi, Castagna et al. - 2001
21 Typing mobility in the seal calculus - Castagna, Ghelli et al. - 2001
18 The ShaPE of ShaDE: a coordination system - Castellani, Ciancarini et al. - 1996
17 WCL: A web co-ordination language (context) - Rowstron - 1998
14 Choosing a Mobile Agent Messaging Model (context) - Deugo - 2001
13 Special Issue on Coordination Mechanisms and Patterns for We.. (context) - Omicini, Zambonelli et al. - 1999
13 Types for the ambient calculus - Cardelli, Ghelli et al. - 2002
13 Klava: a Java Package for Distributed and Mobile Application.. (context) - Bettini, De Nicola et al. - 2002
10 Confined mobile functions (context) - Kirli - 2001
8 Programming Access Control: The Klaim Experience - De Nicola, Ferrari et al. - 2000
7 Enforcing Security Policies via Types - Gorla, Pugliese - 2003
6 Information and Computation (context) - Yoshida, Hennessy et al. - 2002
6 imbo: a tuple space based platform for adaptive mobile appli.. (context) - Davies, Wade et al. - 1997
6 Securing Java (context) - Graw, Felten - 1999
6 An introduction to the pi-calculus (context) - Parrow - 2001
4 A Lexically Scoped Distributed #-Calculus (context) - Ravara, Matos et al. - 2002
4 Resource Acces and Mobility Control with Dynamic Privileges .. (context) - Gorla, Pugliese - 2003
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)
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (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