Jan Vitek, Giuseppe Castagna  Home/Search
Context Related
| ens.fr/pub/dmi/users/casta...seal.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: ens.fr/~castagna/pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The Seal calculus is a distributed process calculus with localities and mobility of computational entities called seals. Seal is also a framework for writing secure distributed applications over large scale open networks such as the Internet. This paper motivates our design choices, presents the syntax and reduction semantics of the calculus, and demonstrates its expressiveness by examples focused on security and management distributed systems. 1 Introduction Advances in computer... (Update)
Cited by: More
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (Correct)
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (Correct)
Bisimulation Congruences for Homer - a calculus of.. - Hildebrandt.. (2004) (Correct)
Similar documents (at the sentence level):
44.9%: A Calculus of Secure Mobile Computations - Vitek, Castagna (1998) (Correct)
26.1%: Commitment and confinement for the Seal calculus - Castagna, Vitek (Correct)
Active bibliography (related documents): More All
0.5: Control Networks - Beldiman (1998) (Correct)
0.3: Kinded Parameteric Overloading - Duggan, Ophel (1994) (Correct)
0.3: On Binary Methods - Bruce, Cardelli, Castagna, Group.. (1995) (Correct)
Similar documents based on text: More All
0.5: Towards a Calculus of Secure Mobile Computations - Vitek, Castagna (1998) (Correct)
0.4: Typing mobility in the Seal Calculus - Giuseppe Castagna Giorgio (2001) (Correct)
0.3: Tamper Detection for Waste Managers - Author Roger Johnston (Correct)
Related documents from co-citation: More All
58: Mobile ambients - Cardelli, Gordon - 1998
46: Controlling interference in ambients - Levi, Sangiorgi - 2000
36: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
BibTeX entry: (Update)
J. Vitek and G. Castagna. Seal: A framework for secure mobile computations. In Proc. Internet Programming Languages. Springer Verlag, 1999. To appear. http://citeseer.ist.psu.edu/vitek99seal.html More
@article{ vitek99seal,
author = "Jan Vitek and Giuseppe Castagna",
title = "Seal: {A} Framework for Secure Mobile Computations",
journal = "Lecture Notes in Computer Science",
volume = "1686",
pages = "47--??",
year = "1999",
url = "citeseer.ist.psu.edu/vitek99seal.html" }
Citations (may not include all citations):673 Actors -- A model of concurrent computation in distributed s.. (context) - Agha - 1986
410 Mobile Ambients - Cardelli, Gordon - 1998
404 A calculus for cryptographic protocols: The Spi calculus - Abadi, Gordon - 1997
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
248 Expressing Mobility (context) - Sangiorgi - 1993
134 Generative communication in Linda (context) - Gelernter - 1985
115 An asynchronous model of locality (context) - Amadio - 1997
92 Microkernels Meet Recursive Virtual Machines - Ford, Hibler et al. - 1996
74 Abstractions for mobile computation - Cardelli - 1999
73 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier
68 Flexible alias protection - Noble, Vitek et al. - 1998
65 A note on distributed computing - Waldo, Wyant et al. - 1997
62 A calculus of Higher Order Communicating Systems (context) - Thomsen
42 Distributed processes and location failures - Riely, Hennessy
39 Secure composition of insecure components - Sewell, Vitek - 1999
39 local subtyping and capability inference for a distributed -.. (context) - Sewell
38 Type-safe execution of mobile agents in anonymous networks - Hennessy, Riely - 1998
32 Location independence for mobile agents - Sewell, Wojciechowski et al. - 1998
28 Coordinating mobile agents via blackboards and access rights (context) - De Nicola, Ferrari et al. - 1997
24 What Good are Models and What Models are Good (context) - Schneider - 1993
22 A second generation calculus for higher order processes (context) - Thomsen - 1993
18 INRIA Sofia-Antipolis (context) - Boudol, the et al. - 1992
14 Designing JavaSeal: or How to make Java safe for agents (context) - Vitek, Bryce et al. - 1998
13 Locality based Linda: programming with explicit localities (context) - De Nicola, Ferrari et al. - 1997
11 Cyclic distributed garbage collection with group merger - Rodrigues, Jones - 1998
10 volume 715 of Lecture Notes in Computer Science (context) - Best, CONCUR' et al. - 1993
9 the reduction of CHOCS bisimulation to -calculus bisimulatio.. (context) - Amadio - 1993
8 Mobile processes with a distributed environment - Bodei, Degano et al. - 1996
6 volume 1256 of Lecture Notes in Computer Science (context) - Degano, Gorrieri et al. - 1997
4 Language and runtime support for dynamic interposition of sy.. - Pardyak, Savage et al. - 1995
4 volume 1443 of Lecture Notes in Computer Science (context) - Larsen, Skyum et al. - 1998
3 Laboratoire d'Informatique de l' ' Ecole Normale Sup'erieure (context) - Castagna, Vitek et al. - 1999
2 volume 1099 of Lecture Notes in Computer Science (context) - der Heide, Monien et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ens.fr/~castagna/pub.html):
Integration of Parametric and "ad Hoc" Second Order Polymorphism .. - Castagna (1995) (Correct)
A Typed Lambda Calculus of Objects - Exte Nd Ed (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