A Step Towards Checking Security In Iot

Chiara Bodei,Pierpaolo Degano,Gian Luigi Ferrari,Letterio Galletta

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE（2016）

引用 8|浏览23

暂无评分

摘要

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.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要