The Internet of Things (IoT) is here: smart objects are pervading our everyday life. Smart devices automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable coordination primitives and analysis mechanisms are in order to design and reason about IoT systems, and to intercept the implied technology shifts. We address these issues by defining IoT-LySa, a process calculus endowed with a static analysis that tracks the provenance and the route of IoT data, and detects how they affect the behaviour of smart objects.
CITATION STYLE
Bodei, C., Degano, P., Ferrari, G. L., & Galletta, L. (2016). Where do your IoT ingredients come from? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9686, pp. 35–50). Springer Verlag. https://doi.org/10.1007/978-3-319-39519-7_3
Mendeley helps you to discover research relevant for your work.