Francisco Martins, Antonio Ravara  Home/Search
Context
Related
| mikado.di.fc.ul.pt...controllsdpi.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
0.7: History-Based Access Control for Distributed Processes - Martins, Vasconcelos (Correct)
0.5: Static Control of Code Migration - Francisco Martins And (Correct)
0.5: Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
Similar documents based on text: More All
0.7: Andrei Sabelfeld (Editor) - Turku Centre Computer (Correct)
0.2: A Lexically Scoped Distributed Pi-Calculus - Ravara, Matos, Vasconcelos, Lopes (2002) (Correct)
0.2: Lexically Scoped Distribution: What You See is What You.. - Ravara, Matos.. (2003) (Correct)
BibTeX entry: (Update)
@misc{ martins-typing,
author = "Francisco Martins and Antonio Ravara",
title = "Typing Migration Control in lsdπ",
url = "citeseer.ist.psu.edu/728485.html" }
Citations (may not include all citations):297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
167 Resource access control in systems of mobile agents - Hennessy, Riely - 2002
149 calculus: A tutorial (context) - Milner - 1993
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
49 Theoretical Computer Science (context) - De Nicola, Ferrari et al. - 2000 ACM
32 Towards a behavioural theory of access and mobility control .. (context) - Hennessy, Merro et al. - 2003 DBLP
18 Distribution and mobility with lexical scoping - Vasconcelos, Lopes et al. - 1998
18 Resource access and mobility control with dynamic privileges.. - Gorla, Pugliese - 2003 DBLP
8 Models of distribution and mobility: State of the art (context) - Boudol, Castellani et al. - 2002
5 Controlling security policies in a distributed environment - Martins, Vasconcelos - 2004
3 Lexically scoping distribution: what you see is what you get (context) - Ravara, Matos et al. - 2003
2 A concurrent programming environment with support for distri.. - Lopes, Figueira et al. - 2000
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