没有合适的资源?快使用搜索试试~ 我知道了~
首页最小KEM支持的高效安全密钥交换协议
最小KEM支持的高效安全密钥交换协议
需积分: 5 0 下载量 92 浏览量
更新于2024-07-10
收藏 131KB PDF 举报
本篇研究论文探讨了"带有最小KEM的高度安全密钥交换协议"。作者Baoping Tian、Fushan Wei和Chuangui Ma来自中国郑州的信息科学技术研究所,他们针对现有的安全问题提出了一个新颖的构造方法。在论文中,研究人员关注的是将密钥封装机制(KEM)应用于两阶段认证密钥交换(AKE)协议的设计。 在当前的安全环境下,许多AKE协议只能在随机 Oracle模型(一种理想化的安全假设)中提供证明安全性,而这种模型在实际应用中可能存在局限。为了提升安全性,该研究者采用了一个更强的模型——CK+模型,该模型超越了经典的CK模型。他们的主要贡献在于提出了一种通用的构建方法,使得基于KEM的AKE协议能够在CK+模型下达到高度的安全性,且仅需最少的KEM组件。 具体来说,他们设计的协议利用了一个单个选择性密文攻击(CCA)安全的KEM和一个计算性无条件安全的KEM(通常简称为CPA-secure KEM)。这样的设计既保证了协议的有效性,又降低了实现复杂性和资源消耗。通过这种方式,他们能够实现一个既高效又安全的密钥交换方案,适用于公开网络环境下的身份验证和后续私密通信,如加密传输或消息认证码的构建。 关键词包括公钥密码学、KEM(密钥封装机制)、扭曲伪随机函数、CK+模型以及标准模型,这些都是理解本文核心思想和技术路线的关键术语。这篇论文提供了一个重要的理论贡献,为网络安全领域中的密钥交换协议设计提供了新的视角和实用的构建策略。
资源详情
资源推荐
![](https://csdnimg.cn/release/download_crawler_static/18158507/bg3.jpg)
In a word, our contributions in this paper are listed as below
1. We present a generic construction of two-pass AKE protocol without random
oracles.
2. Comparison shows that our construction achieves CK
+
security with the
minimal KEM namely one CCA-secure IB-KEM and one CPA-secure KEM.
3. Our construction can switch between identity-based setting and PKI-based
setting easily.
Organization. The rest of this paper is organized as follows : In section
2, we introduce some related preliminaries. Section 3 outlines the CK
+
model.
Then, we propose our generic construction in section 4 and prove the security in
section 5. We compare our protocol with other KEM-based protocols in section
6. In the final section, we draw a conclusion on this paper.
2 Preliminaries
Notations. Let k be the security parameter. By A(x, y, ...), we denote a PPT
algorithm A with (x, y, ...) as inputs. We denote by z ← A(x, y, ...) running A
with inputs (x, y, ...) outputs z. We use the symbol “ ∈
R
” to denote “choosing
uniformly at random”.
Definition 1 (Min-Entropy). Let X be a probability distribution over K, the
minimum entropy of X over K is defined as follows
H
min
(X) = min{−log
2
(P r
X
[x]) : x ∈ K, P r
X
[x] = 0}
If H
min
(X) = t, it means that for all x ∈ K, we have P r
X
[x] ≤ 2
−t
.
Definition 2 (Strong Randomness Extractor). Let Exct : S × X → Y be
a function family with seed space S, finite domain X and finite range Y. Exct is
called (m, ϵ)-strong randomness extractor if for any random variable X over X
with H
min
(X) = m and for any seed s ∈
R
S, the two distributions ⟨s, Exct(s, X)⟩
and ⟨s, R⟩ where R ∈
R
Y have statistical distance ϵ, i.e.
1
2
∑
x∈Y
|P r[Exct(s, X) = x] − P r[R = x]| = ε
Definition 3 (Pseudorandom Function Family (PRF) [6]). Let F = {f
s
}
s∈S
be a family of functions where S = S(k). For a PPT distinguisher D, and it has
an access to oracle O which is F
s
(·) or a truly random function RF (·) with the
domain and range of F, the advantage of which is defined as
Adv
P RF
D
(k) = |P r[1 ← D
F
s
(·)
(1
k
)] − P r[1 ← D
RF (·)
(1
k
)]|
If the advantage Adv
P RF
D
(k) is negligible in k for all distinguisher D, then F is
said to be pseudorandom.
剩余14页未读,继续阅读
![docx](https://img-home.csdnimg.cn/images/20210720083331.png)
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![application/x-rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
weixin_38506852
- 粉丝: 5
- 资源: 889
上传资源 快速赚钱
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- 解决本地连接丢失无法上网的问题
- BIOS报警声音解析:故障原因与解决方法
- 广义均值移动跟踪算法在视频目标跟踪中的应用研究
- C++Builder快捷键大全:高效编程的秘密武器
- 网页制作入门:常用代码详解
- TX2440A开发板网络远程监控系统移植教程:易搭建与通用解决方案
- WebLogic10虚拟内存配置详解与优化技巧
- C#网络编程深度解析:Socket基础与应用
- 掌握Struts1:Java MVC轻量级框架详解
- 20个必备CSS代码段提升Web开发效率
- CSS样式大全:字体、文本、列表样式详解
- Proteus元件库大全:从基础到高级组件
- 74HC08芯片:高速CMOS四输入与门详细资料
- C#获取当前路径的多种方法详解
- 修复MySQL乱码问题:设置字符集为GB2312
- C语言的诞生与演进:从汇编到系统编程的革命
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
安全验证
文档复制为VIP权益,开通VIP直接复制
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)