Where Do Your IoT Ingredients Come From?

Abstract : 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.
Type de document :
Communication dans un congrès
Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.35-50, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_3〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01631717
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 novembre 2017 - 16:13:50
Dernière modification le : mardi 26 février 2019 - 10:55:14
Document(s) archivé(s) le : samedi 10 février 2018 - 13:47:54

Fichier

416253_1_En_3_Chapter.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta. Where Do Your IoT Ingredients Come From?. Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.35-50, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_3〉. 〈hal-01631717〉

Partager

Métriques

Consultations de la notice

77

Téléchargements de fichiers

36