Daniele Gorla, Matthew Hennessy, Vladimiro Sassone  Home/Search
Context Related
| informatics.sussex.ac.uk...membSubm.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: informatics.sussex.ac.uk/users... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a simple global computing framework, whose main concern is code migration. (Update)
Cited by: More
Security Policies as Membranes in Systems for Global Computing - Gorla, al. (2004) (Correct)
Active bibliography (related documents): More All
0.4: A Survey of Some Implementation Techniques for Security Membranes - Lacoste (Correct)
0.3: The Kell calculus: operational semantics and type system - Bidinger, Stefani (Correct)
0.3: Ambient Calculi with Types: a Tutorial - Giovannetti (2003) (Correct)
Similar documents based on text: More All
0.4: A Distributed Calculus for R ole-Based Access Control - Chiara Braghin Univ (2004) (Correct)
0.2: The Klaim Project: Theory and Practice - Lorenzo Bettini Viviana (2003) (Correct)
0.2: Confining Data and Processes in Global Computing Applications - De Nicola, Gorla, Pugliese (Correct)
BibTeX entry: (Update)
D. Gorla, M. Hennessy, and V. Sassone. Security policies as membranes in systems for global computing. Full version of this paper, available as Computer Science Research Report 02/2004, Dept. of Informatics, Univ. of Sussex (UK). http://citeseer.ist.psu.edu/article/gorla04security.html More
@misc{ gorla04security,
author = "D. Gorla and M. Hennessy and V. Sassone",
title = "Security policies as membranes in systems for global computing",
text = "D. Gorla, M. Hennessy, and V. Sassone. Security policies as membranes in
systems for global computing. Full version of this paper, available as Computer
Science Research Report 02/2004, Dept. of Informatics, Univ. of Sussex (UK).",
year = "2004",
url = "citeseer.ist.psu.edu/article/gorla04security.html" }
Citations (may not include all citations):1911 Introduction to automata theory (context) - Hopcroft, Ullman - 1979
566 Proof-Carrying Code - Necula - 1997 ACM DBLP
484 A Calculus for Communicating Systems (context) - Milner - 1982
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
178 Communicating and Mobile Systems: the #-Calculus (context) - Milner - 1999
167 Resource Access Control in Systems of Mobile Agents - Hennessy, Riely - 2002 ACM DBLP
109 Theoretical Computer Science (context) - Cardelli, Gordon - 2000 ACM
109 Theoretical Computer Science (context) - Riely, Hennessy et al. - 2001 ACM
81 SASI Enforcement of Security Policies: A Retrospective - Erlingsson, Schneider - 1999
75 Trust and partial typing in open systems of mobile agents - Riely, Hennessy - 1999 ACM DBLP
42 Theoretical Computer Science (context) - Amadio, mobility - 2000 ACM
37 A generic type system for the pi-calculus - Igarashi, Kobayashi - 2001 ACM DBLP
35 calculus: a higher-order distributed process calculus (context) - Schmitt, Stefani - 2003
18 Resource access and mobility control with dynamic privileges.. - Gorla, Pugliese - 2003 DBLP
3 A generic membrane model - Boudol - 2004
3 A calculus of Kells - Stefani - 2003
2 Concurrent regular expressions and their replationship to Pe.. (context) - Garg, Raghunath - 1992
2 A typed static analysis for a concurrent policy based resour.. (context) - Nguyen, Rathke - 2004
http://www.dsi.uniroma1.it/
Documents on the same site (http://www.informatics.sussex.ac.uk/users/vs/research/): More
A Calculus for Trust Management - Carbone, Nielsen, Sassone (Correct)
Jeeg: A Programming Language for Concurrent Objects.. - Milicia, Sassone (2002) (Correct)
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (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