山东大学学报(理学版)

作者：李飞序,严飞,程斌林,张立强

单位：1. 武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室, 湖北 武汉 430072；2. 山东大学网络空间安全学院, 山东 青岛 266237

关键词：低功耗广域网,固件分析,符号执行,污点分析,

基金：国家自然科学基金资助项目(61872430);国家自然科学基金资助项目(62172144);湖北省重点研发计划项目(2020BAA003);湖北省重点研发计划项目(2021BAA027);湖北省自然科学基金资助项目(2022CFB510)

低功耗广域网(low power wide area network, LPWAN)作为一个强调低功耗的协议通常运行在资源受限设备上。一方面, 受限的资源给协议实现的安全性带来了严峻的挑战, 厂商通常难以在安全性与资源消耗上进行取舍。另一方面, 协议栈以裸机固件的形式部署在设备上, 各异的硬件特性使得其自动化分析较为困难。因此, 本文专门针对资源受限设备提出了一种基于符号执行与污点分析的协议栈分析框架ProSE, 能够针对固件中存在的协议漏洞进行检测。本文以LPWAN中最具代表性的LoRaWAN协议作为分析对象, 实现了多种漏洞的自动化检测, 并成功检测出6个厂商LoRaWAN实现中存在的20个潜在安全漏洞。

来源：2023年第9期

《山东大学学报(理学版)》期刊编辑部

查看山东大学学报(理学版)杂志2023年第9期