Francisco Martins and Ant onio Ravara Departamento de Matem atica,...  Home/Search
Context
Related
| mikado.di.fc.ul.pt...codemigration.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: mikado.di.fc.ul.pt/o...papers.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a type system to control the migration of code between sites in a concurrent distributed framework. The type system constitutes a decidable mechanism to ensure specific security policies, which control remote communication, process migration, and channel creation. The approach is as follows: each network administrator specifies sites privileges, and a type system checks that the processes running at those sites, as well as the composition of the sites, respect these... (Update)
Active bibliography (related documents): More All
1.0: History-Based Access Control for Distributed Processes - Martins, Vasconcelos (Correct)
0.5: Typing Migration Control in lsdπ - Martins, Ravara (Correct)
0.2: IMC: Flexible Communication Protocol Support for Implementing.. - Lacoste (Correct)
Similar documents based on text: More All
0.6: Andrei Sabelfeld (Editor) - Turku Centre Computer (Correct)
0.4: TyCO + Linear channels - Martins, Vasconcelos (2001) (Correct)
0.3: Unknown - Mikado Koncurrent Objects (Correct)
BibTeX entry: (Update)
@misc{ and-static,
author = "Francisco Martins And",
title = "Static Control of Code Migration",
url = "citeseer.ist.psu.edu/727690.html" }
Citations (may not include all citations):297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
264 A language with distributed scope - Cardelli - 1995
167 Resource access control in systems of mobile agents - Hennessy, Riely - 2002
149 calculus: A tutorial (context) - Milner - 1993
137 Introduction to Combinators and #-Calculus (context) - Hindley, Seldin - 1986
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
49 Theoretical Computer Science (context) - De Nicola, Ferrari et al. - 2000
45 Asynchrony and the #-calculus (context) - Boudol - 1992
18 Resource access and mobility control with dynamic privileges.. - Gorla, Pugliese - 2003
8 Models of distribution and mobility: State of the art (context) - Boudol, Castellani et al. - 2002
3 Lexically scoping distribution: what you see is what you get (context) - Ravara, Matos et al. - 2003
2 Typing migration control in lsd (context) - Martins, Ravara - 2004
Documents on the same site (http://mikado.di.fc.ul.pt/output/papers.php): More
Global Computing in a Dynamic Network of Tuple Spaces - De Nicola, Gorla, Pugliese (2005) (Correct)
Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002) (Correct)
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (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