北京邮电大学学报

  • EI核心期刊

北京邮电大学学报 ›› 2007, Vol. 30 ›› Issue (1): 62-65.doi: 10.13190/jbupt.200701.62.longshg

• 论文 • 上一篇    下一篇

串空间模型中的口令猜测攻击

龙士工1,罗文俊1, 袁超伟2,李 祥1   

  1. 1. 贵州大学 计算机软件与理论研究所, 贵阳550003; 2. 北京邮电大学 通信网络综合技术研究所,北京100876
  • 收稿日期:2005-11-15 修回日期:1900-01-01 出版日期:2007-03-30 发布日期:2007-03-30
  • 通讯作者: 龙士工

The Guessing Attacks in the Strand Space Model

LONG Shi-gong1 , LUO Wen-jun1,YUAN Chao-wei2 , LI Xiang1   

  1. 1. School of Computer Software and Theory, Guizhou University, Guiyang 550025, China;
    2. Institute of Communication Networks Integrated Technique, Beijing University of Posts and Telecommunications, Beijing 100876, China
  • Received:2005-11-15 Revised:1900-01-01 Online:2007-03-30 Published:2007-03-30
  • Contact: LONG Shi-gong1

摘要:

给出了鉴别协议猜测攻击的串空间模型.扩充了攻击者串和密码运算类型,重新定义了理想概念,并对相关定理进行了证明.扩展的诚实理想分析模型不仅继承了原理论的有关性质,而且适应猜测攻击的分析.以GLNS协议为例说明了如何利用串空间理论有效地进行协议的形式化分析.

关键词: 安全协议, 猜测攻击, 串空间, 诚实理想

Abstract:

The strand space model to analyze guessing attack on the authenticated protocol based on passwords was proposed. The penetrator’s strands were extended through adding guessing traces and the types of cryptographical operation. A new notion of ideal was defined and relative theorems were therefore modified and proved. The extended honest ideal model not only inherits its original characters, but also is adaptive for the analysis of guessing attack. The GLNS protocol was utilized to illuminate how to analyze a protocol formally and effectively by the use of this extended strand spaces.

Key words: security protocol, guessing attack, strand space, honest ideal

中图分类号: