A Step Towards Checking Security in IoT

Chiara Bodei
(Dipartimento di Informatica, Università di Pisa)
Pierpaolo Degano
(Dipartimento di Informatica, Università di Pisa)
Gian-Luigi Ferrari
(Dipartimento di Informatica, Università di Pisa)
Letterio Galletta
(Dipartimento di Informatica, Università di Pisa)

The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IoT-LySa, a calculus for describing IoT systems, and its static analysis, which will be presented at Coordination 2016. We extend the mentioned proposal in order to begin an investigation about security issues, in particular for the static verification of secrecy and some other security properties.

In Massimo Bartoletti, Ludovic Henrio, Sophia Knight and Hugo Torres Vieira: Proceedings 9th Interaction and Concurrency Experience (ICE 2016), Heraklion, Greece, 8-9 June 2016, Electronic Proceedings in Theoretical Computer Science 223, pp. 128–142.
Published: 10th August 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.223.9 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org