Chiara Bodei ; Pierpaolo Degano ; Gian-Luigi Ferrari ; Letterio Galletta - Tracing where IoT data are collected and aggregated

lmcs:2186 - Logical Methods in Computer Science, July 19, 2017, Volume 13, Issue 3 - https://doi.org/10.23638/LMCS-13(3:5)2017
Tracing where IoT data are collected and aggregated

Authors: Chiara Bodei ; Pierpaolo Degano ; Gian-Luigi Ferrari ; Letterio Galletta

    The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that 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 technological shifts. We address these issues from a foundational point of view. To study them, we define IoT-LySa, a process calculus endowed with a static analysis that tracks the provenance and the manipulation of IoT data, and how they flow in the system. The results of the analysis can be used by a designer to check the behaviour of smart objects, in particular to verify non-functional properties, among which security.


    Volume: Volume 13, Issue 3
    Published on: July 19, 2017
    Accepted on: July 19, 2017
    Submitted on: July 19, 2017
    Keywords: Computer Science - Programming Languages,Computer Science - Logic in Computer Science,F.1.2,F.3.1

    Linked data

    Source : ScholeXplorer IsReferencedBy DOI 10.1007/978-3-319-98938-9_17
    • 10.1007/978-3-319-98938-9_17
    • 10.1007/978-3-319-98938-9_17
    Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks
    Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone ;

    5 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 761 times.
    This article's PDF has been downloaded 393 times.