任侠

作品数：7被引量：116H指数：2
导出分析报告
供职机构：中国科学技术大学更多>>
发文主题：STRAND空间安全协议形式化方法以太网IP协议更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机应用研究》《信息安全与通信保密》《计算机工程与应用》《计算机工程》更多>>
所获基金：国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
NS公钥认证协议的另一个改进方法被引量：2
《计算机工程》2004年第16期12-13,共2页任侠 吕述望 
国家"973"计划基金资助项目(G1999035800)
将NS公钥认证协议解析为两个质询-应答型的单向认证子协议,并从消息方向标识缺失的角度对协议的设计缺陷进行了分析,在该基础上提出了针对NS公钥认证协议的另一种改进方法。
关键词：NS公钥认证协议 质询-应答 方向标识 
基于Strand空间分析具有类型缺陷的认证协议
《中国科学院研究生院学报》2004年第4期543-548,共6页任侠 吕述望 
国家 973项目 (G19990 3 5 80 0 )资助
通过去除Strand空间中的强类型抽象假设 ,引入Strand模板的概念与一个入侵者的伪操作 ,进而利用认证测试方法 ,实现了对具有类型缺陷的认证协议的直接分析 .
关键词：STRAND空间 认证协议 强类型抽象 类型缺陷 认证测试 
安全密钥与秘密属性之间关系的研究被引量：1
《中国科学技术大学学报》2004年第2期234-240,共7页吕述望 任侠 
国家"973"计划 (G1 9990 35 80 0 )
在Strand空间中引入理想的概念 ,可以简化安全协议的证明过程 .此外 ,在Strand空间中引入安全密钥的定义 ,可以作为对协议密钥设计要求的描述 .相关文献只给出了理想结构的大致轮廓 ,论文引入新的符号以给出理想结构的内部细节 .在此基...
关键词：STRAND空间 安全协议 理想 安全密钥 秘密属性 网络安全 
IP欺骗原理分析被引量：5
《计算机工程与应用》2003年第23期166-169,共4页任侠 吕述望 
IP欺骗是一种复合型网络攻击技术。它将IP地址伪造技术、TCPSYN洪流攻击技术与TCP序列号猜测技术融为一体,并且在攻击过程中利用了具有信任关系的主机间采取的基于地址的认证方式。论文在介绍TCP/IP相关知识的基础上对IP欺骗的原理进行...
关键词：IP欺骗 IP地址伪造 TCP序列号猜测 TCP SYN洪流 信任关系 
ARP协议欺骗原理分析与抵御方法被引量：107
《计算机工程》2003年第9期127-128,182,共3页任侠 吕述望 
ARP协议欺骗是网络欺骗行为之一，它使得攻击者可以重定向一个以太网段上的IP数据报以取得目标主机的信任。该文主要从以下4个部分：背景知识、欺骗原理、攻击方式、抵御方法对ARP协议欺骗技术进行了全面的、深入浅出的分析。
关键词：ARP协议欺骗 IP协议 以太网 
鉴别协议在Windows 2000域登录过程中的应用
《计算机应用研究》2003年第7期83-86,共4页任侠 吕述望 
在网络安全领域,鉴别(Authentication)的含义是:向计算机系统或应用程序证实用户的身份。在Windows2000域登录过程中进行身份鉴别可以选用两个协议,它们分别是Kerberos协议与NTLM协议。
关键词：鉴别 WINDOWS 2000 域登录 KERBEROS协议 NTLM协议 
密码协议分析的形式化方法研究被引量：1
《信息安全与通信保密》2003年第4期37-39,共3页任侠 吕述望 
本文探讨了在密码协议的分析过程中,引入形式化方法的必然性。
关键词：密码协议 形式化方法 描述方法 密码学 安全 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部