paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Program-aware fuzzing for MQTT applications

面向 MQTT 应用程序的程序感知模糊测试
ISSTA Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis2020匹配度 1/10 · 该论文研究 MQTT 协议的程序感知模糊测试,属于动态测试与 IoT 安全方向,与用户聚焦的静态分析、LLM/Agent 结合程序分析、浮点程序分析及贝叶斯程序分析均无直接关联。引用 19 inbox
Luis Gustavo Araujo Rodriguez, Daniel Macêdo Batista
crossref: 2026-09-12

AI 速览

一句话:针对 MQTT 现有黑盒模糊测试难以发现漏洞的问题,研究程序感知的模糊测试策略。

MQTT 应用因协议实现薄弱而广泛面临漏洞。初步背景研究表明,MQTT 最易受畸形数据包攻击,而现有 MQTT 测试框架多基于黑盒模糊测试,导致漏洞难以且耗时地被发现。该研究旨在研究并开发面向 MQTT 协议的有效模糊测试策略,通过程序感知的方式提升测试的导向性与漏洞发现能力,从而促进 IoT 与智慧城市中更健壮的 MQTT 应用开发。目前摘要报告的是初步背景研究与研究计划,尚未给出新方法的完整实验结果。

问题
MQTT 应用协议实现薄弱,易受畸形数据包等漏洞影响;现有测试框架以黑盒模糊测试为主,发现漏洞困难且耗时。
方法
开展背景研究,分析 MQTT 漏洞主因与现有测试框架,并研究/开发程序感知的模糊测试策略来测试 MQTT 协议实现。
评估
初步通过背景研究与现有 MQTT 测试框架分析确认问题;摘要未报告新策略的完整实验评估,目标应用场景为 IoT 与智慧城市。
原文摘要(Abstract)

Over the last few years, MQTT applications have been widely exposed to vulnerabilities because of their weak protocol implementations. For our preliminary research, we conducted background studies to: (1) determine the main cause of vulnerabilities in MQTT applications; and (2) analyze existing MQTT-based testing frameworks. Our preliminary results confirm that MQTT is most susceptible to malformed packets, and its existing testing frameworks are based on blackbox fuzzing, meaning vulnerabilities are difficult and time-consuming to find. Thus, the aim of my research is to study and develop effective fuzzing strategies for the MQTT protocol, thereby contributing to the development of more robust MQTT applications in IoT and Smart Cities.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6057,
  title = {Program-aware fuzzing for MQTT applications},
  author = {Luis Gustavo Araujo Rodriguez and Daniel Macêdo Batista},
  booktitle = {ISSTA},
  year = {2020},
  doi = {10.1145/3395363.3402645}
}