基于监督控制理论的通信协议致胜攻击综合：两个案例研究
密码学与安全
2022-10-24 v3 网络与互联网体系结构
系统与控制
系统与控制
摘要
分布式系统中通信协议面对试图破坏安全性或非阻塞性等属性的恶意攻击，其脆弱性研究需求日益增长。本文针对两种知名协议——交替位协议（ABP）与传输控制协议（TCP），提出一种综合始终可获胜（称为 For-all 攻击）的成功攻击的形式化通用方法。这推广了先前针对 TCP 的 There-exists 攻击（攻击者有时可获胜）的综合工作。我们用有限状态自动机对 ABP 与 TCP 协议及系统架构建模，并采用离散事件系统的监督控制理论来提出并求解 For-all 攻击的综合问题，其中攻击者对系统事件具有部分可观性与可控性。我们考虑了针对 ABP 与 TCP 的中间人攻击的若干场景，并给出了各情形下使用本方法所得攻击综合结果。
引用
@article{arxiv.2102.06028,
title = {Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory: Two Case Studies},
author = {Shoma Matsui and Stéphane Lafortune},
journal= {arXiv preprint arXiv:2102.06028},
year = {2022}
}
备注
31 pages, 16 figures