@Inproceedings{EPTCS223.9, author = {Bodei, Chiara and Degano, Pierpaolo and Ferrari, Gian-Luigi and Galletta, Letterio}, year = {2016}, title = {A Step Towards Checking Security in IoT}, editor = {Bartoletti, Massimo and Henrio, Ludovic and Knight, Sophia and Torres Vieira, Hugo}, booktitle = {{\rm Proceedings 9th} Interaction and Concurrency Experience, {\rm Heraklion, Greece, 8-9 June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {223}, publisher = {Open Publishing Association}, pages = {128-142}, doi = {10.4204/EPTCS.223.9}, }