Abstrakt. Sakernas Internet (IoT) erbjuder informationssamhällets infrastruktur. Den är värd smarta objekt som automatiskt samlar in och utbyter data av olika slag, direkt samlas in från sensorer eller genereras av aggregeringar. Lämplig samordning primitiver och analysmekanismer är i syfte att designa och resonera om IoT-system, och att avlyssna de implicita tekniska skiften. Vi tar upp några av dessa frågor ur ett grundläggande perspektiv. För att studera dem definierar vi IoT-LySa, en processkalkyl utrustad med en statisk analys som spårar härkomsten och manipuleringen av IoT-data, och hur de flödar i systemet. Resultaten av analysen kan användas av en designer för att kontrollera beteendet hos smarta objekt, särskilt för att verifiera icke-funktionella egenskaper, bland vilka säkerhet.
Bodei m.fl. REF föreslog en processkalkyl som stöder en kontrollflödesanalys som säkert approximerar det abstrakta beteendet hos IoT-system.
Tracing where IoT data are collected and aggregated
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science', 'Mathematics']}