Ivan Lanese
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.
- L. Atzori, A. Iera, and G. Morabito. The Internet of Things: A survey. Computer Networks, 54(15):2787--2805, 2010. Google Scholar
Digital Library
- Auto-Id Labs, http://www.autoidlabs.org/.Google Scholar
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- C. Ene and T. Muntean. A broadcast-based calculus for communicating systems. In Proc. of IPDPS'01, page 149. IEEE Computer Society, 2001. Google ScholarDigital Library
- J. C. Godskesen. A calculus for mobile ad hoc networks. In Proc. of COORDINATION'07, volume 4467 of LNCS, pages 132--150. Springer, 2007. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- I. Lanese and D. Sangiorgi. An operational semantics for a calculus for wireless systems. Theor. Comput. Sci., 411(19):1928--1948, 2010. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarCross Ref
- S. Nanz and C. Hankin. A framework for security analysis of mobile wireless networks. Theor. Comput. Sci., 367(1--2):203--227, 2006. Google ScholarDigital Library
- D. Sangiorgi and D. Walker. The π-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- The network simulator 3. http://www.nsnam.org/.Google Scholar
- The OMNET++ network simulation framework, http://www.omnetpp.org/.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
Index Terms
- Internet of things: a process calculus approach
Recommendations
Internet of things security: challenges and perspectives
ICC '17: Proceedings of the Second International Conference on Internet of things, Data and Cloud ComputingNo 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