History-Based Access Control for Distributed Processes

Martins, Francisco; Vasconcelos, Vasco T.

doi:10.1007/11580850_7

Cited by 4 publications

(1 citation statement)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This approach is strongly constraining processes and requires higher order actions. In [MV05], access to locations and resources is conditioned by policies based on the history of migrations of the agent.…”

Section: Introductionmentioning

confidence: 99%

Mobility control via passports

Hym¹

2009

Information and Computation

View full text Add to dashboard Cite

International audienceDpi is a simple distributed extension of the pi-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this paper we introduce passports to control those migrations; in order to gain access to a location agents are now expected to show some credentials, granted by the destination location. Passports are tied to specific locations, from which migration is permitted. We describe a type system for these passports, which includes a novel use of dependent types, and prove that well-typing enforces the desired behaviour in migrating processes. Passports allow locations to control incoming processes. This induces a major modification to the possible observations which can be made of agent-based systems. Using the type system we describe these observations, and use them to build a loyal notion of observational equivalence for this setting. Finally we provide a complete proof technique in the form of a bisimilarity for establishing equivalences between systems

show abstract

Section: Introductionmentioning

confidence: 99%

Mobility control via passports

Hym¹

2009

Information and Computation

View full text Add to dashboard Cite

show abstract

Mobility Control Via Passports

Hym

CONCUR 2007 – Concurrency Theory

View full text Add to dashboard Cite

Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations.In this paper we introduce passports to control those migrations; in order to gain access to a location agents are now expected to show some credentials, granted by the destination location. Passports are tied to specific locations, from which migration is permitted. We describe a type system for these passports, which includes a novel use of dependent types, and prove that well-typing enforces the desired behaviour in migrating processes.Passports allow locations to control incoming processes. This induces a major modification to the possible observations which can be made of agent-based systems. Using the type system we describe these observations, and use them to build a loyal notion of observational equivalence for this setting. Finally we provide a complete proof technique in the form of a bisimilarity for establishing equivalences between systems.

show abstract

Flow Policy Awareness for Distributed Mobile Code

Matos

2009

CONCUR 2009 - Concurrency Theory

View full text Add to dashboard Cite

History-Based Access Control for Distributed Processes

Cited by 4 publications

References 23 publications

Mobility control via passports

Mobility control via passports

Mobility Control Via Passports

Flow Policy Awareness for Distributed Mobile Code

Contact Info

Product

Resources

About