任侠
- 作品数：8 被引量：146H指数：3
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- IP欺骗原理分析被引量：7
- 2003年
- IP欺骗是一种复合型网络攻击技术。它将IP地址伪造技术、TCPSYN洪流攻击技术与TCP序列号猜测技术融为一体,并且在攻击过程中利用了具有信任关系的主机间采取的基于地址的认证方式。论文在介绍TCP/IP相关知识的基础上对IP欺骗的原理进行了全面、详尽的分析。
- 任侠吕述望
- 关键词：IP欺骗TCP信任关系
- 密码协议分析的形式化方法研究被引量：3
- 2003年
- 本文探讨了在密码协议的分析过程中,引入形式化方法的必然性。
- 任侠吕述望
- 关键词：密码协议形式化方法密码学
- 鉴别协议在Windows 2000域登录过程中的应用被引量：2
- 2003年
- 在网络安全领域,鉴别(Authentication)的含义是:向计算机系统或应用程序证实用户的身份。在Windows2000域登录过程中进行身份鉴别可以选用两个协议,它们分别是Kerberos协议与NTLM协议。
- 任侠吕述望
- 关键词：WINDOWSKERBEROS协议
- NS公钥认证协议的另一个改进方法被引量：2
- 2004年
- 将NS公钥认证协议解析为两个质询-应答型的单向认证子协议,并从消息方向标识缺失的角度对协议的设计缺陷进行了分析,在该基础上提出了针对NS公钥认证协议的另一种改进方法。
- 任侠吕述望
- ARP协议欺骗原理分析与抵御方法被引量：125
- 2003年
- ARP协议欺骗是网络欺骗行为之一，它使得攻击者可以重定向一个以太网段上的IP数据报以取得目标主机的信任。该文主要从以下4个部分：背景知识、欺骗原理、攻击方式、抵御方法对ARP协议欺骗技术进行了全面的、深入浅出的分析。
- 任侠吕述望
- 关键词：ARP协议欺骗IP协议以太网
- 形式化方法在安全协议验证领域内的应用研究
- 该文中,我们探讨了形式化方法在安全协议验证领域内的相关应用问题.其中,我们工作的重点将集中在Strand空间方法上.首先,我们介绍了安全协议描述方法发展的三个阶段,由此引出形式化方法应用于安全协议验证领域内的初衷.随后,...
- 任侠
- 关键词：安全协议形式化方法
- 文献传递
- 安全密钥与秘密属性之间关系的研究被引量：3
- 2004年
- 在Strand空间中引入理想的概念 ,可以简化安全协议的证明过程 .此外 ,在Strand空间中引入安全密钥的定义 ,可以作为对协议密钥设计要求的描述 .相关文献只给出了理想结构的大致轮廓 ,论文引入新的符号以给出理想结构的内部细节 .在此基础上 ,借助理想的概念重新描述了安全密钥的设计要求 .针对具有密钥分发功能的安全协议的秘密属性 ,相关文献借助理想概念给出的证明过程缺乏直观性 .论文证明 :协议实现其秘密属性的结论等价于协议对于密钥的使用符合安全密钥的设计要求的结论 .这不仅为利用理想概念证明协议秘密属性的抽象过程提供了直观解释 。
- 吕述望任侠
- 关键词：STRAND空间安全协议安全密钥网络安全
- 基于Strand空间分析具有类型缺陷的认证协议被引量：4
- 2004年
- 通过去除Strand空间中的强类型抽象假设 ,引入Strand模板的概念与一个入侵者的伪操作 ,进而利用认证测试方法 ,实现了对具有类型缺陷的认证协议的直接分析 .
- 任侠吕述望
- 关键词：STRAND空间
