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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一个易扩展的匿名车载网信息鉴别方案

引用

四川大学学报（工程科学版） 2012年第3期44卷 131-136页

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

为了解决车载通信网中信息的可认证性、匿名性、不可链接性和可追踪性等安全需求,根据车载通信网规模大、易变动和低时延的特点,提出了一种易扩展的安全高效的信息鉴别方案。该方案采用移动通信模式的群组管理,以基于身份的签密算法和... 详细信息

为了解决车载通信网中信息的可认证性、匿名性、不可链接性和可追踪性等安全需求,根据车载通信网规模大、易变动和低时延的特点,提出了一种易扩展的安全高效的信息鉴别方案。该方案采用移动通信模式的群组管理,以基于身份的签密算法和群签名为基础,实现了车辆可以在不泄露隐私的前提下动态地加入一个群,并且可以在群中进行信息的批量验证,使信息认证时间不以车辆数的变多而增加。安全分析和实验仿真表明,该方案比现存方案可操作性强,效率高并且安全性好。

关键词：鉴别车载通信群签名签密

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于Bell态与Two-qutrit态无信息泄漏的量子对话协议

引用

国防科技大学学报 2012年第2期34卷 10-13页

作者：王鹤张玉清胡予濮田养丽朱珍超西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 中国科学院研究生院国家计算机网络入侵防范中心北京100049

基于Einistein-Podolsky-Rosen纠缠对与量子安全直接通信(QSDC),提出了一个新的基于Bell态的量子对话协议。通信双方Alice和Bob只需要进行一次通信即可实现双方之间秘密的同时交换。该方案利用一个随机比特串和检测光子来实现安全性,能... 详细信息

基于Einistein-Podolsky-Rosen纠缠对与量子安全直接通信(QSDC),提出了一个新的基于Bell态的量子对话协议。通信双方Alice和Bob只需要进行一次通信即可实现双方之间秘密的同时交换。该方案利用一个随机比特串和检测光子来实现安全性,能够抵抗截获/重放攻击、特洛伊木马攻击和纠缠攻击等典型攻击。很多近期提出的协议中存在严重的信息泄漏,也就是说任何窃听者都可以从合法通信者的公开声明中提取到部分秘密信息,我们的方案很好地克服了这一问题。协议的效率较高,可以达到66.7%,同时由于纠缠态粒子只需要进行一次传输,该方案更简单易行。将该协议推广到two-qutrit态,其安全性仍能得到保证。

关键词：量子对话 Bell态 Bell测量广义Bell态

来源：评论

学校读者我要写书评

暂无评论

改进的适用于移动通信的代理签名方案

引用

华中科技大学学报（自然科学版） 2012年第4期40卷 72-75页

作者：傅晓彤汪婵西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 中国科学院软件研究所信息安全国家重点实验室北京100049

针对适用于移动通信的代理保护代理签名方案和代理聚合签名方案存在的不满足强不可伪造性和强不可否认性的安全缺陷,提出了2个改进的代理签名方案,当代理私钥生成时,添加一个随机数,使得原始签名者不能够假冒代理签名者进行伪造攻击.安... 详细信息

针对适用于移动通信的代理保护代理签名方案和代理聚合签名方案存在的不满足强不可伪造性和强不可否认性的安全缺陷,提出了2个改进的代理签名方案,当代理私钥生成时,添加一个随机数,使得原始签名者不能够假冒代理签名者进行伪造攻击.安全性分析与证明表明:改进方案满足代理签名的基本安全性质,在随机预言机下是可证明安全的;同时,在适应性选择消息攻击下,其代理生成协议是安全的.

关键词：移动通信数字签名代理聚合签名代理保护代理签名强不可伪造性强不可否认性

来源：评论

学校读者我要写书评

暂无评论

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

引用

西安电子科技大学学报 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年第2期35卷 71-77页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：