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

北京理工大学学报 2012年第5期32卷 503-507页

作者：张光华黄莉静田立勤西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 河北科技大学信息科学与工程学院河北石家庄050000 华北科技学院计算机系北京101601

针对无线传感器网络中地理位置路由易于受到的虚假路由信息、选择性转发、女巫等多重安全威胁,提出一种基于信任的多重攻击防御安全模型.考虑传感器节点资源受限的特性,通过一定时间内数据报的确认信息代替耗能的监听机制,使用Dirichle... 详细信息

针对无线传感器网络中地理位置路由易于受到的虚假路由信息、选择性转发、女巫等多重安全威胁,提出一种基于信任的多重攻击防御安全模型.考虑传感器节点资源受限的特性,通过一定时间内数据报的确认信息代替耗能的监听机制,使用Dirichlet分布函数计算路径上邻居节点的可靠性,并结合地理位置路由中的代价作出路由选择.同时,初始信任被动态决定,按照信任值划分服务等级以限制恶意节点的请求.仿真结果及分析表明,在多重攻击下该模型比已有模型在成功转发率、网络生命周期方面有较大的提高.

关键词：无线传感器网络地理位置路由信任 Dirichlet分布攻击防御

来源：评论

学校读者我要写书评

暂无评论

编码感知多跳无线网络安全路由协议

引用

通信学报 2012年第6期33卷 133-142页

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

分析了网络编码系统DCAR"编码+路由"发现过程存在的安全问题,提出了适用于编码感知安全路由协议的安全目标,设计了基于DCAR的编码感知安全路由协议DCASR,DCASR协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模... 详细信息

分析了网络编码系统DCAR"编码+路由"发现过程存在的安全问题,提出了适用于编码感知安全路由协议的安全目标,设计了基于DCAR的编码感知安全路由协议DCASR,DCASR协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模多跳无线网络特征和分析路由协议安全性,引入线程位置和线程位置相邻概念扩展安全系统逻辑LS2,提出了分析路由协议安全性的逻辑LS2-RP。LS2-RP用线程邻居集及邻居集的变化描述多跳无线网络的动态拓扑关系,用广播规则模型化多跳无线网络广播通信特征。最后,用LS2-RP协议编程语言描述了DCASR协议,用LS2-RP的谓词公式和模态公式描述DCASR协议的安全属性,用LS2-RP逻辑证明系统分析了DCASR协议的安全性,证明DCASR协议能够满足安全目标。

关键词：多跳无线网络安全路由协议 DCAR 形式化方法 LS2逻辑

来源：评论

学校读者我要写书评

暂无评论

机会网络中基于社会属性的按需密钥管理方案

引用

通信学报 2012年第12期33卷 93-99页

作者：陈曦李光松田有亮马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安 710071 中国电子科技集团公司第二十研究所陕西西安 710068 解放军信息工程大学信息工程学院河南郑州 450002

针对机会网络的间歇性连通、快速移动、自组织管理等特征,提出了基于社会属性的按需密钥管理方案.首先利用基于身份的门限签名方案,实现了节点社会属性的自认证.随后结合机会网络的路由特性,节点之间根据社会属性匹配度有选择地颁发身... 详细信息

针对机会网络的间歇性连通、快速移动、自组织管理等特征,提出了基于社会属性的按需密钥管理方案.首先利用基于身份的门限签名方案,实现了节点社会属性的自认证.随后结合机会网络的路由特性,节点之间根据社会属性匹配度有选择地颁发身份证书,并建立可度量的信任网.算法在优化证书图的同时,避免了恶意节点可能导致的无效证书链路的生成.实验仿真表明,该方案可提供较高的证书链重构成功率与节点认证可达率,并有效地降低了密钥管理所需的网络开销.

关键词：机会网络密钥管理身份密码学门限密码学社会属性证书图

来源：评论

学校读者我要写书评

暂无评论

基于身份的域间认证及密钥协商协议

引用

系统工程与电子技术 2012年第6期34卷 1258-1265页

作者：庞辽军徐银雨裴庆祺李慧贤王育民西安电子科技大学生命科学技术学院陕西西安710071 西安电子科技大学计算网络与信息安全教育部重点实验室陕西西安710071 西安电子科技大学通信工程学院陕西西安710071 西北工业大学计算机学院陕西西安710072

基于Shamir的秘密共享思想,提出了一种基于身份的域间认证及密钥协商协议。该协议要求域内节点共同参与共享密钥的生成,解决了现有的两方密钥协商方法用于域间认证,及密钥协商时不能保障代表节点可靠性和普通节点参与度的问题。协议的... 详细信息

基于Shamir的秘密共享思想,提出了一种基于身份的域间认证及密钥协商协议。该协议要求域内节点共同参与共享密钥的生成,解决了现有的两方密钥协商方法用于域间认证,及密钥协商时不能保障代表节点可靠性和普通节点参与度的问题。协议的正确性和安全性分析说明,该协议不仅满足密钥协商的基本安全属性,而且还满足数据保密性、数据完整性、抵抗代表节点假冒和欺骗等安全性要求。与使用现有的两方密钥协商协议进行域间认证及密钥协商相比较,本协议具有更低的通信量和计算量,同时,提高了域内普通节点在密钥协商过程中的参与度。

关键词：域间认证密钥协商共享密钥

来源：评论

学校读者我要写书评

暂无评论

一类高阶Bent函数的构造方法

引用

计算机工程 2012年第14期38卷 122-123,131页

作者：车小亮杨晓元申军伟武警工程学院电子技术系网络与信息安全武警部队重点实验室西安710086 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

提出一类高阶Bent函数的构造方法,将级联后的Bent序列转化为矩阵形式,对矩阵作任意行列置换,得到一类新的Bent序列,根据Bent序列的性质,对2个已知的n元Bent函数进行Kronecker积运算,由此构造一个2n元的Bent函数,同理对m个n元Bent函数进... 详细信息

提出一类高阶Bent函数的构造方法,将级联后的Bent序列转化为矩阵形式,对矩阵作任意行列置换,得到一类新的Bent序列,根据Bent序列的性质,对2个已知的n元Bent函数进行Kronecker积运算,由此构造一个2n元的Bent函数,同理对m个n元Bent函数进行Kronecker积运算,构造mn元高阶Bent函数,并对构造的mn元Bent函数进行矩阵变换,得到数量更多的高阶Bent函数。

关键词：密码学布尔函数级联Bent函数矩阵变换 Kronecker积运算高阶Bent函数

来源：评论

学校读者我要写书评

暂无评论

具有快速ID匿名的移动IP注册协议

引用

电子科技 2012年第11期25卷 109-111页

作者：董博王保仓魏文佳西安电子科技大学理学院陕西西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 西安电子科技大学通信工程学院陕西西安710071

针对移动IP注册过程中的匿名和认证问题,提出一个具有快速ID匿名的移动IP注册协议。该协议安全性是基于椭圆曲线CDH问题,通过构造临时ID保证真实ID的匿名性,每次注册请求中的临时ID都在不断变化,实现了用户ID的匿名性和位置隐蔽性。

关键词：移动IP ID匿名注册协议

来源：评论

学校读者我要写书评

暂无评论

异构无线网络混合认证模型

引用

华中科技大学学报（自然科学版） 2011年第2期39卷 11-14页

作者：姜奇李光松马建峰杨超西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 信息工程大学信息工程学院河南郑州450002

在分析现有异构无线网络认证方法的优点和不足的基础上,提出一种结合证书公钥和身份公钥的混合认证模型.在该认证模型中,用户与本地认证服务器及外地认证服务器之间的认证采用身份公钥体制,本地认证服务器与外地认证服务器之间采用证书... 详细信息

在分析现有异构无线网络认证方法的优点和不足的基础上,提出一种结合证书公钥和身份公钥的混合认证模型.在该认证模型中,用户与本地认证服务器及外地认证服务器之间的认证采用身份公钥体制,本地认证服务器与外地认证服务器之间采用证书公钥体制.该混合认证模型具有匿名性,可扩展性好,降低了资源消耗,符合异构无线网络的应用需求.安全性分析表明该模型在C-K模型下是安全的.

关键词：异构无线网络认证模型基于身份的公钥体制基于证书的公钥体制匿名

来源：评论

学校读者我要写书评

暂无评论

三类Semi-Bent函数的构造

引用

电子学报 2011年第1期39卷 233-236页

作者：何业锋马文平西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 西安邮电学院通信与信息工程学院陕西西安710121

Semi-bent函数是一种具有高非线性度的布尔函数,它们在密码和通信领域中都有重要的应用价值.本文构造了三类由迹函数表示的semi-bent函数.证明了当限制某些参数的取值范围时,这些新构造函数的semi-bent性与Kloosterman和密切相关.并且... 详细信息

Semi-bent函数是一种具有高非线性度的布尔函数,它们在密码和通信领域中都有重要的应用价值.本文构造了三类由迹函数表示的semi-bent函数.证明了当限制某些参数的取值范围时,这些新构造函数的semi-bent性与Kloosterman和密切相关.并且证明了每一类新构造的含有n个变元的semi-bent函数,都存在一个semi-bent函数的子类,它们的代数次数是n/2.利用Kloosterman和的零点,也给出了小域上semi-bent函数的例子.

关键词：布尔函数 semi-bent函数 Hadamard变换 Kloosterman和

来源：评论

学校读者我要写书评

暂无评论

一个安全无证书的盲签名方案

引用

计算机工程与应用 2011年第5期47卷 96-97,122页

作者：魏萍陈海滨杨晓元武警工程学院网络与信息安全武警部队重点实验室西安710086 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

提出了一个安全无证书的盲签名方案。新方案预运算e(P,P)=g作为系统公开参数,无需使用特殊的MapToPoint哈希函数,提高了方案的计算效率;同时方案中密钥生成中心(KGC)与用户间不再需要可信的安全通道,更加适合实际应用。此外新方案采用... 详细信息

提出了一个安全无证书的盲签名方案。新方案预运算e(P,P)=g作为系统公开参数,无需使用特殊的MapToPoint哈希函数,提高了方案的计算效率;同时方案中密钥生成中心(KGC)与用户间不再需要可信的安全通道,更加适合实际应用。此外新方案采用了无证书公钥密码体制,解决了基于证书签名方案的证书管理问题和基于身份签名方案的密钥托管问题。在q-SDH和CDH困难假设下新方案是不可伪造的。

关键词：无证书公钥密码体制盲签名双线性对

来源：评论

学校读者我要写书评

暂无评论

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

引用

东南大学学报（自然科学版） 2011年第2期41卷 258-265页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：