针对猜测攻击的Athena方法的扩展

计算机科学 ›› 2007, Vol. 34 ›› Issue (12): 65-67.

针对猜测攻击的Athena方法的扩展

李超董荣胜

桂林电子科技大学计算机系,桂林541004

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文得到广西自然科学基金项目（编号：0542052）的资助.

LI Chao DONG Rong-Sheng （School of Computer Science, Guilin University of Electronic Technology, Guilin 541004）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: Athena 猜测攻击串空间弱口令认证性

Abstract: In this paper we extend Athena approach based on strand space, considering the intruder＇s guessing poorlychosen password ability for analyzing guessing attack automatically and efficiently. Firstly, we present a new notion and its expression of verifiable

Key words: Athena, Guessing attack, Strand space, Poorly-chosen password, Authentication

李超董荣胜. 针对猜测攻击的Athena方法的扩展[J]. 计算机科学, 2007, 34(12): 65-67. https://doi.org/

LI Chao DONG Rong-Sheng （School of Computer Science, Guilin University of Electronic Technology, Guilin 541004）. [J]. Computer Science, 2007, 34(12): 65-67. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed