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

西安电子科技大学学报 2012年第4期39卷 23-28,154页

作者：孙瑾胡予濮西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 西安理工大学理学院数学系陕西西安710054

针对现有的广播加密方案效率与安全性难以兼顾的事实,利用Waters双系统密码技术及基于属性的密码系统,提出一个双系统密码技术下的基于属性的广播加密方案.该方案建立在标准模型下,通过对混合阶群双线性运算的正交性和向量属性的运用,... 详细信息

针对现有的广播加密方案效率与安全性难以兼顾的事实,利用Waters双系统密码技术及基于属性的密码系统,提出一个双系统密码技术下的基于属性的广播加密方案.该方案建立在标准模型下,通过对混合阶群双线性运算的正交性和向量属性的运用,成就了短的尺寸固定的密文,具有较高的计算效率与存储效率.该方案的安全性依赖于3个简单的静态假设,安全性证明显示该方案达到了完全安全性的高安全要求级别.

关键词：双系统密码基于属性的密码广播加密可证明安全

来源：评论

学校读者我要写书评

暂无评论

协议组合逻辑安全的4G无线网络接入认证方案

引用

通信学报 2012年第4期33卷 77-84页

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

针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案... 详细信息

针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案具有会话认证性和密钥机密性,能抵御伪基站攻击和重放攻击,并能提供不可否认服务和身份隐私性,同时提高了移动终端的接入效率。

关键词：自证实公钥协议组合逻辑协议演绎系统认证协议 4G

来源：评论

学校读者我要写书评

暂无评论

可证明安全的无中心授权的多授权属性签名

引用

电子科技大学学报 2012年第4期41卷 552-556页

作者：孙昌霞马文平陈和风西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 河南农业大学信息与管理科学学院郑州450002

设计了无需中心授权机构的多授权签名方案,将用户的多个属性由不同的授权机构分别管理。与往常的多授权机构密码体制不同,不需要一个可信的中心授权机构来管理和约束多个授权机构,而是可信授权机构的数量达到一定值就能保证整个系统的... 详细信息

设计了无需中心授权机构的多授权签名方案,将用户的多个属性由不同的授权机构分别管理。与往常的多授权机构密码体制不同,不需要一个可信的中心授权机构来管理和约束多个授权机构,而是可信授权机构的数量达到一定值就能保证整个系统的安全性,提高了系统的实用性。采用归约的可安全证明方法证明该方案的安全性归约为计算Diffie-Hellman难题、分布式密钥生成协议(DKG)和联合的零秘密共享协议(JZSS)的安全性,从而说明该方案有存在性、不可伪造和抗合谋攻击的安全特性。

关键词：基于属性 CDH难题中心授权机构合谋攻击多授权机构

来源：评论

学校读者我要写书评

暂无评论

不同周期的P元m序列之间的互相关性质

引用

西安电子科技大学学报 2012年第5期39卷 30-34,41页

作者：孙玉花李晖闫统江西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 中国科学院软件研究所信息安全重点实验室北京100049 中国石油大学(华东)理学院山东青岛266555

基于Ness和Helleseth等人对二元不同周期的m序列之间的互相关函数的研究,研究了不同周期的p元m序列之间的互相关性质,给出了周期为p2 m-1和pm-1的m序列之间的互相关函数所满足的方程,同时证明了当p等于3时,互相关函数至少是3个值的。

关键词：自相关互相关 m-序列 Kasami序列

来源：评论

学校读者我要写书评

暂无评论

地理位置路由中基于信任的安全模型

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

空间数据系统的一种安全解决方案

引用

载人航天 2012年第2期18卷 75-80页

作者：张应辉李晖朱辉西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

信息安全是空间数据系统工程实施中需要解决的重要问题之一。通过总结已有的加密算法和认证算法,分析和比较分组密码的基本运行模式,结合空间数据系统的特点和要求,给出了各种运行模式的选用原则,提出了针对空间数据系统的安全解决方案... 详细信息

信息安全是空间数据系统工程实施中需要解决的重要问题之一。通过总结已有的加密算法和认证算法,分析和比较分组密码的基本运行模式,结合空间数据系统的特点和要求,给出了各种运行模式的选用原则,提出了针对空间数据系统的安全解决方案。分析表明,该方案在安全性和效率方面有较好的实用价值。

关键词：空间数据系统信息安全数据加密认证运行模式

来源：评论

学校读者我要写书评

暂无评论

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

引用

通信学报 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年第4期40卷 805-813页

作者：李凤华苏铓史国振马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 中国科学院信息工程研究所北京100195 北京电子科技学院电子信息工程系北京100070

访问控制的任务是保证信息资源不被非法使用和访问,冲突检测与消解主要解决不同信息系统安全策略不统一的问题.随着计算机和网络通信技术的发展,先后出现了自主访问控制模型、强制访问控制模型、基于角色的访问控制模型、基于任务的访... 详细信息

访问控制的任务是保证信息资源不被非法使用和访问,冲突检测与消解主要解决不同信息系统安全策略不统一的问题.随着计算机和网络通信技术的发展,先后出现了自主访问控制模型、强制访问控制模型、基于角色的访问控制模型、基于任务的访问控制模型、面向分布式和跨域的访问控制模型、与时空相关的访问控制模型以及基于安全属性的访问控制模型等访问控制模型.本文从理论和应用研究两个角度分析和总结了现有访问控制技术、访问控制策略冲突检测与消解方法的研究现状,提出了目前访问控制模型及其冲突检测与消解研究在面向信息物理社会的泛在网络互联环境中存在的问题,并给出了细粒度多级安全的访问控制模型及其策略可伸缩调整方法的发展趋势.

关键词：访问控制冲突检测研究现状发展趋势

来源：评论

学校读者我要写书评

暂无评论

Maiorana-McFarland's Bent函数零化子空间维数

引用

计算机研究与发展 2012年第6期49卷 1243-1247页

作者：张凤荣胡予濮马华谢敏周宇中国矿业大学计算机科学与技术学院江苏徐州221116 计算机网络与信息安全教育部重点实验室(西安电子科技大学) 西安710071 西安电子科技大学理学院西安710071 中国电子科技集团公司第三十研究所保密通信重点实验室成都610041

在流密码和分组密码的设计中,所用布尔函数应该具有好的密码学性质来抵抗已知的各种有效攻击.布尔函数的低次零化子空间维数与其补函数低次零化子空间维数之和是评价该函数抵抗代数攻击能力的一个重要参数.根据Maiorana-McFarlands(M-... 详细信息

在流密码和分组密码的设计中,所用布尔函数应该具有好的密码学性质来抵抗已知的各种有效攻击.布尔函数的低次零化子空间维数与其补函数低次零化子空间维数之和是评价该函数抵抗代数攻击能力的一个重要参数.根据Maiorana-McFarlands(M-M)Bent函数和布尔置换之间的一一对应关系,给出了一组布尔函数组并证明了它们是线性无关的.借助所给的线性无关布尔函数组和布尔置换中向量函数非零线性组合均是平衡函数的特性,给出了一类特殊M-M Bent函数低次零化子空间的维数与其补函数低次零化子空间的维数之和的一个上限.就这类特殊M-M Bent函数而言,该上限低于已知的限.进一步给出了适合所有M-M Bent函数的新上限.

关键词：流密码布尔函数 Bent函数代数次数代数免疫度

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：