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

计算机学报 2009年第4期32卷 618-634页

作者：田园王颖金锋金月大连理工大学软件学院辽宁大连116620 大连理工大学数学科学学院辽宁大连116620

如何融合计算密码学与形式演算模型两条途径以有效分析和证明复杂密码协议,是信息安全领域富有挑战性的问题之一.文中提出Dolev-Yao刚性和Dolev-Yao相似性概念,运用密码协议的语法骨架提取与语义赋值技术,建立起一个能涵盖除具有适应性... 详细信息

如何融合计算密码学与形式演算模型两条途径以有效分析和证明复杂密码协议,是信息安全领域富有挑战性的问题之一.文中提出Dolev-Yao刚性和Dolev-Yao相似性概念,运用密码协议的语法骨架提取与语义赋值技术,建立起一个能涵盖除具有适应性入侵能力之外的任何主动攻击者和大部分有实际意义的非自由消息代数的理论分析框架.该框架内所证明的协议安全性质具有复合-稳定性,即所证明的安全性质在协议与环境复合时仍然保持成立.文中针对strand-图模型这一具体情形证明了Canetti的UC-相似性概念与这里所建立的Dolev-Yao相似性概念之间接近充分必要程度的对偶关系,从而对融合UC-理论/strand-图模型这一情形具体证明了该分析框架具有相容性和完备性.最后,根据以上理论结果讨论了如何建立一种对应的新的协议分析方法.

关键词：计算密码学形式模型 UC-相似 Dolev-Yao刚性 Dolev-Yao相似性

来源：评论

学校读者我要写书评

暂无评论

关于混合加密方案匿名性质的几个一般性结果

引用

计算机学报 2007年第10期30卷 1813-1826页

作者：田园李明楚陈治宇大连理工大学软件学院辽宁大连116600

公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样都具有重要应用价值.文中首先建立关于公钥加密方案的两个通用的新概念,即相对匿名性和相对保密性.通过这些较弱的安全性概念,证明了关于公钥加密方案匿名性质的两类一般性结果.... 详细信息

公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样都具有重要应用价值.文中首先建立关于公钥加密方案的两个通用的新概念,即相对匿名性和相对保密性.通过这些较弱的安全性概念,证明了关于公钥加密方案匿名性质的两类一般性结果.第一类结果建立了公钥加密方案的保密性与匿名性之间两个对偶式的普遍关系,即相对匿名性(相对保密性)连同保密性(匿名性)蕴涵匿名性(保密性);第二类结果给出两个典型的混合加密构造(即Fujisaki-Okamoto构造和Okamoto-Pointcheval构造(REACT))选择密文匿名的充分条件,这些条件仅包括特定意义上的相对匿名性质和其它一些自然的弱保密性要求.文中不仅用多个具体实例表明这些条件都是非常实用的判定准则,而且还进一步应用这些普遍结果,给出对某些具体公钥加密方案匿名性质的简化证明,并证明了著名的NESSIE方案PSEC-1/2/3的选择密文匿名性质.

关键词：计算密码学匿名性可证明的安全性混合方案公钥隐密性

来源：评论

学校读者我要写书评

暂无评论

几个通用公钥加密方案的匿名性条件

引用

通信学报 2009年第S2期30卷 8-16页

作者：田园邓鲁耀张浩大连理工大学软件学院辽宁大连116600

公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样具有重要应用价值。最近Canetti-Halevi-Katz给出了基于IBE构造普通公钥加密方案的一个优美的一般性方法,继而Boneh-Katz给出一个不同的构造,对前者进行了性能改进。研究这几类一... 详细信息

公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样具有重要应用价值。最近Canetti-Halevi-Katz给出了基于IBE构造普通公钥加密方案的一个优美的一般性方法,继而Boneh-Katz给出一个不同的构造,对前者进行了性能改进。研究这几类一般性构造的匿名性质。建立了关于IBE方案的两个通用的新概念,即全局公钥匿名和全局公钥相对匿名性质,通过这些较弱的安全性概念,证明了关于Canetti-Halevi-Katz方案和Boneh-Katz方案的选择密文匿名的两类充分条件。

关键词：计算密码学匿名性可证明的安全性基于身份的加密方案公钥隐密性

来源：评论

学校读者我要写书评

暂无评论

关于公钥加密方案匿名性质的研究

关于公钥加密方案匿名性质的研究

引用

作者：邓鲁耀大连理工大学

学位级别：硕士

公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样都具有重要应用价值。匿名性(key-privacy)与保密性(data-privacy)是完全不同的性质:前者保证密文不泄露用来加密的公钥,后者则保证密文不泄露其明文。文中首先建立关于公钥加密... 详细信息

公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样都具有重要应用价值。匿名性(key-privacy)与保密性(data-privacy)是完全不同的性质:前者保证密文不泄露用来加密的公钥,后者则保证密文不泄露其明文。文中首先建立关于公钥加密方案的两个通用的新概念,即相对匿名性和相对保密性。通过这些较弱的安全性概念,建立了公钥加密方案的保密性与匿名性之间两个对偶式的普遍关系,即相对匿名性(相对保密性)连同保密性(匿名性)蕴涵匿名性(保密性)。对某些特殊方案,相对匿名和相对保密性概念可以用来大大简化保密性或匿名性的证明。最近Canetti-Halevi-Katz给出了基于IBE构造普通公钥加密方案的一个优美的一般性方法,继而Boneh-Katz给出一个不同的构造,对前者进行了性能改进。Canetti-Halevi-Katz还第一次非常一般性地构造了一类前向保密的时变公钥加密方案。本文研究了这三类一般性构造的匿名性质。建立了关于IBE方案的两个通用的新概念,即全局公钥匿名和全局公钥相对匿名性质,通过这两个较弱的安全性概念,证明了关于Canetti-Halevi-Katz方案和Boneh-Katz方案的选择密文匿名的两类充分条件。为便于理解和应用,文中还对一些具体实例检验了这些匿名条件。论文还建立了所谓2-叉树加密方案的全局匿名性以及时变公钥加密方案的前向匿名性这两个通用的新概念,并基于此证明了时变公钥加密方案的Canetti-Halevi-Katz构造的前向匿名条件。最后,给出两个典型的混合加密构造,即Fujisaki-Okamoto构造和Okamoto-Pointcheval构造(REACT)选择密文匿名的充分条件,这些条件仅包括特定意义上的相对匿名性质和其它一些自然的弱保密性要求。文中不仅用多个具体实例表明这些条件都是非常实用的判定准则,而且还进一步应用这些普遍结果,给出对某些具体公钥加密方案匿名性质的简化证明,并证明了著名的NESSIE方案PSEC-1/2/3的选择密文匿名性质。

关键词：计算密码学匿名性可证明的安全性公钥隐秘性

来源：评论

学校读者我要写书评

暂无评论

几个通用公钥加密方案的匿名性条件

几个通用公钥加密方案的匿名性条件

引用

第二届中国计算机网络与信息安全学术会议

作者：田园邓鲁耀张浩大连理工大学软件学院辽宁大连 116600

公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样具有重要应用价值。最近Canetti－Halevi－Katz给出了基于IBE构造普通公钥加密方案的一个优美的一般性方法,继而Boneh－Katz给出一个不同的构造,对前者进行了性能改进。研究这几... 详细信息

公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样具有重要应用价值。最近Canetti－Halevi－Katz给出了基于IBE构造普通公钥加密方案的一个优美的一般性方法,继而Boneh－Katz给出一个不同的构造,对前者进行了性能改进。研究这几类一般性构造的匿名性质。建立了关于IBE方案的两个通用的新概念,即全局公钥匿名和全局公钥相对匿名性质,通过这些较弱的安全性概念,证明了关于Canetti－Halevi－Katz方案和Boneh－Katz方案的选择密文匿名的两类充分条件。

关键词：计算密码学公钥加密数据保密性匿名性条件

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：