检索结果-内蒙古大学图书馆

北京邮电大学学报 2011年第2期34卷 54-57页

作者：杨元原马文平刘维博西安电子科技大学教育部计算机网络与信息安全重点实验室西安710071

提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度.定义了攻击者行为库和攻击规则选择算法,使检测者能根据不同的协议构造不同的攻击者模型.由于攻击者行为可任意组合,... 详细信息

提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度.定义了攻击者行为库和攻击规则选择算法,使检测者能根据不同的协议构造不同的攻击者模型.由于攻击者行为可任意组合,故实现了攻击者模型的可变性.可变攻击者模型保证了模型检测工具对协议分析的效率和准确性.

关键词：安全协议攻击者模型代数运算重写规则

来源：评论

学校读者我要写书评

暂无评论

空间信息网的分布式证书撤销机制

引用

宇航学报 2011年第8期32卷 1778-1785页

作者：任方马建峰钟焰涛西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

针对以卫星网络为核心的空间信息网分析其安全隐患与安全目标,提出使用公钥证书机制作为其基本安全机制。根据空间信息网没有中心节点这一特点,给出了一种分布式证书撤销算法及其具体实现细节。该算法中任意节点可以对异常节点发起撤销... 详细信息

针对以卫星网络为核心的空间信息网分析其安全隐患与安全目标,提出使用公钥证书机制作为其基本安全机制。根据空间信息网没有中心节点这一特点,给出了一种分布式证书撤销算法及其具体实现细节。该算法中任意节点可以对异常节点发起撤销指控,当指控量达到一定门限值时撤销异常节点的证书。网络中的节点只需维护两张表以标识全网节点证书状态,极大地减少了通信量。该算法可以防止被撤销节点发起有效指控,并且能够以很高的概率抵抗恶意节点的非法指控攻击。

关键词：卫星网络空间信息网公钥密码术证书分布式算法

来源：评论

学校读者我要写书评

暂无评论

一种基于D-S证据理论的Ad Hoc网络安全路由协议

引用

计算机研究与发展 2011年第8期48卷 1406-1413页

作者：李小青李晖杨凯马建峰计算机网络与信息安全教育部重点实验室(西安电子科技大学) 西安710071

基于D-S证据理论,设计了一个MANET信任评估模型,为路由建立提供安全的网络环境.改进ARAN协议,提出安全的路由协议AE-ARAN.协议根据信任评估结果选择可信节点建立路由,并提出在路由表中存储节点匿名身份的Hash路由登记表,保证ARAN协议认... 详细信息

基于D-S证据理论,设计了一个MANET信任评估模型,为路由建立提供安全的网络环境.改进ARAN协议,提出安全的路由协议AE-ARAN.协议根据信任评估结果选择可信节点建立路由,并提出在路由表中存储节点匿名身份的Hash路由登记表,保证ARAN协议认证安全,实现匿名安全和提高路由查找效率,同时协议在路由建立过程中,完成会话密钥协商.理论分析和仿真结果表明,所提出的协议能有效地检测和隔离恶意节点,抵御攻击.协议可实现路由匿名性,提高网络的效率及安全性.

关键词：密码学路由协议 D-S证据理论信任评估模型移动自组织网络

来源：评论

学校读者我要写书评

暂无评论

LEO/MEO双层空间信息网中基于身份的群组密钥管理方案

引用

宇航学报 2011年第7期32卷 1551-1556页

作者：钟焰涛马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

由于空间信息网中结点的移动性,在空间信息网中实现传统的群组密钥管理面临许多困难。根据空间信息网的特点,分析了空间信息网中群组密钥管理方案的需求,设计了一个适用于LEO/MEO双层空间信息网络的群组密钥管理方案,采用基于身份的思想... 详细信息

由于空间信息网中结点的移动性,在空间信息网中实现传统的群组密钥管理面临许多困难。根据空间信息网的特点,分析了空间信息网中群组密钥管理方案的需求,设计了一个适用于LEO/MEO双层空间信息网络的群组密钥管理方案,采用基于身份的思想,消除了对证书系统的依赖,能在空间信息网中灵活高效地实现。将空间信息网中的结点根据其逻辑位置划分为簇,其中簇头为MEO卫星,在密钥交换阶段中共享密钥仅由所有簇头结点决定,这种机制大大减少了通信量。方案能有效抵抗外部攻击者,并且具有前向保密性和后向保密性。仿真实验表明,方案具有很高的通信效率。

关键词：空间信息网 LEO/MEO双层结构群组密钥管理认证

来源：评论

学校读者我要写书评

暂无评论

一种分层结构与快速切换的可靠移动组播方案

引用

应用科学学报 2011年第5期29卷 453-458页

作者：刘宏月马建峰杨凯西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

移动IP组播技术能有效缓解移动环境的资源受限问题,但同时也面临许多挑战.文中提出了一个基于分层结构和快速切换的可靠移动组播方案(reliable mobile multicast scheme with hierarchical architecture and fasthandover capability,MM... 详细信息

移动IP组播技术能有效缓解移动环境的资源受限问题,但同时也面临许多挑战.文中提出了一个基于分层结构和快速切换的可靠移动组播方案(reliable mobile multicast scheme with hierarchical architecture and fasthandover capability,MMHFH),该方案综合运用微移动和链路层触发技术,针对切换过程中的组播开销、切换延迟、切换丢包、同步丢失、可扩展性以及路由影响等移动特性进行优化设计.OPNET仿真实验表明,MMHFH方案具有组播树稳定、组播维护开销小、切换延迟短、切换丢包少、可靠性高、可扩展性好、组播包传送效率高等特点.

关键词： IP网络移动组播分层结构快速切换链路层触发

来源：评论

学校读者我要写书评

暂无评论

可信的智能卡口令双向认证方案

引用

电子科技大学学报 2011年第1期40卷 128-133页

作者：杨力马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

提出一种基于智能卡的可信双向认证方案,使用散列函数认证身份,采用远程证明方法验证平台可信性。该方案支持安全会话密钥协商,支持用户身份匿名及口令自由更换,服务器平台证书可更新。分析表明,该方案可以抵抗针对智能卡口令认证方案... 详细信息

提出一种基于智能卡的可信双向认证方案,使用散列函数认证身份,采用远程证明方法验证平台可信性。该方案支持安全会话密钥协商,支持用户身份匿名及口令自由更换,服务器平台证书可更新。分析表明,该方案可以抵抗针对智能卡口令认证方案的常见攻击,安全高效,满足安全设计目标。

关键词：双向认证口令远程证明智能卡可信计算

来源：评论

学校读者我要写书评

暂无评论

协作中继分布的系统性能分析

引用

西安电子科技大学学报 2011年第1期38卷 80-84页

作者：王勇李晖张卫东西安电子科技大学计算机网络与信息安全教育部重点实验室

针对两类基本的单中继模型,通过分析瑞利衰落环境下放大转发和译码转发协作单中继系统的性能,研究了在放大转发和译码转发两种模式下,中继位置对系统容量和性能的影响.仿真表明中继位置对系统性能起着关键作用.对于放大转发模式,当中继... 详细信息

针对两类基本的单中继模型,通过分析瑞利衰落环境下放大转发和译码转发协作单中继系统的性能,研究了在放大转发和译码转发两种模式下,中继位置对系统容量和性能的影响.仿真表明中继位置对系统性能起着关键作用.对于放大转发模式,当中继位于源节点和目的节点连线的中点时,系统性能最优;对于译码转发模式,根据不同参数配置,当中继位于源节点和目的节点连线的中点且靠近源节点时,性能最优.

关键词：协作通信中继网络放大转发译码转发

来源：评论

学校读者我要写书评

暂无评论

可证明安全的可信网络连接协议模型

引用

计算机学报 2011年第9期34卷 1669-1678页

作者：马卓马建峰李兴华姜奇西安电子科技大学计算机学院西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

该文作者发现可信计算组织TCG提出的可信网络连接架构存在安全缺陷,攻击者利用这一缺陷可以发起一种平台替换攻击,攻击将导致可信网络连接过程中平台身份认证的失败和平台完整性校验错误.针对这一情况,文中形式化地给出了可信网络连接... 详细信息

该文作者发现可信计算组织TCG提出的可信网络连接架构存在安全缺陷,攻击者利用这一缺陷可以发起一种平台替换攻击,攻击将导致可信网络连接过程中平台身份认证的失败和平台完整性校验错误.针对这一情况,文中形式化地给出了可信网络连接协议的安全目标.在此基础之上,为了使协议的设计和分析更具一般性和安全性,提出一种可证明安全的可信网络连接协议模型(TNC-PS),通过模型中的绑定器,可将理想环境下设计的完整性评估层协议,转化为实际环境下安全性相同的等价协议.从而在保持可信网络连接架构不变的基础上,避免其安全缺陷造成的影响.最后,利用TNC-PS模型设计了一个完整性评估层协议,该协议能够满足可信网络连接协议的安全目标.

关键词：可信网络连接平台替换攻击可证明安全模型绑定器

来源：评论

学校读者我要写书评

暂无评论

基于分层移动的移动IPv6快速切换方案

引用

华南理工大学学报（自然科学版） 2011年第2期39卷 95-99,107页

作者：刘宏月马建峰杨凯西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

快速切换是移动IPv6技术的关键问题之一.为了改善移动IPv6的快速切换性能,文中提出一个基于分层移动的快速切换方案HMFH.该方案基于微移动和链路层触发的思想,重点针对切换过程中的切换延迟、切换丢包、可扩展性以及路由影响等移动特性... 详细信息

快速切换是移动IPv6技术的关键问题之一.为了改善移动IPv6的快速切换性能,文中提出一个基于分层移动的快速切换方案HMFH.该方案基于微移动和链路层触发的思想,重点针对切换过程中的切换延迟、切换丢包、可扩展性以及路由影响等移动特性进行设计.仿真结果表明,HMFH具有切换延迟短、切换丢包少、可扩展性好、路由效率高等优点,同时不会降低移动接入的安全性和可靠性,是一个高效的快速切换解决方案.

关键词： IP网络移动IPv6 快速切换分层移动链路层触发

来源：评论

学校读者我要写书评

暂无评论

比特搜索生成器的快速密钥恢复攻击

引用

电子科技大学学报 2011年第5期40卷 783-786页

作者：贾艳艳胡予濮高军涛西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

针对比特搜索生成器,利用Martin Hell关于自缩生成器的攻击思想,提出了一种基于多段密钥流的概率快速密钥恢复攻击。与目前已知的最好攻击结果相比,该攻击能够将计算复杂度从O(20.5LL3)降低到O(20.43LL3),特别地,当L为96时,计算复杂度... 详细信息

针对比特搜索生成器,利用Martin Hell关于自缩生成器的攻击思想,提出了一种基于多段密钥流的概率快速密钥恢复攻击。与目前已知的最好攻击结果相比,该攻击能够将计算复杂度从O(20.5LL3)降低到O(20.43LL3),特别地,当L为96时,计算复杂度可以达到O(20.39LL3),所需的数据复杂度为O(NL)。实验结果表明,随着密钥段数的增多,算法的计算复杂度明显减少;密钥长度越长,该算法的攻击效果越好。

关键词：比特搜索生成器密钥流生成器密钥恢复攻击缩减生成器流密码

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：