57、基于模型检查的VoIP会话发起协议DoS放大攻击分析

基于模型检查的VoIP会话发起协议DoS放大攻击分析

1. SIP+5393协议无放大攻击分析

在对SIP+5393协议的研究中，我们发现直接针对该协议不存在放大攻击。通过在模型中纳入SIP+5393的更改，使用与查找原始版本攻击相同的搜索命令进行验证，在相同参数下，SIP+5393版本的协议未发现该攻击。此外，我们还研究了更改不同参数的情况，特别是增加代理和用户数量，这会给攻击者更多机会，但分析表明，即使进行这些参数更改，攻击仍然不可行。从旧模型的攻击情况来看，在修补后的新模型中，原攻击显然是不可行的。

2. 新的内部威胁：带入侵者的放大攻击

IETF的SIP+5393循环补丁在起作用时，隐含假设所有SIP代理都能按协议规范行事。然而在实际中，大多数基于SIP的VoIP解决方案对中间代理有较高的信任度。这是因为在保持协议简单高效的同时，为SIP信令提供端到端安全是一项极具挑战性的任务。例如，协议要求中间代理通过访问和更新SIP消息头来处理消息，像S/MIME这类保护SIP消息完整性和机密性的方法，无法用于消除或放宽对SIP代理的信任假设。

但假设所有SIP代理都值得信任是过于乐观的。实际上，攻击者可以轻松地在任何机器上运行自己的代理服务器，从而在SIP信令路径中出现单个恶意代理是很有可能的。攻击者还可以使用指向自己地址的Record - Route选项，确保自己持续接收SIP消息。这个恶意代理在消息通过时可以删除via字段的所有内容，这可能会重新引入与原始协议相同的放大攻击。

入侵者定义 ：入侵者是一个恶意用户，可能在多个代理处注册，并设置其转发偏好以创建分叉循环，在这个循环中，入侵者控制一个能够