Toggle Main Menu Toggle Search

Open Access padlockePrints

Timed Migration and Interaction with Access Permissions

Lookup NU author(s): Professor Gabriel Ciobanu, Professor Maciej KoutnyORCiD



We introduce and study a process algebra able to model the systems composed of processes (agents) which may migrate within a distributed environment comprising a number of distinct locations. Two processes may communicate if they are present in the same location and, in addition, they have appropriate access permissions to communicate over a channel. Access permissions are dynamic, and processes can acquire new access permissions or lose some existing permissions while migrating from one location to another. Timing constraints coordinate and control the communication between processes and migration between locations. Then we completely characterise those situations when a process is always guaranteed to possess safe access permissions. The consequences of such a result are twofold. First, we are able to validate systems where one does not need to check (at least partially) access permissions as they are guaranteed not to be violated, improving efficiency of implementation. Second, one can design systems in which processes are not blocked (deadlocked) because of the lack of dynamically changing access permissions.

Publication metadata

Author(s): Ciobanu G, Koutny M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 18

Print publication date: 01/11/2011

Source Publication Date: November 2011

Report Number: 1291

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne