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

计算机研究与发展 2010年第9期47卷 1587-1594页

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

签密能够在一个合理的逻辑步骤内同时完成对信息的数字签名和公钥加密,其计算量和通信成本均大幅低于传统的"先签名后加密",基于离散对数提出了一种不使用双线性对的无证书签密方案,并在随机预言机模型下给出了安全性证明,在... 详细信息

签密能够在一个合理的逻辑步骤内同时完成对信息的数字签名和公钥加密,其计算量和通信成本均大幅低于传统的"先签名后加密",基于离散对数提出了一种不使用双线性对的无证书签密方案,并在随机预言机模型下给出了安全性证明,在CDH和DL假设下,该方案被证明是安全的,此外该方案还具有公开验证、前向安全和不可否认等安全属性.在计算效率方面,该方案仅需3次指数运算,与其他无证书签密方案相比,不进行对运算效率更高.

关键词：无证书签密离散对数双线性对随机预言机模型

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

空间信息网的分布式证书撤销机制

引用

宇航学报 2011年第8期32卷 1778-1785页

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

针对以卫星网络为核心的空间信息网分析其安全隐患与安全目标,提出使用公钥证书机制作为其基本安全机制。根据空间信息网没有中心节点这一特点,给出了一种分布式证书撤销算法及其具体实现细节。该算法中任意节点可以对异常节点发起撤销... 详细信息

针对以卫星网络为核心的空间信息网分析其安全隐患与安全目标,提出使用公钥证书机制作为其基本安全机制。根据空间信息网没有中心节点这一特点,给出了一种分布式证书撤销算法及其具体实现细节。该算法中任意节点可以对异常节点发起撤销指控,当指控量达到一定门限值时撤销异常节点的证书。网络中的节点只需维护两张表以标识全网节点证书状态,极大地减少了通信量。该算法可以防止被撤销节点发起有效指控,并且能够以很高的概率抵抗恶意节点的非法指控攻击。

关键词：卫星网络空间信息网公钥密码术证书分布式算法

来源：评论

学校读者我要写书评

暂无评论

随机消息伪造攻击PMAC和TMAC-V

引用

计算机学报 2007年第10期30卷 1827-1832页

作者：陈杰胡予濮韦永壮西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

消息认证码(MAC)是与密钥相关的单向Hash函数,不同的密钥会产生不同的Hash函数.因此接收者能在验证发送者的消息是否被篡改的同时,验证消息是由谁发送的.PMAC是由Black和Rogaway在2002年欧密会上提出的一种基于分组密码的可并行工作的MA... 详细信息

消息认证码(MAC)是与密钥相关的单向Hash函数,不同的密钥会产生不同的Hash函数.因此接收者能在验证发送者的消息是否被篡改的同时,验证消息是由谁发送的.PMAC是由Black和Rogaway在2002年欧密会上提出的一种基于分组密码的可并行工作的MAC.2005年Mitchell在TMAC的基础上进行了改进提出了TMAC-V.文章利用模式的局部差分恒等原理,针对PMAC和TMAC-V两种工作模式,给出一种新的随机消息伪造攻击.该攻击可对随机消息的PMAC和TMAC-V进行伪造,伪造的成功概率均为86.5%,高于已有分析结果的概率63%.新方法对PMAC输出没有截断时的攻击复杂度为[0,2n/2+1,1,0],PMAC输出有截断时的攻击复杂度为[0,2n/2+1,n/τ,2n-τ];对TMAC-V的伪造攻击复杂度为[0,2n/2+1,1,0].

关键词：消息认证码分组密码工作模式伪造攻击生日碰撞

来源：评论

学校读者我要写书评

暂无评论

LEO/MEO双层空间信息网中基于身份的群组密钥管理方案

引用

宇航学报 2011年第7期32卷 1551-1556页

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

由于空间信息网中结点的移动性,在空间信息网中实现传统的群组密钥管理面临许多困难。根据空间信息网的特点,分析了空间信息网中群组密钥管理方案的需求,设计了一个适用于LEO/MEO双层空间信息网络的群组密钥管理方案,采用基于身份的思想... 详细信息

由于空间信息网中结点的移动性,在空间信息网中实现传统的群组密钥管理面临许多困难。根据空间信息网的特点,分析了空间信息网中群组密钥管理方案的需求,设计了一个适用于LEO/MEO双层空间信息网络的群组密钥管理方案,采用基于身份的思想,消除了对证书系统的依赖,能在空间信息网中灵活高效地实现。将空间信息网中的结点根据其逻辑位置划分为簇,其中簇头为MEO卫星,在密钥交换阶段中共享密钥仅由所有簇头结点决定,这种机制大大减少了通信量。方案能有效抵抗外部攻击者,并且具有前向保密性和后向保密性。仿真实验表明,方案具有很高的通信效率。

关键词：空间信息网 LEO/MEO双层结构群组密钥管理认证

来源：评论

学校读者我要写书评

暂无评论

一种基于D-S证据理论的Ad Hoc网络安全路由协议

引用

计算机研究与发展 2011年第8期48卷 1406-1413页

作者：李小青李晖杨凯马建峰计算机网络与信息安全教育部重点实验室(西安电子科技大学) 西安710071

基于D-S证据理论,设计了一个MANET信任评估模型,为路由建立提供安全的网络环境.改进ARAN协议,提出安全的路由协议AE-ARAN.协议根据信任评估结果选择可信节点建立路由,并提出在路由表中存储节点匿名身份的Hash路由登记表,保证ARAN协议认... 详细信息

基于D-S证据理论,设计了一个MANET信任评估模型,为路由建立提供安全的网络环境.改进ARAN协议,提出安全的路由协议AE-ARAN.协议根据信任评估结果选择可信节点建立路由,并提出在路由表中存储节点匿名身份的Hash路由登记表,保证ARAN协议认证安全,实现匿名安全和提高路由查找效率,同时协议在路由建立过程中,完成会话密钥协商.理论分析和仿真结果表明,所提出的协议能有效地检测和隔离恶意节点,抵御攻击.协议可实现路由匿名性,提高网络的效率及安全性.

关键词：密码学路由协议 D-S证据理论信任评估模型移动自组织网络

来源：评论

学校读者我要写书评

暂无评论

一种分层结构与快速切换的可靠移动组播方案

引用

应用科学学报 2011年第5期29卷 453-458页

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

移动IP组播技术能有效缓解移动环境的资源受限问题,但同时也面临许多挑战.文中提出了一个基于分层结构和快速切换的可靠移动组播方案(reliable mobile multicast scheme with hierarchical architecture and fasthandover capability,MM... 详细信息

移动IP组播技术能有效缓解移动环境的资源受限问题,但同时也面临许多挑战.文中提出了一个基于分层结构和快速切换的可靠移动组播方案(reliable mobile multicast scheme with hierarchical architecture and fasthandover capability,MMHFH),该方案综合运用微移动和链路层触发技术,针对切换过程中的组播开销、切换延迟、切换丢包、同步丢失、可扩展性以及路由影响等移动特性进行优化设计.OPNET仿真实验表明,MMHFH方案具有组播树稳定、组播维护开销小、切换延迟短、切换丢包少、可靠性高、可扩展性好、组播包传送效率高等特点.

关键词： IP网络移动组播分层结构快速切换链路层触发

来源：评论

学校读者我要写书评

暂无评论

广义互缩生成器

引用

计算机学报 2006年第6期29卷 936-943页

作者：高军涛董丽华胡予濮西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

设计了一类称为广义互缩生成器的密钥流生成器.研究表明该类密钥流生成器所产生的序列具有如下良好特性:(1)大的周期;(2)高的线性复杂度;(3)生成的广义互缩序列族具有线性空间结构,形成Abel群;(4)广义互缩序列族内序列间互相关函数值可... 详细信息

设计了一类称为广义互缩生成器的密钥流生成器.研究表明该类密钥流生成器所产生的序列具有如下良好特性:(1)大的周期;(2)高的线性复杂度;(3)生成的广义互缩序列族具有线性空间结构,形成Abel群;(4)广义互缩序列族内序列间互相关函数值可以由控制序列中1的数目来确定;(5)在一定条件下,序列的k-错线性复杂度显著增加.另一方面对新序列进行的安全性分析结果表明,与互缩序列相比,由较少的密钥量可以获得更好的安全性.

关键词：流密码广义互缩序列 k-错线性复杂度互相关性密码分析

来源：评论

学校读者我要写书评

暂无评论

通用可组合安全的WLAN Mesh网络可信接入认证协议

引用

通信学报 2008年第10期29卷 126-134页

作者：马卓马建峰曾勇沈玉龙西安电子科技大学计算机学院陕西西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

现有的WLAN Mesh网络接入协议和可信网络接入协议在性能和安全性方面不能很好的满足WLAN Mesh网络可信接入的要求。针对这一情况,提出了一种高效的可证明安全的WLAN Mesh网络可信接入协议MN-TAP,该协议仅需4轮交互就能实现访问请求者,... 详细信息

现有的WLAN Mesh网络接入协议和可信网络接入协议在性能和安全性方面不能很好的满足WLAN Mesh网络可信接入的要求。针对这一情况,提出了一种高效的可证明安全的WLAN Mesh网络可信接入协议MN-TAP,该协议仅需4轮交互就能实现访问请求者,策略执行点和策略决策点三者之间的用户认证和密钥确认,同时在第一轮交互中就实现了策略决策点对访问请求者平台身份的认证和平台完整性的校验,提高了协议执行的效率,降低了服务器端的负载。利用通用可组合安全模型对新协议进行了安全性证明,并对协议性能进行了对比分析。结果表明:新协议达到通用可组合安全,且与现有协议相比性能优势明显。

关键词： WLAN Mesh 可信网络接入通用可组合安全认证协议

来源：评论

学校读者我要写书评

暂无评论

无线移动网络跨可信域的直接匿名证明方案

引用

软件学报 2012年第5期23卷 1260-1271页

作者：杨力马建峰姜奇西安电子科技大学计算机学院陕西西安710071 计算机网络与信息安全教育部重点实验室(西安电子科技大学) 陕西西安710071

基于信任委托的思想,提出一种移动环境下的跨可信域的直接匿名(direct anonymous attestation,简称DAA)证明方案,采用代理签名技术和直接匿名证明方法,实现对移动终端在多可信域之间漫游时的可信计算平台认证,并在认证过程中协商会话密... 详细信息

基于信任委托的思想,提出一种移动环境下的跨可信域的直接匿名(direct anonymous attestation,简称DAA)证明方案,采用代理签名技术和直接匿名证明方法,实现对移动终端在多可信域之间漫游时的可信计算平台认证,并在认证过程中协商会话密钥,增强了远程证明体系的安全性.利用Canetti-Krawczyk(CK)模型对方案的认证协议的认证安全性和匿名安全性进行了形式化分析和证明.分析表明,该方案能够抵抗平台伪装攻击和重放攻击,其性能适用于无线网络环境.

关键词：直接匿名证明跨可信域信任委托代理签名认证

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：