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

电子科技大学学报 2019年第1期48卷 80-87页

作者：李雪莲吕晓琳郭利娟高军涛西安电子科技大学数学与统计学院西安710126 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

动态群签名方案的设计难点在于给出有效的群成员撤销机制。该文构造了一种新的撤销机制,撤销时不需要更新群管理员和群成员的任何信息,仅需群管理员或群成员本人与撤销图灵机通信,图灵机确定其身份后将撤销token添加到撤销列表即完成了... 详细信息

动态群签名方案的设计难点在于给出有效的群成员撤销机制。该文构造了一种新的撤销机制,撤销时不需要更新群管理员和群成员的任何信息,仅需群管理员或群成员本人与撤销图灵机通信,图灵机确定其身份后将撤销token添加到撤销列表即完成了撤销操作,因此更适用于群成员数量基数较大的群体。利用此撤销机制,提出了一种基于错误学习(LWE)假设和小整数解(SIS)假设的动态群签名方案,支持在任意时刻加入和撤销用户。对比已有方案,该方案的群公钥尺寸固定且更小,用户加入时下载量小,方案效率更高。

关键词：群签名格密码撤销列表 Stern协议 VLR撤销

来源：评论

学校读者我要写书评

暂无评论

新的周期为p^m的GF(h)上广义割圆序列的线性复杂度

引用

通信学报 2017年第9期38卷 39-45页

作者：刘龙飞杨凯杨晓元武警工程大学网络与信息安全武警部队重点实验室陕西西安710086 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

基于Ding-广义割圆序列,构造了GF(h)上一类新的周期为pm的广义割圆序列,且该序列为平衡序列。通过分析h与p的关系及多项式理论,确定了该序列的线性复杂度。结果表明,该类序列具有良好的线性复杂度性质,将它们作为密钥流序列的密码系统... 详细信息

基于Ding-广义割圆序列,构造了GF(h)上一类新的周期为pm的广义割圆序列,且该序列为平衡序列。通过分析h与p的关系及多项式理论,确定了该序列的线性复杂度。结果表明,该类序列具有良好的线性复杂度性质,将它们作为密钥流序列的密码系统具有抵抗Berlekamp-Massey算法攻击的能力。

关键词：流密码伪随机序列广义割圆类线性复杂度

来源：评论

学校读者我要写书评

暂无评论

协议认证性安全属性测试方法

引用

电子学报 2016年第11期44卷 2788-2795页

作者：何云华杨超张俊伟马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 北方工业大学计算机学院信息安全系北京100029

认证性建立通信双方的信任关系,是安全通信的重要保障.传统的协议测试方法只关注协议功能的正确性,无法满足认证性等安全属性测试的要求.因此,提出了一种针对协议认证性的安全属性测试方法,利用带目标集合的有限状态机模型SPG-EFSM来扩... 详细信息

认证性建立通信双方的信任关系,是安全通信的重要保障.传统的协议测试方法只关注协议功能的正确性,无法满足认证性等安全属性测试的要求.因此,提出了一种针对协议认证性的安全属性测试方法,利用带目标集合的有限状态机模型SPG-EFSM来扩展描述协议安全属性,并在攻击场景分类的基础上设计了认证攻击算法.通过攻击算法找到了Woo-lam协议和μTESLA协议的认证性漏洞,该方法具有可行性、覆盖率高等特点.

关键词：协议测试安全属性认证性测试形式化模型攻击分类

来源：评论

学校读者我要写书评

暂无评论

完全安全匿名的身份型广播加密方案

完全安全匿名的身份型广播加密方案

引用

第八届全国技术过程故障诊断与安全性学术会议

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

针对现有的广播加密方案效率与安全性难以兼顾的事实,利用Waters双系统密码技术及混合阶群双线性运算的正交性,提出了一个双系统密码技术下的公钥匿名的身份型广播加密方案.该方案建立在标准模型下,具有尺寸固定的短的密文与密钥,更无... 详细信息

针对现有的广播加密方案效率与安全性难以兼顾的事实,利用Waters双系统密码技术及混合阶群双线性运算的正交性,提出了一个双系统密码技术下的公钥匿名的身份型广播加密方案.该方案建立在标准模型下,具有尺寸固定的短的密文与密钥,更无需使用任何哈希函数及随机标签,具有较高的计算效率与存储效率,其安全性依赖于3个简单的静态假设.证明结果显示,所提出的方案达到了匿名性及完全安全性的高安全级别要求.

关键词：广播加密双系统密码完全安全性匿名性

来源：评论

学校读者我要写书评

暂无评论

协议安全属性测试方法

协议安全属性测试方法

引用

2015中国计算机网络安全年会

作者：何云华杨超马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安 710071

通信协议作为网络和分布式应用的基础，其固有的复杂性和潜在的敌对环境，使得协议安全性面临巨大的威胁。协议证明是安全的,但其实现仍可能引入安全漏洞.为了测试协议实现的安全性,本文提出了一种安全属性测试方法.提出形式化模型SPG-E... 详细信息

通信协议作为网络和分布式应用的基础，其固有的复杂性和潜在的敌对环境，使得协议安全性面临巨大的威胁。协议证明是安全的,但其实现仍可能引入安全漏洞.为了测试协议实现的安全性,本文提出了一种安全属性测试方法.提出形式化模型SPG-EFSM来描述协议规范及其安全属性,基于攻击场景分类,设计了安全属性测试算法.实验结果显示,SPG-EFSM能够描述Woo-lam协议规范和其认证性,攻击算法不仅发现了Woo-lam协议已知的认证性漏洞,而且找到了Woo-lam协议未知认证性漏洞.与其他方法比较分析表明,本文的安全属性测试方法具有可扩展性、覆盖率高、效率高的特点.

关键词：通信协议安全属性认证性测试有限状态机扩展模型

来源：评论

学校读者我要写书评

暂无评论

采用群组密钥管理的分布式车联网信息认证方案

引用

西安交通大学学报 2013年第2期47卷 58-62页

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

鉴于车联网在提高驾驶安全性和道路通行效率方面起到的重要作用,针对车联网中的信息安全和隐私保护问题,提出了一个基于群组密钥管理的分布式信息认证方案。该方案使用高效的笔名签名来保护隐私;车辆使用基于无证书签密技术来获取密钥;... 详细信息

鉴于车联网在提高驾驶安全性和道路通行效率方面起到的重要作用,针对车联网中的信息安全和隐私保护问题,提出了一个基于群组密钥管理的分布式信息认证方案。该方案使用高效的笔名签名来保护隐私;车辆使用基于无证书签密技术来获取密钥;密钥管理分区进行,减轻了密钥管理中心的负担;证书吊销列表实行属地化管理,解决了违规车辆的召回问题;采用批量验证技术降低了车辆的计算开销,使得信息认证的效率提高30%以上。安全性分析和仿真实验结果表明,该方案和现有车联网认证方案相比具有较高的安全性、可行性和鲁棒性。

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

来源：评论

学校读者我要写书评

暂无评论

周期为p^m的广义割圆序列的(p-1)/2-错线性复杂度

引用

电子与信息学报 2013年第1期35卷 191-195页

作者：刘龙飞杨晓元陈海滨武警工程大学网络与信息安全武警部队重点实验室西安710086 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

周期为pm的广义割圆序列具有很高的线性复杂度。该文通过改变序列的特征集,构造了一类周期相同的错误序列,确定了序列的k-错线性复杂度。结果表明,该类序列的(p-1)/2-错线性复杂度不超过pm-1,这比该序列的线性复杂度低得多。因此,该类... 详细信息

周期为pm的广义割圆序列具有很高的线性复杂度。该文通过改变序列的特征集,构造了一类周期相同的错误序列,确定了序列的k-错线性复杂度。结果表明,该类序列的(p-1)/2-错线性复杂度不超过pm-1,这比该序列的线性复杂度低得多。因此,该类序列没有达到足够的安全作为密钥流生成器。

关键词：密码学流密码伪随机序列广义割圆类 k-错线性复杂度

来源：评论

学校读者我要写书评

暂无评论

PRESENT密码算法的差分电磁攻击研究

引用

电子科技大学学报 2013年第3期42卷 344-349页

作者：孙春辉李晖杨旸朱辉西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 电子科技大学网络与数据安全四川省重点实验室成都611731

利用改进的电磁攻击方式,在搭建的物理平台上通过电磁线圈探寻密码芯片表面的最佳探测区域进行差分电磁攻击,并同时对S盒和异或输出部分产生的电磁功耗进行差分分析。两部分的分析结果可互相印证或补充,从而高效地恢复出80 bit密钥中的6... 详细信息

利用改进的电磁攻击方式,在搭建的物理平台上通过电磁线圈探寻密码芯片表面的最佳探测区域进行差分电磁攻击,并同时对S盒和异或输出部分产生的电磁功耗进行差分分析。两部分的分析结果可互相印证或补充,从而高效地恢复出80 bit密钥中的64 bit。攻击者只需再对剩下的16 bit进行穷举攻击,即可完全破译PRESENT算法的80 bit密钥。在分析过程中,从均值差的峰值位置还可以判断出密码芯片对内部子密钥运作处理的顺序。此外,针对PRESENT原文算法描述中的一个小问题,给予了纠正。

关键词：数据安全差分电磁攻击 PRESENT 边信道

来源：评论

学校读者我要写书评

暂无评论

完全安全匿名的身份型广播加密方案

引用

上海交通大学学报 2013年第7期47卷 1103-1108页

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

关键词：标准模型广播加密基于身份的密码可证明安全双系统密码

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 2013年第5期 1260-1271页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：