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 systemscomposed of processes (agents) which may migrate within a distributed environmentcomprising a number of distinct locations. Two processes may communicate ifthey are present in the same location and, in addition, they have appropriateaccess permissions to communicate over a channel. Accesspermissions are dynamic, and processes can acquire new access permissions or losesome existing permissions while migrating from one location to another.Timing constraints coordinate and control the communication betweenprocesses and migration between locations. Thenwe completely characterise those situations when a processis always guaranteed to possess safe access permissions.The consequences of such a result are twofold. First, we are able to validatesystems where one does not need to check (at least partially)access permissions as they are guaranteednot 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

Editor(s): Butler, M., Schulte, W.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Formal Methods: 17th International Symposium on Formal Methods

Year of Conference: 2011

Pages: 293-307

Date deposited: 30/09/2011

ISSN: 0302-9743 (print) 1611-3349 (online)

Publisher: Springer


DOI: 10.1007/978-3-642-21437-0_23

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642214363