English

A Step Towards Checking Security in IoT

Programming Languages 2016-08-12 v1 Cryptography and Security
Authors: Chiara Bodei , Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

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.

Keywords

internet of things security internet of things computer security

Cite

@article{arxiv.1608.03327,
  title  = {A Step Towards Checking Security in IoT},
  author = {Chiara Bodei and Pierpaolo Degano and Gian-Luigi Ferrari and Letterio Galletta},
  journal= {arXiv preprint arXiv:1608.03327},
  year   = {2016}
}

Comments

In Proceedings ICE 2016, arXiv:1608.03131

Related papers

View all related →
Programming Languages · Computer Science
Tracing where IoT data are collected and aggregated
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2023-06-22
Cryptography and Security · Computer Science
A Survey of Analysis Methods for Security and Safety verification in IoT Systems
Lobna Abuserrieh, Manar H. Alalfi
2022-03-04
Networking and Internet Architecture · Computer Science
A survey of security and privacy issues in the Internet of Things from the layered context
Samundra Deep, Xi Zheng, Alireza Jolfaei, Dongjin Yu +2
2020-02-26
Cryptography and Security · Computer Science
Understanding Security Requirements and Challenges in Internet of Things (IoTs): A Review
Faraz Idris Khan, Sufian Hameed
2018-09-03
Cryptography and Security · Computer Science
Internet of Things: Survey on Security and Privacy
Diego M. Mendez, Ioannis Papapanagiotou, Baijian Yang
2018-04-06
Cryptography and Security · Computer Science
Large-Scale (Semi-)Automated Security Assessment of Consumer IoT Devices -- A Roadmap
Pascal Schöttle, Matthias Janetschek, Florian Merkle, Martin Nocker +1
2025-04-11
Computers and Society · Computer Science
A Detail Study of Security and Privacy issues of Internet of Things
Mohan Krishna Kagita, Navod Thilakarathne, Dharmendra Singh Rajput, Dr Surekha Lanka
2020-09-15
Cryptography and Security · Computer Science
Internet of Things Security, Device Authentication and Access Control: A Review
Inayat Ali, Sonia Sabir, Zahid Ullah
2024-08-09
Cryptography and Security · Computer Science
Security Considerations for Internet of Things: A Survey
A. Jurcut, T. Niculcea, P. Ranaweera, A. LeKhac
2020-06-19
Cryptography and Security · Computer Science
Security Threats and Research Challenges of IoT-A Review
A K M Bahalul Haque, Sonia Tasmin
2021-01-11
Cryptography and Security · Computer Science
A Comparative Study of Recent Advances in Internet of Intrusion Detection Things
Marianna Rezk, Hassan Harb, Ismail Bennis, Sebastien Bindel +1
2026-03-10
Logic in Computer Science · Computer Science
Tool Supported Analysis of IoT
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto
2017-12-01
Cryptography and Security · Computer Science
If you can't understand it, you can't properly assess it! The reality of assessing security risks in Internet of Things systems
Jason R. C. Nurse, Petar Radanliev, Sadie Creese, David De Roure
2018-06-29
Operating Systems · Computer Science
A Survey of the Security Challenges and Requirements for IoT Operating Systems
Alvi Jawad
2023-11-01
Cryptography and Security · Computer Science
Security Risk Assessment in Internet of Things Systems
Jason R. C. Nurse, Sadie Creese, David De Roure
2018-11-09
Cryptography and Security · Computer Science
Internet of Things Security Research: A Rehash of Old Ideas or New Intellectual Challenges?
Earlence Fernandes, Amir Rahmati, Kevin Eykholt, Atul Prakash
2017-07-20
Cryptography and Security · Computer Science
Addressing Security and Privacy Challenges in Internet of Things
Arsalan Mosenia
2018-07-19
Computers and Society · Computer Science
Internet of Things: Infrastructure, Architecture, Security and Privacy
Zainab Alansari, Nor Badrul Anuar, Amirrudin Kamsin, Mohammad Riyaz Belgaum +3
2018-07-12
Cryptography and Security · Computer Science
Protected or Porous: A Comparative Analysis of Threat Detection Capability of IoT Safeguards
Anna Maria Mandalari, Hamed Haddadi, Daniel J. Dubois, David Choffnes
2023-04-07
Cryptography and Security · Computer Science
A Smart Home System based on Internet of Things
Rihab Fahd Al-Mutawa, Fathy Albouraey Eassa
2020-09-14
Distributed, Parallel, and Cluster Computing · Computer Science
The Internet of Things: Secure Distributed Inference
Yuan Chen, Soummya Kar, José M. F. Moura
2018-10-17
Cryptography and Security · Computer Science
Soteria: Automated IoT Safety and Security Analysis
Z. Berkay Celik, Patrick McDaniel, Gang Tan
2018-05-24
Distributed, Parallel, and Cluster Computing · Computer Science
Internet of Things: An Overview
Farzad Khodadadi, Amir Vahid Dastjerdi, Rajkumar Buyya
2017-03-21
Cryptography and Security · Computer Science
Introduction to IoT
Tajkia Nuri Ananna, Munshi Saifuzzaman
2024-09-06
Cryptography and Security · Computer Science
Security Testbed for the Internet of Things
Shachar Siboni, Vinay Sachidananda, Asaf Shabtai, Yuval Elovici
2016-10-20
R2 v1 2026-06-22T15:17:17.108Z