-
题名基于刚性与相似性概念的密码协议分析方法
被引量：3
- 1
-
-
作者
田园
王颖
金锋
金月
-
机构
大连理工大学软件学院
大连理工大学数学科学学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2009年第4期618-634,共17页
-
基金
国家自然科学基金(60673046)
辽宁省自然科学基金(2075068)
大连理工大学跨学科建设项目资助
-
文摘
如何融合计算密码学与形式演算模型两条途径以有效分析和证明复杂密码协议,是信息安全领域富有挑战性的问题之一.文中提出Dolev-Yao刚性和Dolev-Yao相似性概念,运用密码协议的语法骨架提取与语义赋值技术,建立起一个能涵盖除具有适应性入侵能力之外的任何主动攻击者和大部分有实际意义的非自由消息代数的理论分析框架.该框架内所证明的协议安全性质具有复合-稳定性,即所证明的安全性质在协议与环境复合时仍然保持成立.文中针对strand-图模型这一具体情形证明了Canetti的UC-相似性概念与这里所建立的Dolev-Yao相似性概念之间接近充分必要程度的对偶关系,从而对融合UC-理论/strand-图模型这一情形具体证明了该分析框架具有相容性和完备性.最后,根据以上理论结果讨论了如何建立一种对应的新的协议分析方法.
-
关键词
计算密码学
形式模型
UC-相似
Dolev-Yao刚性
Dolev-Yao相似性
-
Keywords
computational cryptography
symbolic model
UC emulation
Dolev-Yao non-mallea- bility
Dolev-Yao emulation
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名Z[ω]环上的两类密码体制
被引量：5
- 2
-
-
作者
曹珍富
-
机构
哈尔滨工业大学数学系
-
出处
《电子科学学刊》
CSCD
1992年第3期286-290,共5页
-
基金
国家自然科学基金资助课题
-
文摘
本文在Eisenstein环Z[ω]上得到了两类新的密码体制。它们分别是推广的RSA密码体制和自确认密码体制。安全性分别基于环Z[ω]上整数的分解和Z[ω]环上离散对数的计算。
-
关键词
计算机密码学
密码体制
Eisenstein
-
Keywords
Computer cryptology
Eisenstein's ring
Cryptosystem
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名关于混合加密方案匿名性质的几个一般性结果
被引量：2
- 3
-
-
作者
田园
李明楚
陈治宇
-
机构
大连理工大学软件学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2007年第10期1813-1826,共14页
-
基金
国家自然科学基金(60673046)资助.
-
文摘
公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样都具有重要应用价值.文中首先建立关于公钥加密方案的两个通用的新概念,即相对匿名性和相对保密性.通过这些较弱的安全性概念,证明了关于公钥加密方案匿名性质的两类一般性结果.第一类结果建立了公钥加密方案的保密性与匿名性之间两个对偶式的普遍关系,即相对匿名性(相对保密性)连同保密性(匿名性)蕴涵匿名性(保密性);第二类结果给出两个典型的混合加密构造(即Fujisaki-Okamoto构造和Okamoto-Pointcheval构造(REACT))选择密文匿名的充分条件,这些条件仅包括特定意义上的相对匿名性质和其它一些自然的弱保密性要求.文中不仅用多个具体实例表明这些条件都是非常实用的判定准则,而且还进一步应用这些普遍结果,给出对某些具体公钥加密方案匿名性质的简化证明,并证明了著名的NESSIE方案PSEC-1/2/3的选择密文匿名性质.
-
关键词
计算密码学
匿名性
可证明的安全性
混合方案
公钥隐密性
-
Keywords
computational cryptography
anonymity
provable security
hybrid-scheme
keyprivacy
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名几个通用公钥加密方案的匿名性条件
被引量：2
- 4
-
-
作者
田园
邓鲁耀
张浩
-
机构
大连理工大学软件学院
-
出处
《通信学报》
EI
CSCD
北大核心
2009年第S2期8-16,共9页
-
基金
国家自然科学基金资助项目(60673046)~~
-
文摘
公钥加密方案的匿名性(亦称公钥隐密性)与数据保密性同样具有重要应用价值。最近Canetti-Halevi-Katz给出了基于IBE构造普通公钥加密方案的一个优美的一般性方法,继而Boneh-Katz给出一个不同的构造,对前者进行了性能改进。研究这几类一般性构造的匿名性质。建立了关于IBE方案的两个通用的新概念,即全局公钥匿名和全局公钥相对匿名性质,通过这些较弱的安全性概念,证明了关于Canetti-Halevi-Katz方案和Boneh-Katz方案的选择密文匿名的两类充分条件。
-
关键词
计算密码学
匿名性
可证明的安全性
基于身份的加密方案
公钥隐密性
-
Keywords
computational cryptography
anonymity
provable security
identity-based encryption scheme
key-privacy
-
分类号
TN918
[电子电信—通信与信息系统]
-
-
题名NTRU公开密钥体制安全性分析
被引量：8
- 5
-
-
作者
步山岳
徐新亚
姚清海
-
机构
淮阴工学院计算机系
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第24期180-181,196,共3页
-
文摘
NTRU算法的安全性取决于从一个非常大的维数格中寻找很短向量的困难性。用NTRU产生的密钥方法比较容易,加密、解密的速度比RSA等算法快得多。从安全性和有效性方面分析,NTRU密码体制有着广阔的应用前景。文章介绍了NTRU标准格和目前用来攻击基于格问题的公开密钥体制倒退攻击(reactionattack)法,讨论了预防、跟踪NTRU算法遭受攻击的措施。NTRU是一种新的、快速安全的公开密钥体制,将会在公开密钥体制中占有重要的地位。
-
关键词
公开密钥体制
安全性分析
NTRU算法
计算机密码学
信息安全
-
Keywords
NTRU PCKS,Security,Lattice,Attack
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
TN918.
[电子电信—通信与信息系统]
-
-
题名混合基表示下的大数比较算法及其最优性
- 6
-
-
作者
武继刚
-
机构
烟台大学计算机系
-
出处
《系统工程与电子技术》
EI
CSCD
1997年第7期64-66,共3页
-
文摘
本文给出了大数在混合基表示下的比较算法,主要结论为:设X=b_(n+1)P_nP_(n-1)…P_1+…+b_2p_1+b_1,其中{p_i}两两互素,则对于计算{b_i}的任何算法,计算b_(n+1)所花的时间大于计算b_1,b_2,… ,b_n所花时间的总和.从而利用计算b_1,b_2,…,b_n的最优算法进行两个大数的比较,本文提出的比较算法是最优的.
-
关键词
计算机密码学
比较
最佳算法
混合基表示
-
Keywords
Large integer , Comparison, Chinese remainder theorem, Mixed radix representation,Modular operation.
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名中文报文Byte级列换位
- 7
-
-
作者
游荣彦
-
机构
华南师范大学计算机科学系
-
出处
《华南师范大学学报（自然科学版）》
CAS
1997年第2期32-36,共5页
-
基金
广东省高教厅资助
-
文摘
本文给出中文报文Ｂｙｔｅ级列换位的算法，显示了该算法具有Ｃ．Ｓｈａｎｎｏｎ所指的扩散与混乱的能力。
-
关键词
加密算法
计算机密码学
中文报文
Byte级列换位
-
Keywords
confusion
diffusion
attack
DES encryption algorithm
computationally unbreakable
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于公钥的数据加密技术
被引量：1
- 8
-
-
作者
王峻慧
禹申
鄂淑华
-
机构
黑龙江省中医研究院
哈尔滨电业局太平供电局
佳木斯市第六地质勘察院信息中心
-
出处
《农机化研究》
北大核心
2005年第1期257-258,共2页
-
文摘
计算机密码学是研究计算机的加密、解密及变换的科学。安全有效的加密算法是安全服务和安全机制的基础和核心。目前已有的、可以公开的加密算法很多,其中最有名的传统加密算法是DES、RC4、RC6以及现在准备替代DES的AES候选算法、IDEA算法、LOKI91和FEAL算法等。为此,主要研究了密码算法分类和基于公钥的加密算法。
-
关键词
加密算法
公钥
数据加密技术
DES
解密
IDEA算法
计算机密码学
RC4
密码算法
AES
-
分类号
S435.112.1
[农业科学—农业昆虫与害虫防治]
TP309
[自动化与计算机技术—计算机系统结构]
-
