TRACING WHERE IOT DATA ARE COLLECTED AND AGGREGATED

被引：18
|
作者：
Bodei, Chiara [1 ]
Degano, Pierpaolo [1 ]
Ferrari, Gian-Luigi [1 ]
Galletta, Letterio [1 ]
机构：
[1] Univ Pisa, Dipartimento Informat, Pisa, Italy
来源：
LOGICAL METHODS IN COMPUTER SCIENCE | 2017年 / 13卷 / 03期
关键词：
STATIC ANALYSIS; CALCULUS; SECURITY; PROTOCOL; NETWORKS; MODEL; COMMUNICATION; VALIDATION;
D O I：
10.23638/LMCS-13(3:5)2017
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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 some of these issues from a foundational point of view. To study them, we de fine 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.
引用
收藏
页数：38
相关论文
共 50 条
  • [1] Tracing where iot data are collected and aggregated
    1600, Logical Methods in Computer Science (13):
  • [2] Efficiently Validating Aggregated IoT Data Integrity
    Kaaniche, Nesrine
    Jung, Eunjin
    Gehani, Ashish
    2018 IEEE FOURTH INTERNATIONAL CONFERENCE ON BIG DATA COMPUTING SERVICE AND APPLICATIONS (IEEE BIGDATASERVICE 2018), 2018, : 260 - 265
  • [3] Traffic Modeling for Aggregated Periodic IoT Data
    Hossfeld, Tobias
    Metzger, Florian
    Heegaard, Poul E.
    2018 21ST CONFERENCE ON INNOVATION IN CLOUDS, INTERNET AND NETWORKS AND WORKSHOPS (ICIN), 2018,
  • [4] Tracing where and who provenance in Linked Data: A calculus
    Dezani-Ciancaglini, Mariangiola
    Horne, Ross
    Sassone, Vladimiro
    THEORETICAL COMPUTER SCIENCE, 2012, 464 : 113 - 129
  • [5] IOT ARCHITECTURE FOR THE PROCESSING OF DATA COLLECTED BY A CENTRAL VACUUM CLEANER
    Contigiani, Marco
    Pollini, Rama
    Sturari, Mirco
    Mancini, Adriano
    Frontoni, Emanuele
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2017, VOL 9, 2017,
  • [6] Modeling of Aggregated IoT Traffic and Its Application to an IoT Cloud
    Metzger, Florian
    Hossfeld, Tobias
    Bauer, Andre
    Kounev, Samuel
    Heegaard, Poul E.
    PROCEEDINGS OF THE IEEE, 2019, 107 (04) : 679 - 694
  • [7] Splitting of aggregated medical and demographic data Splitting aggregated data
    Mikhalskii, A., I
    Gorlischev, V. P.
    Jdanov, D. A.
    Grigoriev, P.
    2017 11TH IEEE INTERNATIONAL CONFERENCE ON APPLICATION OF INFORMATION AND COMMUNICATION TECHNOLOGIES (AICT 2017), 2017,
  • [8] SEA: Secure and Efficient Public Auditing for Edge-Assisted IoT Aggregated Data Sharing
    Liu, Mingxi
    Lu, Ning
    Wen, Yihong
    Cheng, Qingfeng
    Shi, Wenbo
    MOBILE NETWORKS & APPLICATIONS, 2023, 29 (5): : 1477 - 1488
  • [9] Multi-Antenna Jammer Assisted Covert Communications in Data Collected IoT with NOMA
    Liwei Tao
    Weiwei Yang
    Xingbo Lu
    Ruiqian Ma
    Ling Yang
    Yi Song
    China Communications, 2023, 20 (05) : 217 - 231
  • [10] Multi-antenna Jammer assisted covert communications in data collected IoT with NOMA
    Tao, Liwei
    Yang, Weiwei
    Lu, Xingbo
    Ma, Ruiqian
    Yang, Ling
    Song, Yi
    CHINA COMMUNICATIONS, 2023, 20 (05) : 217 - 231
12345