CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishKlaim (Kernel Language for Agents Interaction and Mobility) has been devised to design distributed applications composed by many components deployed over the nodes of a distributed infrastructure and to offer programmers primitive constructs for communicating, distributing and retrieving data. Data could be sensitive and some nodes could not be secure. As a consequence it is important to track data in their traversal of the network. To this aim, we propose a Control Flow Analysis that over-approximates the behaviour of Klaim processes and tracks how tuple data can move in the network.
| Titolo: | Revealing the trajectories of KLAIM tuples, statically |
| Autori: | GALLETTA, LETTERIO (Corresponding) |
| Data di pubblicazione: | 2019 |
| Serie: | |
| Handle: | http://hdl.handle.net/20.500.11771/14625 |
| ISBN: | 978-3-030-21484-5 978-3-030-21485-2 |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| KRocco65.pdf | Documento in Pre-print | Nessuna licenza | Administrator Richiedi una copia |
http://hdl.handle.net/20.500.11771/14625
Copyright © 2020