We study parameterized verification problems for concurrent systems with data enriched with a permission model for invoking remote services. Processes are modelled via register automata. Communication is achieved by rendez-vous with value passing. Permissions are represented as graphs with an additional conflict relation to specify incompatible access rights. The resulting model is inspired by communication architectures underlying operating systems for mobile devices. We consider decision problems involving permission violations and data tracking formulated for an arbitrary number of processes and use reductions to well structured transition systems to obtain decidable fragments of the model.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Data tracking in parameterized systems |
Autori: | |
Data di pubblicazione: | 2016 |
Rivista: | |
Handle: | http://hdl.handle.net/11567/893563 |
ISBN: | 9783319287652 |
Appare nelle tipologie: | 04.01 - Contributo in atti di convegno |