主动 vs 被动：网络协议自动机学习范式的比较
摘要：主动自动机学习成为了行为分析通信协议的热门工具。其主要优势是不需要手动建模工作，因为行为模型是从黑盒系统自动推断出来的。然而，该技术的几个实际应用显示出了建立主动接口的开销可能会影响实际可行性。我们最近对主动学习蓝牙低功耗（BLE）协议的研究发现，主动交互在学习过程中产生了瓶颈。考虑到自动机学习工具集，被动学习技术似乎是一个有希望的解决方案，因为它们不需要与被学习系统进行主动接口。相反，模型是基于给定的数据集学习得来的。在本文中，我们评估了两个网络协议（BLE和Message Queuing Telemetry Transport，MQTT）的被动学习。我们的结果表明，相比于主动学习，被动技术可以用更少的数据正确学习。然而，相对于主动学习的成本，一般的随机数据生成（用于被动学习）更加昂贵。
作者：Bernhard K. Aichernig (Institute of Software Technology, Graz University of Technology), Edi Muv{s}kardin (Silicon Austria Labs, TU Graz - SAL DES Lab, Institute of Software Technology, Graz University of Technology), Andrea Pferscher (Institute of Software Technology, Graz University of Technology)
论文ID：2209.14031
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-09-29