.png){kind=icon}
返回
Faultload sequences for the MQTT protocol services
.png){kind=icon}
PRE
AI
DOI：10.1504/IJIPT.2026.152210.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
我们提出了初步结果，介绍了一种新方法，用于提取在MQTT消息协议层面模拟故障注入时间的事件序列，以评估其可靠性。在针对发布服务后，我们确定了七种可能将系统置于故障状态的场景。我们引入了新算法，用于：(1)从控制流图（CFG）中提取发送和接收事件，(2)识别发送/接收对，(3)使用向量时钟为事件打时间戳，(4)过滤发送事件，以及(5)生成替代发送序列。在本论文中，我们将初始结果扩展到发布者、订阅者和MQTT代理提供的服务上，将故障注入序列的场景数量增加到17种。这一贡献是形式化描述MQTT协议所有可能攻击的第一步，这对加强其服务可靠性至关重要。
Keyword:
faultload model
event-based sequences
MQTT services
message queuing telemetry transport
期刊
I
IF:
0.2
论文数:
7
被引数:
53
机构
引用论文
暂无论文信息