A Step Towards Checking Security in IoT
arXiv:1608.03327v112 citations
AI Analysis
This work addresses security verification for IoT systems, but it is incremental as it builds on prior research.
The authors tackled the problem of verifying security properties in IoT systems by extending an existing calculus and static analysis framework, focusing on static verification of secrecy and other security properties.
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.