A Semantic Theory of the Internet of Things - (Extended Abstract)

We propose a process calculus for modelling and reasoning on systems in the Internet of Things paradigm. Our systems interact both with the physical environment, via sensors and actuators, and with smart devices, via short-range and Internet channels. The calculus is equipped with a standard notion of labelled bisimilarity which represents a fully abstract characterisation of a well-known contextual equivalence. We use our semantic proof-methods to prove run-time properties of a non-trivial case study as well as system equalities.

• Publication year

  2015

• Venue

  International Conference on Coordination Models and Languages

• Publication date

  2015-10-16

• Fields of study

  Mathematics, Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-319-39519-7_10arXiv 1510.04854
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Formal analysis of a calculus for WSNs from quality perspective

  2017cited by this paper
• A Formal Approach to Cyber-Physical Attacks

  2016cited by this paper
• Where Do Your IoT Ingredients Come From?

  2016cited by this paper
• Tracing where IoT data are collected and aggregated

  2016cited by this paper
• A Calculus of Cyber-Physical Systems

  2016cited by this paper
• A Calculus for Wireless Sensor Networks from Quality Perspective

  2015cited by this paper
• A Formal Approach to Autonomic Systems Programming: The SCEL Language

  2014cited by this paper
• Modelling MAC-Layer Communications in Wireless Systems

  2013cited by this paper
• Internet of things: a process calculus approach

  2013cited by this paper
• Fine-Grained and Coarse-Grained Reactive Noninterference

  2013cited by this paper
• Broadcast, Denial-of-Service, and Secure Communication

  2013cited by this paper
• Internet of things: Vision, applications and research challenges

  2012cited by this paper
• A Process Algebra for Wireless Mesh Networks

  2012cited by this paper
• An Internet of Things Platform for Real-World and Digital Objects

  2012cited by this paper
• Internet of Things (IoT): A vision, architectural elements, and future directions

  2012cited by this paper
• Verification of mobile ad hoc networks: An algebraic approach

  2011cited by this paper
• Semantic Analysis of Gossip Protocols for Wireless Sensor Networks

  2011cited by this paper
• A Process Calculus for Dynamic Networks

  2011cited by this paper
• Broadcast psi-calculi with an application to wireless protocols

  2011cited by this paper
• The Internet of Things: A survey

  2010cited by this paper
• An operational semantics for a calculus for wireless systems

  2010cited by this paper
• Equational Reasoning on Mobile Ad Hoc Networks

  2010cited by this paper
• Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA

  2010cited by this paper
• A timed calculus for wireless systems

  2009cited by this paper
• Mobility Models and Behavioural Equivalence for Wireless Networks

  2009cited by this paper
• An Observational Theory for Mobile Ad Hoc Networks (full version)

  2009cited by this paper
• rfid in pervasive computing: State-of-the-art and outlook

  2009cited by this paper
• The π-Calculus: A theory of mobile processes

  2008cited by this paper
• A Short Presentation of Coq

  2008cited by this paper
• A process calculus for Mobile Ad Hoc Networks

  2008cited by this paper
• An Observational Theory for Mobile Ad Hoc Networks

  2007cited by this paper
• A distributed Pi-calculus

  2007cited by this paper
• A Calculus for Mobile Ad Hoc Networks

  2007cited by this paper
• Service oriented architectures: approaches, technologies and research issues

  2007cited by this paper
• A synchronous pi-calculus

  2006cited by this paper
• A framework for security analysis of mobile wireless networks

  2006cited by this paper
• Movement-assisted sensor deployment

  2006cited by this paper
• Clock synchronization for wireless sensor networks: a survey

  2005cited by this paper
• Appendix

  2004cited by this paper
• A structural approach to operational semantics

  2004cited by this paper
• Behavioural Theory for Mobile Ambients

  2004cited by this paper
• The Pi-Calculus - a theory of mobile processes

  2001influential reference
• An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251

  1999cited by this paper
• Mobile Ambients

  1998cited by this paper
• The SL Synchronous Language

  1996cited by this paper
• On Reduction-Based Process Semantics

  1995cited by this paper
• A Process Algebra for Timed Systems

  1995influential reference
• The Polyadic π-Calculus: a Tutorial

  1993cited by this paper
• The Esterel Synchronous Programming Language: Design, Semantics, Implementation

  1992cited by this paper
• Barbed Bisimulation

  1992cited by this paper
• An efficiency preorder for processes

  1991cited by this paper
• Generative communication in Linda

  1985cited by this paper
• IoT Privacy , Data Protection , Information Security

  year unknowncited by this paper

• IoT Based Fuel Track System

  2025cites this paper
• Level of Awareness on Internet of Things (IoT) Among College Students of LSPU-SPCC: Basis on Technological Advancement

  2025cites this paper
• HpC: A Calculus for Hybrid and Mobile Systems

  2025cites this paper
• Formal methods for mobile ad hoc networks: a survey

  2025cites this paper
• A Proof System for the SMrCaIT Calculus

  2024cites this paper
• An Implementation Model for Correct Audit Logging in Cyber-Physical Systems

  2024cites this paper
• A proof system of the CaIT calculus

  2023cites this paper
• A process calculus SMrCaIT for IoT

  2023cites this paper
• Denotational and Algebraic Semantics for the CaIT Calculus

  2022cites this paper
• Friendly Fire

  2021cites this paper
• Development of IoT-Based Particulate Matter Monitoring System for Construction Sites

  2021cites this paper
• A process calculus approach to detection and mitigation of PLC malware

  2021cites this paper
• Theories of Meaning for the Internet of Things

  2021cites this paper
• A Semantic Framework for Direct Information Flows in Hybrid-Dynamic Systems

  2021cites this paper
• Magnetic Coding of Steel for Industrial Internet Applications

  2020cites this paper
• A Process Calculus Approach to Correctness Enforcement of PLCs

  2020cites this paper
• Information Systems Security and Privacy: 5th International Conference, ICISSP 2019, Prague, Czech Republic, February 23-25, 2019, Revised Selected Papers

  2020cites this paper
• Runtime Enforcement for Control System Security

  2020cites this paper
• Implementing a Novel Use of Multicriteria Decision Analysis to Select IIoT Platforms for Smart Manufacturing

  2020cites this paper
• Security Metrics at Work on the Things in IoT Systems

  2020cites this paper
• Selection of IoT Platform with Multi-Criteria Analysis: Defining Criteria and Experts to Interview

  2019cites this paper
• Tracking Data Trajectories in IoT

  2019cites this paper
• On the decidability of linear bounded periodic cyber-physical systems

  2019cites this paper
• Measuring security in IoT communications

  2019cites this paper
• A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour

  2019cites this paper
• Securing Cross-App Interactions in IoT Platforms

  2019cites this paper
• A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications

  2019cites this paper
• Connection models for the Internet-of-Things

  2019cites this paper
• A Compass to Controlled Graph Rewriting

  2019cites this paper
• Things as a Service: Service model for IoT

  2019cites this paper
• Analysing the Provenance of IoT Data

  2019cites this paper
• Quality Control in the Context of Industry 4.0

  2018cites this paper
• Requirements Analysis for Machine to Machine Integration within Industry 4.0

  2018cites this paper
• Integration of Distributed Manufacturing Nodes in Smart Factory

  2018cites this paper
• Preliminary Study of Water Quality Monitoring Based on WSN Technology

  2018cites this paper
• Smart Portable Devices Suitable for Cultural Heritage: A Review

  2018cites this paper
• On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis

  2018cites this paper
• Towards an Artificial Intelligence Framework to Actively Defend Cyberspace in South Africa

  2018cites this paper
• A Modest Security Analysis of Cyber-Physical Systems: A Case Study

  2018cites this paper
• What is a smart device? - a conceptualisation within the paradigm of the internet of things

  2018cites this paper
• Connected Vehicles in the Shark Tank: Rethinking the Challenge for Cybersecurity to Keep Pace with Digital Innovation

  2018cites this paper
• A Probabilistic Calculus of Cyber-Physical Systems

  2017cites this paper
• Modeling and reasoning about wireless networks: A graph-based calculus approach

  2017cites this paper
• Tool Supported Analysis of IoT

  2017cites this paper
• Weak Simulation Quasimetric in a Gossip Scenario

  2017cites this paper
• Quality-Aware Reactive Programming for the Internet of Things

  2017cites this paper
• Tracking Sensitive and Untrustworthy Data in IoT

  2017cites this paper
• A Calculus of Cyber-Physical Systems

  2016cites this paper
• Securing IoT communications: at what cost?

  2016cites this paper
• The Cost of Securing IoT Communications

  2016cites this paper
• A Step Towards Checking Security in IoT

  2016cites this paper
• Where Do Your IoT Ingredients Come From?

  2016cites this paper
• Tracing where IoT data are collected and aggregated

  2016influential citation