迈向物联网安全检测的一步
编程语言
2016-08-12 v1 密码学与安全
摘要
物联网（IoT）正在使我们的日常生活智能化。我们的出发点是 IoT-LySa，一种用于描述物联网系统的演算，及其静态分析，该分析将在 Coordination 2016 上展示。我们扩展了上述方案，以开始对安全问题的研究，特别是针对机密性及其他一些安全属性的静态验证。
引用
@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}
}
备注
In Proceedings ICE 2016, arXiv:1608.03131