并行攻击的讨论

本文从BAN逻辑的语义角度讨论了并行攻击,并提出了对并行攻击的判断方法。     

关于BAN逻辑扩展的注记

本文指出了Ｗ．Ｍａｏ（１９９５）对其协议（１）的证明中存在的错误，并对其在协议理论化过程中提出的Ｎ－ｕ规则作了探讨，指出了扩展Ｎ－ｕ的三条规则的缺陷，并作了改进，最后，给出一个例子说明Ｎ－ｕ规则的应用。     

DES已被攻破,AES即将诞生

介绍了DES及其发展,以及利用Internet联网计算机的空闲CPU时间攻破DES的情况。从1997年初,美国已经开始计划建立新的加密标准AES,并在世界范围内公开征集AES算法。本文对此也作了介绍,并介绍了AES标准的提纲。     

基于视觉对位的高精度封焊技术

在传统TO光器件封焊工艺中,封焊精度主要依靠管壳外径与管帽外径的尺寸公差决定。为了增强光芯片透过管帽透镜的出光功率,提高后道耦合效率,需解决管帽透镜中心与光芯片高精度对位的关键技术难题,将视觉定位技术引入封焊工艺是重要解决路径。。     

关于BAN逻辑扩展的注记

本文指出了W.Mao(1995)对其协议(1)的证明中存在的错误,并对其在协议理想化过程中提出的N-u规则作了探讨,指出其扩展N-u的三条规则的缺陷,并作了改进,最后,给出一个例子说明N-u规则的应用。     

一种防主动攻击保密增强的实现

本文提出了一种协议,用通信双方所共享的部分保密的信息对工信道上的消息进行认 ,因而用这种协议所实现的保密增强能够以一定的概率防止敌手的主动攻击,最后分析了这种协议中的数据分块上与主动攻击成功概率之间的关系,并指出了利用这种方法进行保密增强所需要的共享信息大小的一个下界。     

一种改进的认证逻辑

本文在BAN逻辑的基础上，提出了一种适用于公钥密码认证系统的逻辑，这是一种共享的方案，并举例说明了其应用．     

并行攻击的讨论

本文从ＢＡＮ逻辑的语义角度讨论了并行攻击,并提出了对并行攻击的判断方法。     

认证协议的形式分析——BAN逻辑

介绍了BAN逻辑,并用其对一个认证协议进行了分析,找到了该认证协议的一些弱点,说明了用BAN逻辑来对认证协议进行分析是有效的。最后,指出了BAN的发展方向。     

移动用户认证中的匿名问题

本文分析了一种移动用户的认证协议,讨论了其存在的匿名问题并提出了一种具有匿名特征的移动用户认证协议。