论文部分内容阅读
猜测攻击是安全协议中一类特殊问题，对其进行研究具有现实意义。本文针对猜测攻击，引入了基于串空间模型的Athena分析方法，并考虑了攻击者对弱口令的猜测能力。为此，在串空间模型的消息项中引入了可验证项的概念，以描述猜测攻击条件中的验证项，同时扩展了串空间中攻击者的能力，赋予了攻击者对弱口令的猜测能力；为在Athena后继函数搜索算法中实现对验证项的关联，以判断猜测攻击，在Athena方法的状态表示法中引入猜测验证目标及猜测验证目标绑定的概念，对状态、推理规则进行相应的修改，同时扩展后继状态函数，使扩展后的函