一种新的动态口令认证机制.pdfVIP

第27卷 湖北师范学院学报((-7然科学版) Vol_27 第1期 Journal of Hubei Normal University(Natural Science) No．1．2007 一 种新的动态口令认证机制 胡世曦 ，蔡良伟 ，张基宏 (1．深圳大学信息工程学院，广东深圳 518060；2．深圳信息职业技术学院，广东深圳 518029) 摘要：为解决时间同步式和事件式的缺点，提出一种新的动态口令认证机制，它产生的口令与时间无关，只 与登录的次数相关，故每次登录时的口令都不相同。它的核心是带输出的自动机，在客户端和服务器运行 相同的自动机，且登录次数同步变化，故两端口令可以保持一致。在分析口令独立性的基础上．证明自动 机产生的口令符合动态口令的条件。系统有两种工作模式，同步时的登录模式和失步时的校准模式。在 校准模式下，只需经过两次握手，客户端和服务器就可以恢复同步。校准操作很容易，用户在客户端可以 独立操作完成，不需要管理员干预。 关键词：动态身份认证；动态口令；自动机；同步；独立 中图分类号：TP393．08 文献标识码：A 文章编号：1009-2714(2007)01。0064．05 0 引 言 身份认证分为动态身份认证和静态身份认证，静态身份认证时口令固定不变，安全性很低…。 而动态身份认证是每次登录换一个新的口令，即一次性口令【2 J，它的安全性极高，是身份认证技术发 展的一个重要方向。使用动态身份认证时，客户端需要一个令牌，其中保存一个唯一的大素数(种 子)，用于产生不重复的口令。动态身份认证主要有两种方式：时间同步式和事件式。它们都有些不 足 引。 本文提出一种新的动态身份方式——次数同步，它使用简单，而且不容易失步，即使失步，校准也 很容易。解决了上述两种算法的不足。 1 次数同步认证的原理 次数同步身份认证的基本思想是用米兰机来生成不重复的动态口令。米兰机 是一种具有离 散输入输出系统自动机的数学模型。这个系统具有有限的内部状态，各个状态互不相同。它有两个 输入字母表(理论上的米兰机只有一个输人字母表，本文中增加一个)和一个输出字母表，分别指明 所有允许的输入输出符号。有一个根据输入1从一个状态转移到另一个状态的转移规则，称为状态 转移函数。还有一个根据输入2产生输出字母的规则，称为输出函数。下面的例子说明米兰机的运 转原理。图1表示一个四节点的米兰的状态转移图。对应的7元组为M=(q，T。， ，R，6，g，q。)，q。 =a，q={a，b，c，d}，T1={00，Ol，10，11}，q2={0，1}，R={1，2，3，4，5，6，7，8}． 本算法中的米兰机去掉了结束状态。当米兰机经历了f(f为口令长度)次状态转移后，产生一个 口令，米兰机暂停，这个过程称为一轮。当要产生下一个口令时，再次启动米兰机。米兰机就是这样 一 轮一轮地运行下去。假设口令和路径长度为6，输人数据为100010011100和101011．首先，米兰机 收稿日期：2O06—o7—1O 作者简介：胡世曦(1973一 )，男，湖北黄石人，助教。 · 64· 读人输人一的前两位l0和输人二的前一位1，由状态转移函数 (a，10)=C可求出下一状态为C．由 输出函数g(a，1)=2可求出输出为2．接着，米兰机读人输人一的3，4位0o和输人二的第2位0，由 转移函数 (C，O0)=b和输出函数g(C，0)=6分别可求出下一个状态是b和下一个输出是6．类似的 过程再重复四次后，米兰机暂停，一轮结束。这一轮产生的路径和口令分别为cbbadd和268124．当需 要下个口令时，再次启动米兰机，将不同的输人一，二输人到米兰机中，就能产生一个新的不同的口 令。 2 口令的独立性 动态口令要保证安全性，需要满足两个条件 J： 1)口令不重复。一次一密口令系统正常运转时，不会产生相同的口令． 2)口令具有不相关性。包括两个方面：a，口令内部的各个子串不相关。b，不同的口令互不相 关．以上面的米兰机为例，证明米兰机满足上述条件。 dkey =k6川k6n+2k6n~3k6n+4k6n+5k6 + 表示第n个13令。k6 +。表示第n个13令的第一个字母，是第