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

微计算机信息 2007年第3X期23卷 228-229页

作者：赖晖西南交通大学信息安全与国家计算网格实验室四川成都610031

点乘运算是实现椭圆曲线密码体制的基本运算,同时也是最耗时的运算,它的运算效率直接决定着ECC的性能。本文从三方面分析了椭圆曲线密码体制中快速点乘的实现,并将Marc Joye和Sung-Ming Yen提出的具有最小汉明重的从左到右带符号二进制... 详细信息

点乘运算是实现椭圆曲线密码体制的基本运算,同时也是最耗时的运算,它的运算效率直接决定着ECC的性能。本文从三方面分析了椭圆曲线密码体制中快速点乘的实现,并将Marc Joye和Sung-Ming Yen提出的具有最小汉明重的从左到右带符号二进制编码应用于椭圆曲线密码体制的点乘算法中,生成了一个能快速实现的二进制编码新点乘算法,适用于计算能力和集成电路空间受限,要求高速实现的情况。

关键词：椭圆曲线密码体制点乘从左到右二进制编码

来源：评论

学校读者我要写书评

暂无评论

内部攻击者安全模式下的签密密钥封装

引用

计算机工程 2009年第16期35卷 145-147页

作者：赖欣喻琇瑛何大可中国民用航空飞行学院空管学院广汉618307 西南交通大学信息安全与国家网格计算实验室成都610031

基于Signcryption KEM-DEM混合签密结构,提出一个内部攻击者安全模式下签密密钥封装的形式化定义,引入一个随机标签与验证算法来保证签密密钥封装在内部攻击者模式下的安全性。在形式化定义的基础上,对该定义在可证明安全概念下的保密... 详细信息

基于Signcryption KEM-DEM混合签密结构,提出一个内部攻击者安全模式下签密密钥封装的形式化定义,引入一个随机标签与验证算法来保证签密密钥封装在内部攻击者模式下的安全性。在形式化定义的基础上,对该定义在可证明安全概念下的保密性和数据完整性的安全进行讨论,给出相应的攻击游戏的安全模型。

关键词：签密密钥封装内部攻击者安全保密性安全数据完整性安全

来源：评论

学校读者我要写书评

暂无评论

基于身份的高效代理签名方案

引用

微计算机信息 2007年第2X期23卷 39-40,43页

作者：张弦彭代渊成都西南交通大学信息安全与国家计算网格实验室四川610031

本文结合基于身份数字签名能减少证书存储和管理开销的优点,利用椭圆曲线上的Weil对构造了一个新的基于身份的代理签名方案。研究表明,新方案不仅具有良好的安全性,而且具有较高的实现效率。

关键词：身份代理签名双线性对椭圆曲线

来源：评论

学校读者我要写书评

暂无评论

一个可公开验证且前向安全的签密方案

引用

计算机应用研究 2009年第1期26卷 359-360,363页

作者：喻琇瑛赖欣何大可西南交通大学信息科学与技术学院成都610031 西南交通大学信息安全与国家计算网格实验室成都610031

对一个可公开验证的签密方案进行了改进,提出一个同时具有公开验证性的和前向安全的签密方案。使攻击者不可能通过发送者私钥得到本次及以前通信者的秘密信息,实现了可公开验证性和前向安全性。

关键词：签密前向安全公开验证

来源：评论

学校读者我要写书评

暂无评论

一种新的无证书聚合签名

引用

计算机应用研究 2014年第8期31卷 2485-2487页

作者：喻琇瑛何大可西南交通大学信息科学与技术学院成都610031 西南交通大学信息安全与国家计算网格实验室成都610031

提出了一种新的基于双线性对的无证书聚合签名方案。在随机预言机模型下,基于计算Diffie-Hellman困难问题假设,证明了新方案在AⅠ攻击者的公钥替换攻击和AⅡ攻击者的KGC攻击下是存在不可伪造的。分析结果表明,在计算效率方面,新方案的... 详细信息

提出了一种新的基于双线性对的无证书聚合签名方案。在随机预言机模型下,基于计算Diffie-Hellman困难问题假设,证明了新方案在AⅠ攻击者的公钥替换攻击和AⅡ攻击者的KGC攻击下是存在不可伪造的。分析结果表明,在计算效率方面,新方案的验证只需要三个对运算,不仅较已有聚合签名方案在效率上更具优势,而且满足聚合签名要求的所有性质。

关键词：无证书公钥密码体制随机预言机模型聚合签名双线性对

来源：评论

学校读者我要写书评

暂无评论

高效无可信PKG的新型盲签名方案

引用

计算机应用研究 2012年第2期29卷 626-629页

作者：周萍何大可西南交通大学信息科学与技术学院信息安全与国家计算网格实验室成都610031

针对目前基于身份的盲签名方案或者安全性不高,或者效率较低的缺陷,通过密码学分析和算法结构设计,首先提出了一个基于身份的无可信私钥生成中心(PKG)、只有一个对运算的签名方案;然后基于该方案提出了一个基于身份的无可信PKG、只有一... 详细信息

针对目前基于身份的盲签名方案或者安全性不高,或者效率较低的缺陷,通过密码学分析和算法结构设计,首先提出了一个基于身份的无可信私钥生成中心(PKG)、只有一个对运算的签名方案;然后基于该方案提出了一个基于身份的无可信PKG、只有一个对运算的盲签名方案,并证明了方案的强盲性和不可伪造性,比较了方案与其他类似方案的效率。该方案可以抵抗适应性选择消息和身份攻击,抵抗不可信PKG的攻击,其安全性依赖于强l-SDHP难题。

关键词：私钥生成中心盲签名双线性对不可伪造性强l-SDHP难题

来源：评论

学校读者我要写书评

暂无评论

基于协同特征的BIOS Rootkit检测技术

引用

计算机工程 2010年第15期36卷 134-136,139页

作者：邓立丰王宏霞西南交通大学信息科学与技术学院成都630031 西南交通大学信息安全与国家计算网格实验室成都630031

对木马模型框架的理论及其协同隐藏模型进行研究和分析,给出BIOS Rootkit协同隐藏模型的具体形式化描述,提出一种在Windows环境下基于协同特征的BIOS Rootkit检测技术。针对现有BIOS Rootkit检测技术存在能查但不能正常恢复的问题,采用... 详细信息

对木马模型框架的理论及其协同隐藏模型进行研究和分析,给出BIOS Rootkit协同隐藏模型的具体形式化描述,提出一种在Windows环境下基于协同特征的BIOS Rootkit检测技术。针对现有BIOS Rootkit检测技术存在能查但不能正常恢复的问题,采用搜索特征码并动态恢复的技术解决。实验结果表明,该检测技术具有良好的可靠性、检测效率和完整性。

关键词：协同隐藏 BIOS Rootkit技术检测

来源：评论

学校读者我要写书评

暂无评论

Kailar逻辑的串空间语义

引用

计算机科学 2006年第3期33卷 87-88,96页

作者：缪祥华何大可西南交通大学计算机与通信工程学院成都610031 西南交通大学信息安全与国家计算网格实验室成都610031

Kailar 在1996年发表了“电子商务协议中的可追究性”一文,使得电子商务协议的形式化分析得到了重大的发展。但是 Kailar 逻辑的语义一直没有人提出来过,而逻辑的语义对于逻辑的正确性是至关重要的。本文的主要工作就是给出了 Kailar ... 详细信息

Kailar 在1996年发表了“电子商务协议中的可追究性”一文,使得电子商务协议的形式化分析得到了重大的发展。但是 Kailar 逻辑的语义一直没有人提出来过,而逻辑的语义对于逻辑的正确性是至关重要的。本文的主要工作就是给出了 Kailar 逻辑的串空间语义,从语义的角度证明了 Kailar 逻辑的规则的正确性。

关键词：逻辑语义串空间电子商务协议

来源：评论

学校读者我要写书评

暂无评论

认证协议设计逻辑的语义

引用

计算机工程 2006年第9期32卷 31-32,35页

作者：缪祥华何大可西南交通大学计算机与通信工程学院成都610031 西南交通大学信息安全与国家计算网格实验室成都610031

Levente Buttyan等人提出了一种认证协议设计的简单逻辑,协议设计者可以使用该逻辑,用一种系统的方法来构造认证协议。该文把简单逻辑和串空间(Strand Space)模型结合起来,给出了简单逻辑的串空间语义,然后运用该语义证明了简单逻辑的... 详细信息

Levente Buttyan等人提出了一种认证协议设计的简单逻辑,协议设计者可以使用该逻辑,用一种系统的方法来构造认证协议。该文把简单逻辑和串空间(Strand Space)模型结合起来,给出了简单逻辑的串空间语义,然后运用该语义证明了简单逻辑的推理规则是正确的。

关键词：逻辑语义认证协议设计串空间

来源：评论

学校读者我要写书评

暂无评论

基于双线性映射的卡梅隆门限签名方案

引用

计算机研究与发展 2005年第8期42卷 1427-1430页

作者：马春波何大可西南交通大学计算机与通信工程学院成都610031 西南交通大学信息安全与国家计算网格实验室成都610031

考虑如下情况,有两个公司A,B通过网络进行通信.为了能安全地生成签字,公司A要求在有足够多的A内成员参与的情况下签字才能有效,并且,只有指定的接收者才能对签字进行验证.针对以上问题,考虑到对原始信息的有效保护,通过将秘密共享技术... 详细信息

考虑如下情况,有两个公司A,B通过网络进行通信.为了能安全地生成签字,公司A要求在有足够多的A内成员参与的情况下签字才能有效,并且,只有指定的接收者才能对签字进行验证.针对以上问题,考虑到对原始信息的有效保护,通过将秘密共享技术与卡梅隆函数相结合,提出了一种新的基于双线性映射的卡梅隆门限签名方案.此方案所生成的签名,只有指定接收方可以验证签名的正确性,且指定接收方不能向第3方证明签名是否有效;具有不可否认性;当争议发生时,可以在不暴露原始签名的条件下,鉴别伪造的签名;可以防止联合欺诈行为的发生.

关键词：秘密共享卡梅隆双线性映射门限签名

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：