Klaim (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.
CITATION STYLE
Bodei, C., Degano, P., Ferrari, G. L., & Galletta, L. (2019). Revealing the trajectories of KLAIM tuples, statically. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11665 LNCS, pp. 437–454). Springer Verlag. https://doi.org/10.1007/978-3-030-21485-2_24
Mendeley helps you to discover research relevant for your work.