左英男
- 作品数：7 被引量：68H指数：5
- 供职机构：中国科学技术大学研究生院信息安全国家重点实验室更多>>
- 相关领域：电子电信自动化与计算机技术经济管理更多>>
- 类BAN逻辑基本模型及缺陷被引量：10
- 2000年
- 类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并依据该模型对类 BA N逻辑的缺陷进行分类 ,最后指出进一步发展类
- 许剑卓戴英侠左英男
- 关键词：密码协议BAN逻辑
- 在驱动程序中对硬盘加密被引量：8
- 2000年
- 可移动硬盘使用的日益广泛，为保证硬盘在丢失时不造成严重的损失，有必要对硬盘加密。我们开发了ＮＴ和Ｗｉｎ９５ 下的硬盘驱动程序，在该驱动程序中直接对硬盘加密，只有持有密钥的用户才能够访问该硬盘。
- 许剑卓戴英侠左英男
- 关键词：驱动程序硬盘加密WINDOWSNTWINDOWS95
- 类BAN逻辑的两个重要缺陷被引量：2
- 2000年
- 类ＢＡＮ逻辑通常都分析了ＢＡＮ逻辑的缺陷并相应地发展了自己的推理法则，在 ＢＡＮ逻辑的缺陷中最受关注的是消息可识别性问题和密钥保密性问题。该文重新对这两个问题进行分析并指出以前类ＢＡＮ逻辑中对这两个缺陷的理解是错误的，并把这两个缺陷归结为消息不可伪造问题和信任模型问题。同时指出进一步法则类ＢＡＮ逻辑应解决的问题。
- 张萌许剑卓左英男
- 关键词：密码协议BAN逻辑密码学网络通信安全
- TLS协议的分析与实现
- 该文中对TLS协议中的记录协议和握手协议进行了深入的分析,得到了TLS握手协议的有限状态图和抽象模型,发现了TLS协议存在的几处安全缺陷和协议冗余,并提出了相应的改进建议.另外,研究人员还设计开发了TLS协议软件包,并提...
- 左英男
- 关键词：网络安全安全协议SSLTLS安全中间件
- 文献传递
- SSL协议的安全缺陷与改进被引量：38
- 2000年
- 讨论了用来保护Internet网络中的通信数据的SSL(和TLS)协议的安全缺陷与攻击方法 ,并分析了协议发展过程中所作的改进 .
- 戴英侠左英男许剑卓
- 关键词：SSL协议TLS协议INTERNET信息安全
- 一种安全的Internet小额交易协议分析被引量：7
- 2000年
- 随着Ｉｎｔｅｒｎｅｔ网络技术和电子商务的迅速发展，人们对方便且安全的电子支付技术的需求越来越迫切，ＮｅｔＢｉｌｌ安全交易协议正是在这种要求下出现的。它是为Ｉｎｔｅｒｎｅｔ上数字商品的小额交易而设计的安全交易协议。针对ＮｅｔＢｉｌｌ协议设计的目标，分析了其协议中核心部分的安全性，指出了该协议中的不足之处，并提出了相应的改进意见。
- 左英男戴英侠许剑卓
- 关键词：电子支付电子商务INTERNET网
- 一种混合认证体制被引量：6
- 2000年
- 传统的认证有两种方式：对称密码机制（基于共享秘密）和非对称密码机制，但两种各有优缺点。在具体应用中设计了一种结合对称密码体制和非对称密码体制的混合认证体制，这种认证体制有着明显优于原来两种体制的特点。
- 许剑卓戴英侠左英男
- 关键词：密码协议信息安全
