摘要：The Internet of Things (IoT) offers the infrastructure of the informationsociety. It hosts smart objects that automatically collect and exchange data ofvarious kinds, directly gathered from sensors or generated by aggregations.Suitable coordination primitives and analysis mechanisms are in order to designand reason about IoT systems, and to intercept the implied technologicalshifts. We address these issues from a foundational point of view. To studythem, we define IoT-LySa, a process calculus endowed with a static analysisthat tracks the provenance and the manipulation of IoT data, and how they flowin the system. The results of the analysis can be used by a designer to checkthe behaviour of smart objects, in particular to verify non-functionalproperties, among which security.
关键词：F.3.1;F.1.2;Computer Science - Logic in Computer Science;Computer Science - Programming Languages
