张岚
- 作品数：6 被引量：9H指数：2
- 供职机构：解放军信息工程大学电子技术学院更多>>
- 发文基金：国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于广义串空间模型构造攻击的缺陷及改进被引量：1
- 2007年
- 该文设计一个类似于Millen曾经构造的“ffgg”协议——“ffgg^★”协议，它们有共同的密码学性质。使用基于广义串空间模型的构造攻击对该协议进行分析，结果表明协议在非类型缺陷攻击下是安全的，这与Millen用Pulson的归纳法分析“ffgg”协议有相同的结果，并指出该方法是有缺陷的。针对这个缺陷，给出改进的措施，改进的构造攻击能发现“ffgg^★”协议中的类型缺陷攻击。
- 王建华张岚何良生许旸
- 双向认证的密码协议及其形式分析与应用被引量：1
- 2006年
- 在安全数据通信中,身份认证和会话密钥的协商是极为重要的问题,近年来,实现这种类型的密码协议主要是通过可信第三方参与身份的认证和会话密钥的协商,因而,可信第三方的可靠性和安全性是系统性能的瓶颈。提出了一个双向的认证密码协议,解决了可信第三方的性能瓶颈问题,是一个更为有效的、安全的密码协议。用串空间的认证测试理论对其进行了形式分析,最后探讨了它在TLS协议中的应用。
- 张岚何良生
- 关键词：数字签名串空间
- 两个基于身份的数字签名方案的安全性分析
- 本文分析了文献提出的两个基于用户身份的数字签名方案,发现其一般签名方案存在安全性缺陷,而多重签名方案也是不安全的.
- 张岚余昭平
- 关键词：口令认证数字签名多重签名
- 后继攻击以及它的应用
- 分析了密码分纽链接模式（CBC）的基本原理,发现了应用CBC模式加密的许多认证协仪存在严重的缺陷。以Needham-Schroeder与Yahalom协议为例,说明了由于这个缺陷而引起的对认证密码协议的攻击,并给出了相应...
- 张岚余昭平
- 文献传递
- 串空间理论的扩展及其应用被引量：3
- 2006年
- 基于恶意攻击软件的工作原理对串空间理论进行了扩展;分析了TLS协议的安全性,发现了一个在其它文献中未曾言明的攻击,并给出了相应的修正措施;最后,提出了设计密码协议时应注意的两点策略。
- 张岚何良生
- 关键词：TLS协议
- 改进的Kailar逻辑在协议分析中的应用被引量：4
- 2005年
- 通过对Kailar逻辑进行改进,提出了一种新的用于分析电子商务协议的形式化方法。新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力。该方法既能推导协议的可追究性又能分析协议的公平性,与其它的方法相比较,这一新方法既避免了Kailar逻辑的缺陷又能分析复杂的电子商务协议。
- 余昭平张岚
- 关键词：电子商务可追究性形式化分析
