research-article

Internet of things: a process calculus approach

Authors:

Marco Di FeliceAuthors Info & Claims

SAC '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing

Pages 1339 - 1346

https://doi.org/10.1145/2480362.2480615

Published: 18 March 2013 Publication History

Abstract

This paper presents a process calculus specifically designed to model systems based on the Internet of Things paradigm. We define a formal syntax and semantics for the calculus, and show how it can be used to reason about relevant examples. We also define two notions of bisimilarity, one capturing the behavior seen by the end user of the system, and one allowing compositional reasoning.

References

[1]

L. Atzori, A. Iera, and G. Morabito. The Internet of Things: A survey. Computer Networks, 54(15):2787--2805, 2010.

Digital Library

[2]

Auto-Id Labs, http://www.autoidlabs.org/.

[3]

E. N. Barnhart and C. A. Bokath. Considerations for Machine-to-Machine communications architecture and security standardization. In Proc. of Conference on Internet Multimedia Systems Architecture and Application 2011, pages 1--6. IEEE Computer Society, 2011.

[4]

R. Bruni and I. Lanese. PRISMA: A mobile calculus with parametric synchronization. In Proc. of TGC'06, volume 4661 of LNCS, pages 132--149. Springer, 2006.

Digital Library

[5]

L. Caires, R. De Nicola, R. Pugliese, V. T. Vasconcelos, and G. Zavattaro. Core calculi for service-oriented computing. In Results of the SENSORIA Project, volume 6582 of LNCS, pages 153--188. Springer, 2011.

Digital Library

[6]

C. Ene and T. Muntean. A broadcast-based calculus for communicating systems. In Proc. of IPDPS'01, page 149. IEEE Computer Society, 2001.

Digital Library

[7]

J. C. Godskesen. A calculus for mobile ad hoc networks. In Proc. of COORDINATION'07, volume 4467 of LNCS, pages 132--150. Springer, 2007.

Digital Library

[8]

D. Guinard, V. Trifa, S. Karnouskos, P. Spiess, and D. Savio. Interacting with the SOA-based Internet of Things: Discovery, query, selection, and on-demand provisioning of web services. IEEE Transactions on Services Computing, 3(3):223--235, 2010.

Digital Library

[9]

J. Honkola, H. Laine, R. Brown, and O. Tyrkko. Smart-m3 information sharing platform. In IEEE Symposium on Computers and Communications 2010, volume 3, pages 1041--1046. IEEE Computer Society, 2010.

Digital Library

[10]

G. Kortuem, F. Kawsar, V. Sundramoorthy, and D. Fitton. Smart objects as building blocks for the internet of things. IEEE Internet Computing, 14(1):44--51, 2010.

Digital Library

[11]

I. Lanese and D. Sangiorgi. An operational semantics for a calculus for wireless systems. Theor. Comput. Sci., 411(19):1928--1948, 2010.

Digital Library

[12]

R. Lanotte and M. Merro. Semantic analysis of gossip protocols for wireless sensor networks. In Proc. of CONCUR 2011, volume 6901 of LNCS, pages 156--170. Springer, 2011.

Digital Library

[13]

L. Lopes, F. Martins, M. S. Silva, and J. Barros. A process calculus approach to sensor networks programming. In Proc. of SENSORCOMM'07, pages 451--456. IEEE Computer Society, 2007.

Digital Library

[14]

F. Mattern and C. Floerkemeier. From the Internet of Computers to the Internet of Things. In From active data management to event-based systems and more, volume 6462 of LNCS, pages 242--259. Springer, 2010.

[15]

S. Nanz and C. Hankin. A framework for security analysis of mobile wireless networks. Theor. Comput. Sci., 367(1--2):203--227, 2006.

Digital Library

[16]

D. Sangiorgi and D. Walker. The π-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.

Digital Library

[17]

Z. Song, A. A. Cárdenas, and R. Masuoka. Semantic middleware for the Internet of Things. In Proc. of Internet of Things 2010, volume 120, pages 1--8. IEEE Computer Society, 2010.

[18]

T. Teixeira, S. Hachem, V. Issarny, and N. Georgantas. Service oriented middleware for the internet of things: A perspective. In Proc. of ServiceWave 2011, pages 220--229. Springer-Verlag, 2011.

Digital Library

[19]

The network simulator 3. http://www.nsnam.org/.

[20]

The OMNET++ network simulation framework, http://www.omnetpp.org/.

[21]

C.-L. Wu and L.-C. Fu. Design and realization of a framework for human-system interaction in smart homes. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 42(1):15--31, 2012.

Digital Library

[22]

C. Yibo, K.-M. Hou, H. Zhou, H. ling Shi, X. Liu, X. Diao, H. Ding, J.-J. Li, and C. D. Vaulx. 6LOWPAN Stacks: A Survey. In Conference on Wireless Communications Networking and Mobile Computing 2011, pages 1--4. IEEE Computer Society, 2011.

Cited By

CHEN NZHU H(2023)IoT Modeling and Verification: From the CaIT Calculus to UPPAALIEICE Transactions on Information and Systems10.1587/transinf.2022EDP7223E106.D:9(1507-1518)Online publication date: 1-Sep-2023
https://doi.org/10.1587/transinf.2022EDP7223
Chen NZhu H(2023)A proof system of the CaIT calculusFrontiers of Computer Science10.1007/s11704-022-2258-318:2Online publication date: 11-Sep-2023
https://doi.org/10.1007/s11704-022-2258-3
Bodei CFerrari GGalletta LDegano P(2023)Risk Estimation in IoT SystemsChallenges of Software Verification10.1007/978-981-19-9601-6_12(221-242)Online publication date: 22-Jul-2023
https://doi.org/10.1007/978-981-19-9601-6_12
Show More Cited By

Index Terms

Recommendations

Internet of things security: challenges and perspectives
ICC '17: Proceedings of the Second International Conference on Internet of things, Data and Cloud Computing

No one can deny that the Internet of Things (IOT) will revolutionize our daily thanks to its many benefits in order to improve and simplify people's lives. Us any new technology the internet of things has a number of problems that prevents it to reach ...
Interoperability of Security-Enabled Internet of Things

The future Internet will embrace the intelligence of Web 3.0 and the omnipresence of every day connected objects. The later was envisioned as the Internet of Things. Security and interoperability concerns are hindering the service innovations using the ...
The internet of things: a survey

In recent year, the Internet of Things (IoT) has drawn significant research attention. IoT is considered as a part of the Internet of the future and will comprise billions of intelligent communicating `things'. The future of the Internet will consist of ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing

March 2013

2124 pages

ISBN:9781450316569

DOI:10.1145/2480362

Conference Chairs:
Sung Y. Shin
South Dakota State University, United States
,
José Carlos Maldonado
ICMC - University of São Paulo, Brazil

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 March 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Agence Nationale de la Recherche

Conference

SAC '13

Sponsor:

SIGAPP

SAC '13: SAC '13

March 18 - 22, 2013

Coimbra, Portugal

Acceptance Rates

SAC '13 Paper Acceptance Rate 255 of 1,063 submissions, 24%;

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

32
Total Citations
View Citations
509
Total Downloads

Downloads (Last 12 months)10
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

CHEN NZHU H(2023)IoT Modeling and Verification: From the CaIT Calculus to UPPAALIEICE Transactions on Information and Systems10.1587/transinf.2022EDP7223E106.D:9(1507-1518)Online publication date: 1-Sep-2023
https://doi.org/10.1587/transinf.2022EDP7223
Chen NZhu H(2023)A proof system of the CaIT calculusFrontiers of Computer Science10.1007/s11704-022-2258-318:2Online publication date: 11-Sep-2023
https://doi.org/10.1007/s11704-022-2258-3
Bodei CFerrari GGalletta LDegano P(2023)Risk Estimation in IoT SystemsChallenges of Software Verification10.1007/978-981-19-9601-6_12(221-242)Online publication date: 22-Jul-2023
https://doi.org/10.1007/978-981-19-9601-6_12
Chen NZhu H(2023)A process calculus SMrCaIT for IoTJournal of Software: Evolution and Process10.1002/smr.2595Online publication date: 19-Jul-2023
https://doi.org/10.1002/smr.2595
Aubert CVaracca D(2022)Processes Against Tests: On Defining Contextual EquivalencesJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2022.100799(100799)Online publication date: Aug-2022
https://doi.org/10.1016/j.jlamp.2022.100799
Chen NZhu H(2022)Denotational and Algebraic Semantics for the CaIT CalculusTheoretical Aspects of Computing – ICTAC 202210.1007/978-3-031-17715-6_10(132-150)Online publication date: 3-Oct-2022
https://doi.org/10.1007/978-3-031-17715-6_10
Amir-Mohammadian SCao JHo Au MConti MTippenhauer N(2021)A Semantic Framework for Direct Information Flows in Hybrid-Dynamic SystemsProceedings of the 7th ACM on Cyber-Physical System Security Workshop10.1145/3457339.3457981(5-15)Online publication date: 24-May-2021
https://dl.acm.org/doi/10.1145/3457339.3457981
Balliu MMerro MPasqua MShcherbakov M(2021)Friendly FireACM Transactions on Privacy and Security10.1145/344496324:3(1-40)Online publication date: 1-Apr-2021
https://dl.acm.org/doi/10.1145/3444963
Lanotte RMerro MMunteanu A(2021)A process calculus approach to detection and mitigation of PLC malwareTheoretical Computer Science10.1016/j.tcs.2021.08.021Online publication date: Aug-2021
https://doi.org/10.1016/j.tcs.2021.08.021
Finochietto JMicheletto MEggly GPueyo Centelles RSantos ROchoa SMeseguer ROrozco J(2021)An IoT-based infrastructure to enhance self-evacuations in natural hazardous eventsPersonal and Ubiquitous Computing10.1007/s00779-020-01506-z26:6(1461-1478)Online publication date: 5-Feb-2021
https://doi.org/10.1007/s00779-020-01506-z
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten