许剑卓

作品数:7被引量:31H指数:3
导出分析报告
供职机构:中国科学院研究生院信息安全国家重点实验室更多>>
发文主题:密码协议BAN逻辑INTERNET信息安全模式识别更多>>
发文领域:电子电信自动化与计算机技术经济管理更多>>
发文期刊:《计算机应用》《软件学报》《计算机工程》《计算机安全》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-7
视图:
排序:
入侵的手段、安全漏洞及其某些防范工具的分析
《计算机安全》2002年第21期36-39,共4页戴英侠 许剑卓 
一、黑客攻击手段现状和发展方向当前的攻击手段主要包括对服务器的攻击、客户端的控制以及拒绝服务攻击。对服务器的攻击包括传统的内存处理漏洞(缓冲区溢出漏洞、堆溢出漏洞、格式化串漏洞)、弱口令漏洞、脚本漏洞(ASP/PHP/PERL等)、...
关键词:入侵 安全漏洞 防范工具 漏洞扫描 黑客 网络漏洞 入侵检测 
类BAN逻辑基本模型及缺陷被引量:5
《软件学报》2000年第12期1660-1665,共6页许剑卓 戴英侠 左英男 
类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并...
关键词:密码协议 BAN逻辑 缺陷 
一种安全的Internet小额交易协议分析被引量:4
《计算机工程》2000年第7期136-138,共3页左英男 戴英侠 许剑卓 
随着Internet网络技术和电子商务的迅速发展,人们对方便且安全的电子支付技术的需求越来越迫切,NetBill安全交易协议正是在这种要求下出现的。它是为Internet上数字商品的小额交易而设计的安全交易协议。针对...
关键词:安全交易协议 电子支付 电子商务 INTERNET网 
类BAN逻辑的两个重要缺陷被引量:1
《计算机工程》2000年第7期133-135,共3页张萌 许剑卓 左英男 
类BAN逻辑通常都分析了BAN逻辑的缺陷并相应地发展了自己的推理法则,在 BAN逻辑的缺陷中最受关注的是消息可识别性问题和密钥保密性问题。该文重新对这两个问题进行分析并指出以前类BAN逻辑中对这两个缺陷的理解是错误的...
关键词:密码协议 BAN逻辑 缺陷 密码学 网络通信安全 
SSL协议的安全缺陷与改进被引量:16
《中国科学院研究生院学报》2000年第1期86-92,共7页戴英侠 左英男 许剑卓 
国家 973资助!项目 (G19990 35 80 1)
讨论了用来保护Internet网络中的通信数据的SSL(和TLS)协议的安全缺陷与攻击方法 ,并分析了协议发展过程中所作的改进 .
关键词:SSL协议 TLS协议 安全缺陷 INTERNET 信息安全 通信业务流 
一种混合认证体制被引量:3
《计算机工程》2000年第3期63-64,87,共3页许剑卓 戴英侠 左英男 
传统的认证有两种方式:对称密码机制(基于共享秘密)和非对称密码机制,但两种各有优缺点。在具体应用中设计了一种结合对称密码体制和非对称密码体制的混合认证体制,这种认证体制有着明显优于原来两种体制的特点。
关键词:密码协议 认证体制 安全 信息安全 
在驱动程序中对硬盘加密被引量:2
《计算机应用》2000年第1期78-80,共3页许剑卓 戴英侠 左英男 
可移动硬盘使用的日益广泛,为保证硬盘在丢失时不造成严重的损失,有必要对硬盘加密。我们开发了NT和Win95 下的硬盘驱动程序,在该驱动程序中直接对硬盘加密,只有持有密钥的用户才能够访问该硬盘。
关键词:驱动程序 硬盘加密 WINDOWSNT WINDOWS95 
检索报告 对象比较 聚类工具 使用帮助 返回顶部