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

计算机科学 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方证明签名是否有效;具有不可否认性;当争议发生时,可以在不暴露原始签名的条件下,鉴别伪造的签名;可以防止联合欺诈行为的发生.

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

来源：评论

学校读者我要写书评

暂无评论

基于混沌序列的自适应进化规划算法

引用

计算机应用研究 2007年第5期24卷 46-47,51页

作者：刘丽彭代渊李晓举西南交通大学信息安全与国家计算网格实验室西南交通大学交通信息工程及控制实验室四川成都610031

针对进化规划在进化搜索过程中存在较多非法个体这一问题,提出一种新的自适应进化规划算法。该算法根据混沌序列的特性,将混沌序列引入到进化规划的变异算子中。理论分析和实验表明,与基于Guassian变异的进化规划相比,该算法不仅具有良... 详细信息

针对进化规划在进化搜索过程中存在较多非法个体这一问题,提出一种新的自适应进化规划算法。该算法根据混沌序列的特性,将混沌序列引入到进化规划的变异算子中。理论分析和实验表明,与基于Guassian变异的进化规划相比,该算法不仅具有良好的快速收敛性和鲁棒性,而且能够有效地消除非法解,计算简单、容易实现。

关键词：混沌序列进化规划变异算子

来源：评论

学校读者我要写书评

暂无评论

认证群密钥协商协议编译器的分析与改进

引用

计算机工程 2009年第7期35卷 156-157页

作者：李国民何大可西南交通大学信息安全与国家计算网格实验室成都610031 现代通信国家重点实验室成都610041

认证群密钥协商协议能为群用户产生一个共享的会话密钥,使群用户在公共数据网络中进行安全通信。该文分析证明Abdalla等人的密钥协商协议不能抵抗假冒攻击:某用户的左右邻居在获得与该用户运行群密钥交换协议副本后,可以假冒该用户与其... 详细信息

认证群密钥协商协议能为群用户产生一个共享的会话密钥,使群用户在公共数据网络中进行安全通信。该文分析证明Abdalla等人的密钥协商协议不能抵抗假冒攻击:某用户的左右邻居在获得与该用户运行群密钥交换协议副本后,可以假冒该用户与其他群成员运行该协议,产生一个新的共享会话密钥,且不会被群中其他成员发现。并针对该协议编译器的缺点进行改进。

关键词：群密钥协商协议假冒攻击协议编译器

来源：评论

学校读者我要写书评

暂无评论

基于身份的认证群密钥协商协议

引用

计算机科学 2009年第1期36卷 60-64页

作者：李国民何大可西南交通大学信息安全与国家计算网格实验室成都610031 现代通信国家重点实验室成都610041

认证群密钥协商(AGKA)协议能为一群用户产生一个共享的会话密钥,使得群用户间能在公共数据网络进行安全通信。现有的大部分基于公钥技术的AGKA协议可分两类:第一类,认证部分是基于PKI/CA,会话密钥协商部分主要用模指数(或点乘)实现;第二... 详细信息

认证群密钥协商(AGKA)协议能为一群用户产生一个共享的会话密钥,使得群用户间能在公共数据网络进行安全通信。现有的大部分基于公钥技术的AGKA协议可分两类:第一类,认证部分是基于PKI/CA,会话密钥协商部分主要用模指数(或点乘)实现;第二类,认证部分是基于身份(ID)的公钥体制,会话密钥协商部分主要是用Weil对或Tate对实现。第一类AGKA协议存在一个较显著问题:公钥管理问题;第二类AGKA协议虽然有效地解决了公钥管理问题,但由于其会话密钥协商部分主要是用双线性对(即Weil对或Tate对)实现,与前者相比,计算量较大。针对这些不足,提出了一个新的AGKA协议,其认证部分是基于身份(ID)的公钥体制,会话密钥协商部分的运算主要用模指数实现;并在ROM,ECDH和BDH假设下证明了该AGKA协议的安全性。该协议与基于PKI/CA的相关AGKA协议相比,克服了后者在密钥管理上的困难;与其它基于身份的AGKA协议相比,在效率上具有一定的优势。

关键词：认证群密钥协商协议会话密钥双线性对

来源：评论

学校读者我要写书评

暂无评论

群密钥协商协议ID-AGKA的分析与改进

引用

计算机工程 2009年第6期35卷 148-149页

作者：李国民何大可西南交通大学信息安全与国家计算网格实验室成都610031 现代通信国家重点实验室成都610041

指出用Pairings实现的基于身份的具有常数轮可扩展的认证群密钥协商协议ID-AGKA不能抵抗外部攻击,即攻击者A能使群中用户在运行完该协议后所产生的会话密钥不一致,且不会被群中成员发现。针对该安全缺陷,给出改进方案,并对其安全性进行... 详细信息

指出用Pairings实现的基于身份的具有常数轮可扩展的认证群密钥协商协议ID-AGKA不能抵抗外部攻击,即攻击者A能使群中用户在运行完该协议后所产生的会话密钥不一致,且不会被群中成员发现。针对该安全缺陷,给出改进方案,并对其安全性进行分析,改进方案在原方案安全性的基础上能抵挡外部攻击。

关键词：认证群密钥协商协议外部攻击

来源：评论

学校读者我要写书评

暂无评论

认证邮件协议的安全性分析与改进

引用

电子科技大学学报 2013年第2期42卷 300-305页

作者：高悦翔彭代渊闫丽丽西南交通大学信息安全与国家计算网格实验室成都610031 四川师范大学计算机科学学院成都610068 成都信息工程学院网络工程学院成都610225

认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如... 详细信息

认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究。利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点。

关键词：认证邮件协议组合协议分析 Kailar逻辑可追究性

来源：评论

学校读者我要写书评

暂无评论

基于签密的密码工作流密钥封装机制

引用

软件学报 2009年第10期20卷 2810-2821页

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

密码工作流(cryptographic workflow)是多用户环境下一种特殊的密码系统工作模式,在这种工作模式下,加密消息需要依据某种策略进行,因此只有履行这一策略的实体才能进行消息解密.为保证在密码工作流模式下密钥封装能够同时实现密钥免托... 详细信息

密码工作流(cryptographic workflow)是多用户环境下一种特殊的密码系统工作模式,在这种工作模式下,加密消息需要依据某种策略进行,因此只有履行这一策略的实体才能进行消息解密.为保证在密码工作流模式下密钥封装能够同时实现密钥免托管性和密钥封装传递的不可伪造性,基于签密的思想定义了一个新的密码工作流模式下的密钥封装机制.首先定义了密码工作流模式下基于签密的密钥封装一般模型,并给出了相应的安全模型;其次,结合秘密共享方案、基于身份加密方案和签密方案,提出一个新的结构方案,并在标准模型(standard model)下利用序列游戏证明方法对该结构方案的安全性进行了详细证明.证明结果表明,该密钥封装结构方案能够达到密码工作流模式下要求的接收者安全和外部安全.

关键词：签密密钥封装密码工作流基于身份加密秘密共享接收者安全外部安全

来源：评论

学校读者我要写书评

暂无评论

Ad hoc网络中认证路由协议的改进及其安全性分析

引用

电子科技大学学报 2011年第4期40卷 577-581页

作者：闫丽丽彭代渊高悦翔西南交通大学信息安全与国家计算网格实验室成都610031 成都信息工程学院网络工程学院成都610225 四川师范大学计算机科学学院成都610068

提出了Ad hoc网络中的ARAN协议存在合谋和重放两种攻击。为了克服ARAN协议中的上述缺陷,给出了一个改进协议eARAN。改进协议在原有协议的基础上,在路由请求数据包中添加了发送该数据包的所有中间节点的身份,即路由路径,而目的节点要对... 详细信息

提出了Ad hoc网络中的ARAN协议存在合谋和重放两种攻击。为了克服ARAN协议中的上述缺陷,给出了一个改进协议eARAN。改进协议在原有协议的基础上,在路由请求数据包中添加了发送该数据包的所有中间节点的身份,即路由路径,而目的节点要对最终得到的完整的路由路径进行签名,并将其作为路由响应数据包的一部分发回给发起节点,以此保证路由路径的正确性和完整性。最后,使用扩展后的串空间理论分析了改进协议eARAN的安全性,分析结果显示,eARAN协议是安全的。

关键词： Ad hoc网络形式化分析路由协议串空间

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：