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

计算机工程与应用 2006年第11期42卷 161-165,208页

作者：李云峰何大可西南交通大学信息安全与国家高性能计算网格实验室成都610031

文献[1]提出了一个基于证书机制的公平文件交换协议——Ping-协议,文章利用文献[6]中提出的基于博弈论思想对公平交换协议进行形式化分析的方法对Ping-协议进行了建模和分析,发现当协议的接收方在交换子协议执行了两个步骤之后执行恢复... 详细信息

文献[1]提出了一个基于证书机制的公平文件交换协议——Ping-协议,文章利用文献[6]中提出的基于博弈论思想对公平交换协议进行形式化分析的方法对Ping-协议进行了建模和分析,发现当协议的接收方在交换子协议执行了两个步骤之后执行恢复子协议会破坏协议的公平性;同时文章对协议建模时也将通信信道形式化,从而发现,如果协议的一个参与方能够与通信信道合作,那么也可以破坏协议的公平性。文章针对发现的漏洞对Ping-协议进行了修改,修改后的协议能够满足协议公平性的要求。

关键词：公平交换协议公平性博弈论形式化分析

来源：评论

学校读者我要写书评

暂无评论

基于ID的群向签名方案

引用

电子与信息学报 2006年第6期28卷 1145-1149页

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

该文首先提出了一种新的签字模型,并由此设计了一种新的群向签名方案,其具有如下特点:基于ID的密码概念;不具有密钥托管功能,也就是只有成员自己知道自己的私钥,而其他成员,包括PKG也不知道;指定签名验证群中的每一个成员都可以独立地... 详细信息

该文首先提出了一种新的签字模型,并由此设计了一种新的群向签名方案,其具有如下特点:基于ID的密码概念;不具有密钥托管功能,也就是只有成员自己知道自己的私钥,而其他成员,包括PKG也不知道;指定签名验证群中的每一个成员都可以独立地完成对签名的验证。此签名不是基于秘密共享技术的,因此,他不需要多名成员来共同完成对签名的验证。这样,既减少了对系统资源的占用,又提高了系统的效率。

关键词：公钥密码群向签名密钥托管

来源：评论

学校读者我要写书评

暂无评论

椭圆曲线密码体制中的快速点乘算法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种最短向量已知格的生成方法

引用

计算机工程 2006年第15期32卷 19-21页

作者：余位驰张文芳何大可现代通信国家重点实验室西南交通大学信息安全与国家计算网格实验室成都610031

提出了最短向量已知格的概念。通过对循环格的分析,得到了循环格是最短向量已知格的两个定理。为了得到随机性更好的最短向量已知格,提出了伪循环格的概念,并且给出了伪循环格是最短向量已知格的充分条件。相关的定理都是构造性的,通过... 详细信息

提出了最短向量已知格的概念。通过对循环格的分析,得到了循环格是最短向量已知格的两个定理。为了得到随机性更好的最短向量已知格,提出了伪循环格的概念,并且给出了伪循环格是最短向量已知格的充分条件。相关的定理都是构造性的,通过简单的算法就可以快速生成最短向量已知格。最后给出了对格基进行随机化的一般性算法。

关键词：最短向量已知格循环格伪循环格格基规约

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机应用研究 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攻击下是存在不可伪造的。分析结果表明,在计算效率方面,新方案的验证只需要三个对运算,不仅较已有聚合签名方案在效率上更具优势,而且满足聚合签名要求的所有性质。

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

来源：评论

学校读者我要写书评

暂无评论

分析和设计安全协议的新逻辑

引用

铁道学报 2006年第3期28卷 71-77页

作者：缪祥华何大可鲁荣波西南交通大学信息科学与技术学院西南交通大学信息安全与国家计算网格实验室四川成都610031

现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议。本文提出一种分析和设计安全协议的新逻辑。该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议。通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑... 详细信息

现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议。本文提出一种分析和设计安全协议的新逻辑。该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议。通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑中进行。同时,该逻辑消除了用不同的方法来设计和分析安全协议的不一致性。在分析协议时,首先用逻辑对协议进行形式化,然后用推理规则对协议进行推理。如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞。在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议。最后,用该逻辑分析Woo-Lam协议,指出该协议不能满足协议目标。我们用该逻辑重新设计了该协议,说明重新设计的协议能够达到协议的目标。

关键词：逻辑安全协议分析安全协议设计

来源：评论

学校读者我要写书评

暂无评论

高效无可信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技术检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：