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

沈阳工业大学学报 2011年第4期33卷 422-427页

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

针对现有SAT模型检测器不能检测类型缺陷攻击的问题,提出了一种新的SAT#改进模型.该模型通过在匹配模式下引入无类型变量,并利用无类型消息的概念,解除了SAT模型检测器对未知消息的类型限制,并且在诚实主体重写规则中用无类型消息替换... 详细信息

针对现有SAT模型检测器不能检测类型缺陷攻击的问题,提出了一种新的SAT#改进模型.该模型通过在匹配模式下引入无类型变量,并利用无类型消息的概念,解除了SAT模型检测器对未知消息的类型限制,并且在诚实主体重写规则中用无类型消息替换了原来的强类型限制消息.通过增加消息匹配算法,使诚实主体能够接受带有类型缺陷的消息,从而实现类型缺陷攻击的检测.通过对Otway-Rees协议进行检测,不仅发现了已有的针对发起者A的类型缺陷攻击,而且发现了新的针对响应者B的类型缺陷攻击,其实验结果证明了SAT#模型具有一定的可靠性.

关键词：安全协议形式化分析模型检测重写规则类型缺陷攻击匹配模式图形编码满足性问题

来源：评论

学校读者我要写书评

暂无评论

标准模型下KDM安全的对称加密方案

引用

电子与信息学报 2011年第6期33卷 1277-1281页

作者：来齐齐陈原裴庆祺谢敏张安源西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 西安电子科技大学ISN综合业务网国家重点实验室西安710071

KDM(Key-Dependent Message)安全是考虑当加密的明文消息是所用加密方案私钥的函数时的安全问题。该文利用通用哈希函数(universal hash function),在标准模型下基于一种变形的剩余哈希引理(left-over hash lemma)构造出一个信息论KDM... 详细信息

KDM(Key-Dependent Message)安全是考虑当加密的明文消息是所用加密方案私钥的函数时的安全问题。该文利用通用哈希函数(universal hash function),在标准模型下基于一种变形的剩余哈希引理(left-over hash lemma)构造出一个信息论KDM安全的无状态对称加密方案。该方案能够抵抗任意攻击者接近指数次边界的KDM加密询问攻击,并且攻击者询问的挑战函数可以是任意集合。最后通过合理选择参数,对比已有方案,证明该文所构造方案的安全性有所提高。

关键词：依赖于密钥的明文(KDM) 对称加密通用哈希函数剩余哈希引理标准模型

来源：评论

学校读者我要写书评

暂无评论

Schnorr类有序多重签名中的阈下信道的封闭协议

引用

西安电子科技大学学报 2011年第3期38卷 140-144页

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

设计了一个新的交互式阈下信道的封闭协议.利用整体代换的思想,完全封闭了Schnorr类有序多重签名中由参数的随机性引入的阈下信道.新协议在签名者和看守之间交互式进行,并确保了签名者的签名权力.必须由看守和所有签名者合作才能对给定... 详细信息

设计了一个新的交互式阈下信道的封闭协议.利用整体代换的思想,完全封闭了Schnorr类有序多重签名中由参数的随机性引入的阈下信道.新协议在签名者和看守之间交互式进行,并确保了签名者的签名权力.必须由看守和所有签名者合作才能对给定的消息进行签名.新协议的安全性基于求解离散对数问题的困难性和哈希函数的无碰撞性.在计算复杂度和通信量方面,新方案比已有方案效率更高.

关键词：密码学数字签名阈下封闭协议通信安全信息隐藏

来源：评论

学校读者我要写书评

暂无评论

一个安全高效的车载网认证方案

引用

西南交通大学学报 2011年第2期46卷 315-320页

作者：刘辉李晖马占欣西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 周口师范学院计算机科学系河南周口466001

为了解决车载通信网中的信息安全问题,根据数字签名原理,综合考虑车载通信网实际状况,基于适合大规模群体的双线性对技术,提出快速高效并具有隐私保护功能的信息认证方案,把车辆分成私家车辆和公用车辆,分别采用群签名和基于身份签名的... 详细信息

为了解决车载通信网中的信息安全问题,根据数字签名原理,综合考虑车载通信网实际状况,基于适合大规模群体的双线性对技术,提出快速高效并具有隐私保护功能的信息认证方案,把车辆分成私家车辆和公用车辆,分别采用群签名和基于身份签名的方法对相应信息进行认证,并引入积聚信息批量验证和矛盾信息量化对比确认技术,使车载通信网中信息认证效率比现有方案提高33%以上.仿真结果表明,信息认证的效率与预期分析符合,具有较强的鲁棒性和可扩充性,能够满足车载通信网的运行需求.

关键词：车载通信群签名基于身份签名

来源：评论

学校读者我要写书评

暂无评论

投影HFE^-体制的安全性分析

引用

四川大学学报（工程科学版） 2011年第2期43卷 92-97页

作者：袁峰胡予濮赵东王艳西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 北京电子科技学院信息安全重点实验室北京100070 西安建筑科技大学理学院陕西西安710055

针对投影HFE-体制的安全性,提出了一种代数攻击方法,并指出该体制存在着弱密钥。攻击方法的基本思想是利用投影HFE-体制在扩域上的代数结构,并用私钥仿射部分和私钥结构的缺陷寻找大量的线性方程。研究结果表明,该攻击方法在这种弱密钥... 详细信息

针对投影HFE-体制的安全性,提出了一种代数攻击方法,并指出该体制存在着弱密钥。攻击方法的基本思想是利用投影HFE-体制在扩域上的代数结构,并用私钥仿射部分和私钥结构的缺陷寻找大量的线性方程。研究结果表明,该攻击方法在这种弱密钥情况下可以有效地恢复部分私钥。

关键词：密码公钥密码多项式投影HFE-体制密码分析

来源：评论

学校读者我要写书评

暂无评论

秘密共享体制的博弈论分析

引用

电子学报 2011年第12期39卷 2790-2795页

作者：田有亮马建峰彭长根姬文江西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 贵州大学理学院贵州贵阳550025

本文提出理性第三方的概念,在秘密共享中任何理性的局中人都可以充当"可信中心"来分发秘密信息,这样使秘密共享体制更具有普适性.基于博弈论分析秘密分发协议,它被形式化为n个二人博弈.证明在这些博弈中,理性秘密分发者总是... 详细信息

本文提出理性第三方的概念,在秘密共享中任何理性的局中人都可以充当"可信中心"来分发秘密信息,这样使秘密共享体制更具有普适性.基于博弈论分析秘密分发协议,它被形式化为n个二人博弈.证明在这些博弈中,理性秘密分发者总是选择欺骗各局中人以获得更大的收益,同时提出解决该问题的理性秘密分发机制.最后,基于健忘传输协议提出秘密重构机制,有效解决秘密重构中各局中人的不合作问题.

关键词：博弈论纳什均衡秘密共享理性第三方

来源：评论

学校读者我要写书评

暂无评论

伯努利节点网络模型的拓扑鲁棒性分析方法

引用

电子学报 2011年第7期39卷 1673-1678页

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

基于网络连通和恢复能力提出连接鲁棒性和恢复鲁棒性两种测度指标,根据随机故障和恶意攻击两种网络失败类型将连接鲁棒性分为随机故障鲁棒性和恶意攻击鲁棒性,将恢复鲁棒性分为随机故障节点恢复鲁棒性、随机故障边恢复鲁棒性、恶意攻击... 详细信息

基于网络连通和恢复能力提出连接鲁棒性和恢复鲁棒性两种测度指标,根据随机故障和恶意攻击两种网络失败类型将连接鲁棒性分为随机故障鲁棒性和恶意攻击鲁棒性,将恢复鲁棒性分为随机故障节点恢复鲁棒性、随机故障边恢复鲁棒性、恶意攻击节点恢复鲁棒性、恶意攻击边恢复鲁棒性,并给出了这六个测度指标的确切定义.利用这六个测度指标分析了伯努利节点网络模型的拓扑鲁棒性,得出不同情形下拓扑结构与这六个测度指标的关系,结果表明:无线网络平面拓扑结构的恶意攻击鲁棒性要优于层次拓扑结构,而其随机故障鲁棒性要劣于层次拓扑结构;平面拓扑结构的边恢复鲁棒性要优于层次拓扑结构,而其节点恢复鲁棒性要劣于层次拓扑结构.

关键词：无线通信网络连接鲁棒性恢复鲁棒性伯努利节点模型

来源：评论

学校读者我要写书评

暂无评论

基于串空间的Ad Hoc安全路由协议攻击分析模型

引用

软件学报 2011年第7期22卷 1641-1651页

作者：董学文马建峰牛文生毛立强谢辉西安电子科技大学计算机学院陕西西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 中国航空计算技术研究所陕西西安710068

根据ad hoc安全路由协议的特点,分析串空间理论的优势和不足,并在串空间分析协议的基础上,设计出一种返回不存在路由的协议攻击分析模型.以扩展SRP协议为例,验证了模型的正确性.

关键词：串空间攻击分析模型不存在路由 SRP(security routing protocol)协议

来源：评论

学校读者我要写书评

暂无评论

T函数生成的非线性伪随机序列的自相关性

引用

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

作者：王艳胡予濮袁峰西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 西安建筑科技大学理学院西安710055

针对以单圈T函数代替线性移位寄存器设计流密码的可行性,对单圈T-函数的分量函数所生成序列(第k位序列)的移位自相关性进行了研究.在移位量取第k位序列周期与2的负指数幂之积的条件下,根据单圈T函数的性质,结合自相关函数的周期特征,计... 详细信息

针对以单圈T函数代替线性移位寄存器设计流密码的可行性,对单圈T-函数的分量函数所生成序列(第k位序列)的移位自相关性进行了研究.在移位量取第k位序列周期与2的负指数幂之积的条件下,根据单圈T函数的性质,结合自相关函数的周期特征,计算了对应的自相关函数的上界和下界.由该上下界分析知,当移位量较小时,自相关函数的取值较大,表明T函数不适合直接用作密码函数生成伪随机序列.

关键词：密码学伪随机序列 T函数自相关性非线性

来源：评论

学校读者我要写书评

暂无评论

基于Diffie-Hellman算法的分层密钥分配方案

引用

电子学报 2011年第1期39卷 119-123页

作者：阎军智李凤华马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 北京电子科技学院研究生处北京100070

在基于内容的访问控制系统中,主体对客体只有允许访问和拒绝访问两种权限,且主体之间和客体之间都存在一种偏序关系,传统的访问控制策略需要对主客体单独进行管理,效率较低.本文利用其中的偏序关系设计一种分层密钥分配方案,使分配的密... 详细信息

在基于内容的访问控制系统中,主体对客体只有允许访问和拒绝访问两种权限,且主体之间和客体之间都存在一种偏序关系,传统的访问控制策略需要对主客体单独进行管理,效率较低.本文利用其中的偏序关系设计一种分层密钥分配方案,使分配的密钥既能实现保密通信又能达到实施访问控制的目的,提高系统效率.该方案利用客体之间的偏序关系使所有客体形成一个有向无环图,以多方Diffie-Hellman算法为基础为图中每个节点分配密钥,使得每个节点都可以通过自己的密钥计算出其子节点的密钥,每个节点的密钥用于加密对应于该节点的资源,从而通过对密钥的分配实现对访问权限的管理.该方案分为系统建立、密钥更新、节点加入和节点删除等部分,其安全性基于DDH假设,支持成员以及分层拓扑结构的动态变化,可用于解决基于内容的分层访问控制问题.

关键词：分层密钥分配 DH算法分层访问控制群组密钥管理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：