See this document in CiteSeerX!

Typing Migration Control in lsdπ  (Make Corrections)  
Francisco Martins, Antonio Ravara



  Home/Search   Context   Related

 
View or download:
mikado.di.fc.ul.pt...controllsdpi.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mikado.di.fc.ul.pt/o...papers.php (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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