%0 Journal Article
%T 协议抗拒绝服务攻击性自动化证明
%A 孟博
%A 黄伟
%A 王德军
%A 邵飞
%J 通信学报
%D 2012
%X ？首先从攻击者上下文与进程表达式2个方面对标准应用pi演算进行扩展，然后从协议状态的角度，应用扩展后的应用pi演算对协议抗拒绝服务攻击性进行建模，提出一个基于定理证明支持一阶定理证明器proverif的抗拒绝服务攻击性自动化证明方法，最后应用proverif分析与验证了jfk协议与ieee802.11四步握手协议抗拒绝服务攻击性，发现ieee802.11四步握手协议存在一个新的拒绝服务攻击，并且针对ieee802.11四步握手协议存在的拒绝服务攻击提出了改进方法。
%U http://www.joconline.com.cn/CN/abstract/abstract151829.shtml