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

吉林大学学报（工学版） 2012年第2期42卷 440-445页

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

考察了由卫星和接入节点所构成的分层式空间信息网模型,首次提出了一种适用于该网络模型的基于证书的公钥基础设施。该模型中作为核心网络的卫星层采用分布式CA管理证书,而其他节点作为接入节点,其证书管理采用集中式CA。该模型具有很... 详细信息

考察了由卫星和接入节点所构成的分层式空间信息网模型,首次提出了一种适用于该网络模型的基于证书的公钥基础设施。该模型中作为核心网络的卫星层采用分布式CA管理证书,而其他节点作为接入节点,其证书管理采用集中式CA。该模型具有很强的可扩展性和一定的安全性,适用于空间信息网复杂而多变的环境。

关键词：计算机应用空间信息网公钥基础设施证书 RSA算法签名

来源：评论

学校读者我要写书评

暂无评论

安全高效的空间信息网中群组密钥交换协议

引用

吉林大学学报（工学版） 2012年第1期42卷 203-206页

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

为实现空间信息网中保密通信,提出一个适用于空间信息网的群组密钥交换协议。协议充分考虑了空间信息网中结点的通信特点,所有的卫星结点根据其所在的轨道划分为不同的簇。协议由簇内阶段、簇间阶段和密钥分发阶段组成,每个结点均生成... 详细信息

为实现空间信息网中保密通信,提出一个适用于空间信息网的群组密钥交换协议。协议充分考虑了空间信息网中结点的通信特点,所有的卫星结点根据其所在的轨道划分为不同的簇。协议由簇内阶段、簇间阶段和密钥分发阶段组成,每个结点均生成密钥贡献值并汇总至地面中心结点,中心结点生成密钥并秘密发送给每个结点。证明了协议具有语义安全性,进行了通信复杂度分析并利用NS2软件进行了仿真验证。结果表明:相比其他协议,本文协议在空间信息网中应用时具有较高的通信效率。

关键词：通信技术群组密钥交换可证明安全空间信息网语义安全性

来源：评论

学校读者我要写书评

暂无评论

有效的多协议攻击自动化检测系统

引用

重庆大学学报（自然科学版） 2012年第2期35卷 71-77页

作者：杨元原马文平刘维博张笑笑西安电子科技大学教育部计算机网络与信息安全重点实验室陕西西安710071 公安部第三研究所上海200031

针对当前计算机网络中多个安全协议并行运行时可能出现的多协议攻击问题,提出了一个多协议攻击自动化检测系统(ADMA)。该系统由协议搜索子系统和攻击确认子系统两部分组成,其中协议搜索子系统根据多协议攻击中目标协议与辅助协议加密消... 详细信息

针对当前计算机网络中多个安全协议并行运行时可能出现的多协议攻击问题,提出了一个多协议攻击自动化检测系统(ADMA)。该系统由协议搜索子系统和攻击确认子系统两部分组成,其中协议搜索子系统根据多协议攻击中目标协议与辅助协议加密消息类型一致性条件,自动化搜索可能对目标协议构成威胁的候选辅助协议。攻击确认子系统通过改进的SAT模型检测方法,自动化确认目标协议与候选辅助协议是否存在多协议攻击。试验结果表明,ADMA系统能够实现多协议攻击自动化检测,并且检测中发现了新的多协议攻击。

关键词：全协议形式化分析模型检测重写规则多协议攻击

来源：评论

学校读者我要写书评

暂无评论

基于加权下推系统优化可达性分析的Java安全信息流研究

引用

计算机研究与发展 2012年第5期49卷 901-912页

作者：孙聪唐礼勇陈钟马建峰计算机网络与信息安全教育部重点实验室(西安电子科技大学) 西安710071 高可信软件技术教育部重点实验室(北京大学) 北京100871

信息流安全的形式化以无干扰性为标准属性.针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示,提出了一种基于语义的无干扰性自动验证方法.为适应语言特性和应用环境的限制,将基本自合成扩展为低安全级记录自合成,以... 详细信息

信息流安全的形式化以无干扰性为标准属性.针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示,提出了一种基于语义的无干扰性自动验证方法.为适应语言特性和应用环境的限制,将基本自合成扩展为低安全级记录自合成,以支持对标错状态的可达性分析,保证标错状态不可达时对应字节码程序满足无干扰性.在此基础上为提高实际验证效率提出了3种模型优化方法.实验说明方法的可用性、效率、可扩展性及模型优化的实际效果.

关键词：信息流无干扰性加权下推系统自合成可达性分析

来源：评论

学校读者我要写书评

暂无评论

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

引用

通信学报 2012年第2期33卷 175-181页

作者：高军涛胡予濮李雪莲向上荣西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 中国科学院软件研究所信息安全国家重点实验室北京100190 西安电子科技大学应用数学系陕西西安710071 西安电子科技大学计算机学院陕西西安710071

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

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

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

来源：评论

学校读者我要写书评

暂无评论

标准模型下的格基数字签名方案

引用

西安电子科技大学学报 2012年第4期39卷 57-61,119页

作者：王凤和胡予濮贾艳艳西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 山东建筑大学理学院山东济南250101

为了改进盆景树(Bonsai trees)格基签名方案的实现效率,提出了一个新的格基数字签名方案.在标准模型下,该方案的存在性不可伪造性是基于格上小整数解问题(SIS)的困难性.作为Bonsai trees签名的一个改进方案,改进方案的公钥长度由Bonsai ... 详细信息

为了改进盆景树(Bonsai trees)格基签名方案的实现效率,提出了一个新的格基数字签名方案.在标准模型下,该方案的存在性不可伪造性是基于格上小整数解问题(SIS)的困难性.作为Bonsai trees签名的一个改进方案,改进方案的公钥长度由Bonsai trees签名的(2k+1)mnlogq比特缩减为(k+1)mnlogq比特,同时消息的签名长度也由原Bonsai trees签名的(k+1)mlogq比特缩减到(1+k/2)mlogq比特,能更好地实现签名方案的效率.

关键词：数字签名格盆景树最小整数解问题标准模型

来源：评论

学校读者我要写书评

暂无评论

对广义自缩生成器的区分攻击

引用

西安电子科技大学学报 2012年第4期39卷 114-119页

作者：李雪莲高军涛胡予濮张凤荣西安电子科技大学理学院陕西西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 信息安全国家重点实验室中国科学院软件研究所北京100190

广义自缩生成器是一类结构简单、易于实现的流密码生成器.研究了广义自缩序列的安全性,利用生成器中反馈多项式及序列v对广义自缩生成器进行了区分攻击,表明如果广义自缩生成器的反馈多项式f(x)存在重量为w、次数为h的倍式,那么攻击者... 详细信息

广义自缩生成器是一类结构简单、易于实现的流密码生成器.研究了广义自缩序列的安全性,利用生成器中反馈多项式及序列v对广义自缩生成器进行了区分攻击,表明如果广义自缩生成器的反馈多项式f(x)存在重量为w、次数为h的倍式,那么攻击者只要选择hw-1个密钥流比特就可以进行区分攻击;另一方面,如果f(x)本身的重量很低,那么也可以进行区分攻击,攻击的复杂度依赖于f(x)的重量.因此,在广义自缩序列中不能使用这两类多项式作为反馈多项式.其反馈多项式需要仔细选择,否则广义自缩生成器就容易受区分攻击.

关键词：密码学广义自缩生成器区分攻击线性反馈移位寄存器多项式

来源：评论

学校读者我要写书评

暂无评论

可证明安全的智能移动终端私钥保护方案

引用

通信学报 2012年第12期33卷 108-115页

作者：马骏马建峰郭渊博西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安 710071 解放军信息工程大学电子技术学院河南郑州 450004

提出一种可证明安全的智能移动终端私钥保护方案.充分利用口令保护、密钥分割与服务器动态交互获取部分私钥等技术保证用户私钥安全.与其他方案相比,该方案的优势在于:减少了智能移动终端的计算量和存储量,简化了交互过程参数的设置;将... 详细信息

提出一种可证明安全的智能移动终端私钥保护方案.充分利用口令保护、密钥分割与服务器动态交互获取部分私钥等技术保证用户私钥安全.与其他方案相比,该方案的优势在于:减少了智能移动终端的计算量和存储量,简化了交互过程参数的设置;将时间同步贯穿整个方案的设计过程,防止重放攻击的同时,更提供了便捷高效的用户私钥失效方案.方案达到了安全私钥获取和高效私钥失效的效果,符合智能移动终端的安全应用需求,在随机预言机模型下是可证明安全的.

关键词：私钥保护可证明安全随机预言机模型

来源：评论

学校读者我要写书评

暂无评论

物联网感知层一种基于属性的访问控制机制

引用

西安电子科技大学学报 2012年第2期39卷 66-72页

作者：任方马建峰郝选文西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 陕西省物联网实验研究中心陕西西安710071

为了实现物联网感知层的细粒度访问控制和用户的匿名数据访问,提出了一种基于用户属性的访问控制机制,并利用双线性映射给出了具体的算法实现.该方案中,用户以其属性证书为依据向传感器节点发起数据访问请求,传感器节点根据门限原则决... 详细信息

为了实现物联网感知层的细粒度访问控制和用户的匿名数据访问,提出了一种基于用户属性的访问控制机制,并利用双线性映射给出了具体的算法实现.该方案中,用户以其属性证书为依据向传感器节点发起数据访问请求,传感器节点根据门限原则决定是否允许用户访问.该方案可以实现灵活的细粒度访问控制和匿名的数据访问,用户和传感器节点的信息交互次数达到了最少,节点运算量少,只需要进行一次公钥加密.与现有的传感器网络访问控制方案相比,该方案传感器节点开销较小,可扩展性良好,可以适应物联网感知层的访问控制需求.

关键词：物联网传感器网络访问控制匿名性

来源：评论

学校读者我要写书评

暂无评论

格上新的身份类广播加密方案

引用

北京邮电大学学报 2012年第6期35卷 112-115页

作者：张伟仁胡予濮杨晓元西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 武警乌鲁木齐指挥学院乌鲁木齐830049 武警工程大学电子技术系西安710086

为了设计能够抗量子攻击的广播加密方案,利用盆景树模型在随机格上构造了一个新的身份类广播加密方案.解决了格基广播加密方案存在的解密失败问题.在标准模型下,证明了该方案是抗选择明文攻击安全的,且安全性归约到格上错误学习问题.同... 详细信息

为了设计能够抗量子攻击的广播加密方案,利用盆景树模型在随机格上构造了一个新的身份类广播加密方案.解决了格基广播加密方案存在的解密失败问题.在标准模型下,证明了该方案是抗选择明文攻击安全的,且安全性归约到格上错误学习问题.同时该方案能够有效地实现用户端的动态扩展和无状态接收功能.

关键词：格错误学习问题广播加密基于身份加密盆景树

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：