物联网系统安全与安全性验证分析方法综述
密码学与安全
2022-03-04 v1 软件工程
摘要
物联网（IoT）在过去几年中于所有生活领域迅速发展。IoT为其用户在不同领域（如家庭自动化、医疗系统、汽车等）提供自动化与智能控制。鉴于联网IoT设备数量巨大，这种增长导致大规模IoT应用在其环境中产生大量自动交互，使IoT应用对其用户更智能、更有趣。但一些IoT应用不可预见的交互及任何潜在的恶意行为会对其用户（主要是缺乏有关其IoT自动化过程潜在影响所需知识的非专家）造成严重的不安全与不安全后果。本文中，我们研究IoT系统的安全与安全性验证问题。我们调研了利用程序分析来验证IoT应用安全与安全性属性的技术。该研究提出了一组分类与归类属性以增强我们对该领域研究图景的理解。此外，我们讨论了所调研工作中考虑的主要挑战以及可采用的潜在解决方案，以确保IoT系统的安全与安全性。
引用
@article{arxiv.2203.01464,
title = {A Survey of Analysis Methods for Security and Safety verification in IoT Systems},
author = {Lobna Abuserrieh and Manar H. Alalfi},
journal= {arXiv preprint arXiv:2203.01464},
year = {2022}
}