论文部分内容阅读
基于传统的Dolev-Yao攻击者模型的密码协议形式化建模及其分析方法中,由于攻击者依据自身的知识和截获到的消息,形成尽可能的数据发送到协议实体,导致包含大量冗余度和虚假攻击的执行序列。本文提出基于攻击目的攻击序列选择方法,使得攻击者实施有针对性攻击的特定执行序列,能够有效地引导攻击者按照特定的攻击行为进行攻击,避免产生大量的无用数据。