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

2010国防空天信息技术前沿论坛

作者：于海征马建峰边红西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 新疆师范大学数学科学学院新疆乌鲁木齐830054

随着空间任务在数量和复杂度的增加,空间通信中的网际互联逐渐替代和改进了传统的通信协议,容迟网络(DelayTolerant Network,DTN)架构为挑战网络提供了一种通信系统,更加适合日趋复杂的空间通信。本文提出了一种基于随机超图的空间容迟... 详细信息

随着空间任务在数量和复杂度的增加,空间通信中的网际互联逐渐替代和改进了传统的通信协议,容迟网络(DelayTolerant Network,DTN)架构为挑战网络提供了一种通信系统,更加适合日趋复杂的空间通信。本文提出了一种基于随机超图的空间容迟网络的传输模型,描述了卫星与地面基站的消息传输过程.在近地小卫星和地面基站的数据传输过程中,数据被分割成多个分块,利用容迟网络的Bundle协议,这些分块被封装成多个bundle包。传输过程中可能出现错误的bundle包,这些错误的bundle包在后续的链接中重新传输,针对一段时间的bundle包的传输和重传的过程,建立了一致随机超图模型,刻画了bundle包传输的图结构,分析了bundle包出错的概率和超图结构的关系。

关键词：容迟网络随机超图空间通信消息传输

来源：评论

学校读者我要写书评

暂无评论

用逻辑方法验证移动AdHoc网络协议

用逻辑方法验证移动AdHoc网络协议

引用

第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议

作者：郭显冯涛袁占亭马建峰兰州理工大学电气工程与信息工程学院兰州 730050 兰州理工大学计算机与通信学院兰州 730050 甘肃联合大学电子信息工程学院兰州 730010 兰州理工大学计算机与通信学院兰州 730050 西安电子科技大学计算机网络与信息安全教育部重点实验室西安 710071 兰州理工大学电气工程与信息工程学院兰州 730050 兰州理工大学计算机与通信学院兰州 730050 西安电子科技大学计算机网络与信息安全教育部重点实验室西安 710071

针对移动Ad Hoc网络节点移动和无线广播通信特征，引入移动算子和广播算子，扩展形式逻辑LS2，提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2. ELS2 把网络模型化为不同位置上执行程序的线程复合，把攻击者模型化为与协议参与方并... 详细信息

针对移动Ad Hoc网络节点移动和无线广播通信特征，引入移动算子和广播算子，扩展形式逻辑LS2，提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2. ELS2 把网络模型化为不同位置上执行程序的线程复合，把攻击者模型化为与协议参与方并发运行的线程. ELS2中提出网络迹概念,描述网络节点内部计算和外部交互，以及节点移动导致的网络进化过程,并在网络迹上定义谓词公式和模态公式的语义，以及分析网络协议属性。 ELS2证明系统中设计了捕获程序行为直观属性的新公理.最后,在ELS2逻辑中建模并分析了移动IP注册协议正确性属性。

关键词： Ad Hoc网络形式逻辑网络迹移动IP注册协议

来源：评论

学校读者我要写书评

暂无评论

WLAN Mesh漫游接入认证协议

引用

计算机研究与发展 2009年第7期46卷 1102-1109页

作者：曹春杰杨超马建峰朱建明通信系统信息控制技术国家重点实验室浙江嘉兴314033 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 中央财经大学信息学院北京100081

IEEE 802.11s WLAN Mesh没有定义客户端的漫游认证协议,并且其初始接入认证协议EMSA中,申请者和认证者的认证密钥是通过认证服务器产生的,所以申请者和认证者之后的所有通信完全可以被认证服务器获取.同时该协议中的基于共享密钥的认证... 详细信息

IEEE 802.11s WLAN Mesh没有定义客户端的漫游认证协议,并且其初始接入认证协议EMSA中,申请者和认证者的认证密钥是通过认证服务器产生的,所以申请者和认证者之后的所有通信完全可以被认证服务器获取.同时该协议中的基于共享密钥的认证方式不能保证前向保密性,一旦长期密钥丢失,由其保护的所有通信内容都将被泄露.在EMSA的基础上,利用三方Diffie-Hell man密钥交换和单独认证载荷技术提出了客户端漫游接入认证协议.该协议不但克服了上述缺陷,而且只需要4轮的协议交互便可以实现上述三者之间的相互认证和密钥确认,不需要4步握手进行密钥确认.并且新的协议将基于签名的认证方式和基于共享密钥的认证方式统一于单独的认证载荷,这样认证方式的改变并不影响认证协议的结构.最后对新的协议进行了可证明安全分析和NS2性能仿真,结果表明:新的协议是通用可组合安全的,并且性能优于现有协议.

关键词： WLAN Mesh 漫游相互认证通用可组合安全共享密钥 IEEE 802.11s

来源：评论

学校读者我要写书评

暂无评论

两类最优跳频序列集的线性复杂度

两类最优跳频序列集的线性复杂度

引用

第三届中国计算机网络与信息安全学术会议(CCNIS2010)

作者：高军涛胡予濮李雪莲向上荣西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 西安电子科技大学应用数学系西安710071 西安电子科技大学计算机学院西安710071

利用有限域中的一类不同于幂置换的置换多项式，将两类具有低线性复杂度的跳频序列集变换为具有高线性复杂度的最优跳频序列集。通过理论证明给出了变换以后序列线性复杂度的精确值。所得到的两类新的跳频序列集不仅具有最优的Hamming... 详细信息

利用有限域中的一类不同于幂置换的置换多项式，将两类具有低线性复杂度的跳频序列集变换为具有高线性复杂度的最优跳频序列集。通过理论证明给出了变换以后序列线性复杂度的精确值。所得到的两类新的跳频序列集不仅具有最优的Hamming相关值，而且相对于变换前的序列集具有大的线性复杂度，可以抵抗Berlekamp-Massey算法的攻击。

关键词：保密通信跳频序列线性复杂度置换多项式 Hamming相关

来源：评论

学校读者我要写书评

暂无评论

基于回声隐藏的VDSC隐写分析算法

引用

通信学报 2009年第2期30卷 83-88页

作者：杨榆雷敏钮心忻杨义先北京邮电大学网络与交换技术国家重点实验室信息安全中心北京100876 北京邮电大学网络与信息攻防技术教育部重点实验室北京100876 北京邮电大学软件学院北京100876

基于回声隐藏改变自然语言倒谱分布这一特点,提出了一种新的针对回声隐藏的隐写分析算法。该算法无需估计隐写分段大小,通过构造倒谱和差分方差统计量VDSC(variants of difference of sum of cepstrum)来反映隐写对自然语音音频的影响,... 详细信息

基于回声隐藏改变自然语言倒谱分布这一特点,提出了一种新的针对回声隐藏的隐写分析算法。该算法无需估计隐写分段大小,通过构造倒谱和差分方差统计量VDSC(variants of difference of sum of cepstrum)来反映隐写对自然语音音频的影响,从而判定该文件是否为回声隐藏文件。实验结果显示,该算法正确率为88%。

关键词：信息隐藏音频隐写分析回声隐藏分析

来源：评论

学校读者我要写书评

暂无评论

可证明安全的MANET按需源路由协议分析

引用

通信学报 2009年第1期30卷 38-44页

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

对MANET安全按需源路由协议的一种形式化分析模型进行了深入分析,指出其中存在的合并相邻敌手节点等不合理操作以及该模型下endairA协议安全性证明过程中的错误,并给出了一种针对endairA协议的隐蔽信道攻击,表明该协议即使在其安全分析... 详细信息

对MANET安全按需源路由协议的一种形式化分析模型进行了深入分析,指出其中存在的合并相邻敌手节点等不合理操作以及该模型下endairA协议安全性证明过程中的错误,并给出了一种针对endairA协议的隐蔽信道攻击,表明该协议即使在其安全分析模型下也不能满足其安全目标。

关键词：路由协议可证明安全形式化分析模拟隐蔽信道攻击

来源：评论

学校读者我要写书评

暂无评论

可信的匿名无线认证协议

引用

通信学报 2009年第9期30卷 29-35页

作者：杨力马建峰朱建明西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 中央财经大学信息学院北京100081

提出一种可信的匿名无线认证协议,对移动用户身份进行认证的同时验证用户终端平台可信性,认证过程的每阶段使用不同的临时身份和一次性密钥,保持用户身份和平台信息的匿名性,分析表明协议安全可靠,具有域分离特性和密钥协商公正性,计算... 详细信息

提出一种可信的匿名无线认证协议,对移动用户身份进行认证的同时验证用户终端平台可信性,认证过程的每阶段使用不同的临时身份和一次性密钥,保持用户身份和平台信息的匿名性,分析表明协议安全可靠,具有域分离特性和密钥协商公正性,计算代价和消息交互轮数满足无线移动网络环境需求。

关键词：可信计算无线认证协议远程证明

来源：评论

学校读者我要写书评

暂无评论

42轮SHACAL-2新的相关密钥矩形攻击

引用

通信学报 2009年第1期30卷 7-11,17页

作者：韦永壮胡予濮西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 桂林电子科技大学信息与通信学院广西桂林541004

利用SHACAL-2密码算法轮变换的特点,构造了一个新型的34轮区分器。基于该区分器和部分密钥分别猜测的技术,针对40轮、42轮简化SHACAL-2分别给出了新的攻击方法。研究结果表明:利用2个相关密钥,对40轮SHACAL-2进行相关密钥矩形攻击其数... 详细信息

利用SHACAL-2密码算法轮变换的特点,构造了一个新型的34轮区分器。基于该区分器和部分密钥分别猜测的技术,针对40轮、42轮简化SHACAL-2分别给出了新的攻击方法。研究结果表明:利用2个相关密钥,对40轮SHACAL-2进行相关密钥矩形攻击其数据复杂度约为2235选择明文数据量,计算复杂度约为2432.6次加密;而对42轮SHACAL-2进行相关密钥矩形攻击其数据复杂度约为2235选择明文数据量,计算复杂度约为2472.6次加密。与已有的结果相比较,这些新分析所需的数据复杂度和计算复杂度均有明显的降低。

关键词：分组密码相关密钥矩形攻击 SHACAL-2算法计算复杂度

来源：评论

学校读者我要写书评

暂无评论

一种新的基于椭圆曲线密码体制的Ad hoc组密钥管理方案

引用

电子学报 2009年第5期37卷 918-924页

作者：冯涛王毅琳马建峰兰州理工大学计算机与通信学院甘肃兰州730050 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

在安全的组通信中,组密钥管理是最关键的问题.论文首先分析了组密钥管理的现状和存在的问题,然后基于椭圆曲线密码体制,针对Ad hoc网络提出了一种安全有效的分布式组密钥管理方案,并对其正确性和安全性进行了证明,由椭圆曲线离散对数困... 详细信息

在安全的组通信中,组密钥管理是最关键的问题.论文首先分析了组密钥管理的现状和存在的问题,然后基于椭圆曲线密码体制,针对Ad hoc网络提出了一种安全有效的分布式组密钥管理方案,并对其正确性和安全性进行了证明,由椭圆曲线离散对数困难问题保证协议的安全.针对Ad hoc网络节点随时加入或退出组的特点,提出了有效的组密钥更新方案,实现了组密钥的前向保密与后向保密.与其他组密钥管理方案相比,本方案更加注重组成员的公平性,没有固定的成员结构,并且还具有轮数少、存储开销、通信开销小等特点,适合于在Ad hoc网络环境中使用.

关键词：组密钥管理椭圆曲线离散对数前向保密后向保密

来源：评论

学校读者我要写书评

暂无评论

基于ECC的远程用户智能卡认证方案

引用

计算机工程 2009年第5期35卷 142-143,155页

作者：余卿斐杨晓元周宣武武警工程学院电子技术系网络与信息安全武警部队重点实验室西安710086 西安电子科技大学网络信息安全教育部重点实验室西安710071

针对对Hwang-Li智能卡认证方案的有效攻击,提出一类基于椭圆曲线密码的远程用户智能卡认证方案。利用椭圆曲线上的离散对数问题设计单向陷门函数,使口令和身份不再是简单的基数与幂的关系。避免Shen-Lin-Hwang攻击和Chan-Cheng攻击,充... 详细信息

针对对Hwang-Li智能卡认证方案的有效攻击,提出一类基于椭圆曲线密码的远程用户智能卡认证方案。利用椭圆曲线上的离散对数问题设计单向陷门函数,使口令和身份不再是简单的基数与幂的关系。避免Shen-Lin-Hwang攻击和Chan-Cheng攻击,充分发挥椭圆曲线密码系统密钥量小、效率高的优势。在同等安全强度下,以较少的存储空间和较小的通信带宽与系统开销实现较高的安全性,可广泛应用于分布式系统。

关键词：用户认证智能卡椭圆曲线密码体制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：