推荐星级：

标准模型下高效的异构签密方案

更新时间：2019-12-30 12:11:31 大小：641K 上传用户：zhiyao6 查看TA发布的资源 标签：异构签密标准模型基于身份的密码 下载积分：1分评价赚积分（如何评价?）打赏收藏评论(0) 举报

资料介绍

异构签密方案能够为不同安全域之间的数据通信提供机密性和认证性。分析现有的异构签密方案,都是在随机预言模型下可证安全的。基于此,该文提出一个在标准模型下从基于身份的密码到传统公钥设施的签密方案,利用计算Diffie-Hellman问题和判定双线性Diffie-Hellman问题的困难性,对该方案的机密性和不可伪造性进行了证明。通过理论和实验分析,该方案在计算成本和通信成本方面具有更高的效率。

部分文件列表

文件名	大小
标准模型下高效的异构签密方案.pdf	641K

立即下载

【关注B站账户领20积分】

部分页面预览

（完整内容请下载后查看）

第 39 卷第 4 期

2017 年 4 月

电

子

与

信

息

学

报

Vol.39No.4

Apr. 2017

Journal of Electronics & Information Technology

标准模型下高效的异构签密方案

②

①

王彩芬^*①②

①

李亚红

张玉磊

牛淑芬

(西北师范大学计算机科学与工程学院兰州 730070)

②

(西北师范大学数统学院兰州 730070)

摘

要：异构签密方案能够为不同安全域之间的数据通信提供机密性和认证性。分析现有的异构签密方案，都是在

随机预言模型下可证安全的。基于此，该文提出一个在标准模型下从基于身份的密码到传统公钥设施的签密方案，

利用计算 Diffie-Hellman 问题和判定双线性 Diffie-Hellman 问题的困难性，对该方案的机密性和不可伪造性进行了

证明。通过理论和实验分析，该方案在计算成本和通信成本方面具有更高的效率。

关键词：异构签密；标准模型；基于身份的密码；传统公钥设施

中图分类号：TP309

文献标识码：A

文章编号：1009-5896(2017)04-0881-06

DOI: 10.11999/JEIT160662

Efficient Heterogeneous Signcryption Scheme

in the Standard Model

①②

②

①

WANG Caifen

LI Yahong

ZHANG Yulei

NIU Shufen

①

(College of Computer Science and Engineering, Northwest Normal University, Lanzhou 730070, China)

②

(College of Mathematics and Statistics, Northwest Normal University, Lanzhou 730070, China)

Abstract: Heterogeneous signcryption scheme can ensure the confidentiality and the authentication for data

communication between different security domains. Some existing heterogeneous signcryption schemes are

analyzed to be secure in the random oracle model. Based on this problem, an Identity-Based Cryptography (IBC)

to Public Key Infrastructure (PKI) signcryption scheme is proposed. The proposed scheme has the confidentiality

and the unforgeability under the Computational Diffie-Hellman (CDH) problem and the Decisional Bilinear

Diffie-HellmanB (DBDH) problem. Through the theoretical and experimental analysis, both the computational

costs and the communication overheads of the proposed scheme are more efficient.

Key words: Heterogeneous signcryption; Standard model; Identity-Based Cryptography (IBC); Public Key

Infrastructure (PKI)

献[8-11]分别提出在标准模型下的签密方案。

分析上述的签密方案，发送者和接收者在同一

个公钥密码环境中。现在考虑这样两种情形：PKI

系统的用户发送消息给 IBC 系统的用户(类型 I:

PKI→ IBC); IBC 系统的用户传送消息给 PKI 系统

的用户(类型 II: IBC→ PKI)，那么上述的签密方案

显然不能满足这样的需求。因此，Sun 等人^[12]首次

提出两个类型 I 的签密方案和多接收者签密方案，

而此方案仅满足外部安全性。Huang 等人^[13]提出一

个类型 II 的签密方案，证明了此方案满足内部安全

性；Li 等人^[14]提出两个高效的类型 I 和类型 II 的签

密方案，并给出了具体的形式化定义及安全模型。

分析以上的异构签密方案都是在随机预言模型

证明了安全性。然而，目前仍缺乏在标准模型下有

效的的异构签密方案。因此设计一个在标准模型下

可证安全的异构签密方案是很有必要的，也是十分

有意义的。基于此，本文提出一个在标准模型下的

异构签密方案。同时，基于 DBDH 问题和 CDH 问

题的困难性证明了方案的安全性。

1 引言

签密^[1]能够在一个逻辑步骤内实现加密和签名，

因此在通信过程中能够同时实现保密性和认证性，

并且效率优于传统的先签名再加密的方法。同时，

传统公钥设施(PKI)和基于身份的密码(IBC)作为信

息安全领域的关键技术，在实际应用中起着非常重

要的作用。因此，研究者对基于传统公钥设施和基

于身份的签密进行了一系列的研究^[2−7]。然而，以

上方案都是在随机预言模型下证明了安全性，但并

不能够保证在实际的环境中也是安全的。因此，文

收稿日期：2016-06-24；改回日期：2016-12-13；网络出版：2017-02-09

*通信作者：王彩芬

基金项目：国家自然科学基金(61163038, 61562077, 61662069)，甘

肃省高等学校科研项目(2014-A011)，西北师范大学青年教师科研能

力提升计划(NWNU-LKQN-14-7)

Foundation Items: The National Natural Science Foundation of

China (61163038, 61562077, 61662069), Research Fund of Higher

Education of Gansu Province (2014-A011), The Foundation for

Excellent Young Teachers by Northwest Normal University

(NWNU-LKQN-14-7)

882

电子与信息学报

第 39 卷

2 预备知识

随机选取α ∈ Z_p,g₂,v',u' ∈G ，计算 g₁= g^α；定义哈

希函数H₁: {0,1}^∗→ {0,1}ⁿ；随机选取n_u和n 维的向

量U = (u_i)和V = (v_i)，且u_i,v_i∈G 。PKG 发布系

统参数 Pa = {G,G_T, e,g,g₁,g₂,v',u',V,U,H₁}，保存

2.1 相关困难问题

定义 1 (计算 Diffie-Hellman(CDH)问题)

给

定(g,g^a,g^b)，其中a,b ∈ Z_p^∗，求g^ab。

主密钥g₂^α

。

定义 2 (判定双线性 Diffie-Hellman(DBDH)

问题) 给定 (g,g^a,g^b,g^c,T)，其中a,b,c ∈ Z_p^∗, T ∈

G_T，判断 T = e(g,g)^abc是否成立。算法 A 解决

DBDH问题的概率优势至少是 ε 的定义为 Adv(A)=

(2)IBC-KG：设 IBC 系统中用户的身份为u_A∈

{0,1}ⁿ^u, U_A={i | u[i]= 1,1 ≤ i ≤ n_u}，其中u[i]为u_A

的第i 个比特。PKG 随机选取r_A∈ Z_p，计算u_A的

r_A

钥d = d ,d

= g^αu'

,g^r^A

。

(

)

abc

(

)

A1 A2

∏

(

)

⎤

⎡

⎤

i∈U_A

≥ 2ε 。

[

1 ←A g ,g ,g ,T −Pr 1 ← A(g ,g ,g ,e(g,g)

(

)

⎢

⎥

⎦

⎥

⎣

⎦

(3)PKI-KG: PKI 系统中的用户选择r_B∈ Z_p，

，

则用户的公钥为 pk_B= (h₁,Z) ，私钥为 sk_B= g₂^r^B

定义 3 ((ε_dbdh,t)-DBDH 假定成立) 如果不

存在概率多项式时间算法 A 在时间 t 内，以至少

其中h₁= g^r^B,Z = e(h₁,g₂)。

(4)Signcrypt：当 Alice 发送消息m 给 Bob 时，

_dbdh的概率解决 DBDH 问题。

Alice 执行如下：

定义 4 (Hash 函数是(ε_H,t)-抗碰撞的)

如

(a)随机选取 r ∈ Z_p，计算σ₁=mZ^r, σ₂= g^r。

果不存在任意概率多项式时间算法 A 以至少 ε_H的

概率找到两个不同的消息m₀和m₁，使得 H(m₀) =

H(m₁)。

(b)计算σ₃= d_A2

。

(c)计算 τ = H₁σ ,σ ,σ ,u'

u_i,pk_B，且

(

)

∏

i∈U_A

τ = τ₁τ₂"τ_n∈ {0,1}ⁿ。

(d)计算σ₄= d_A1v'

2.2 IBC→ PKI 异构签案形式化定义

IBC→ PKI 的签密方案由以下 5 个算法组成：

(1)系统建立算法(Setup)：给定安全参数λ ，

输出系统参数Pa 。

(2)IBC 密钥生成算法(IBC-KG): IBC 系统的

用户用该算法生成私钥，给定身份u , PKG 计算u

的私钥d 。

i=1

v_i^τ

。

(

)

∏

输出消息m 的签密密文σ = (σ₁,σ₂,σ₃,σ₄)。

(5)Unsigncrypt: Bob 收到密文 σ = (σ₁,σ₂,σ₃,

σ₄)，执行以下步骤：

(a)计算 τ = H₁σ ,σ ,σ ,u'

u_i,pk_B，且

(

)

∏

i∈U_A

(3)PKI 密钥生成算法(PKI-KG): PKI 系统中

的用户用该算法生成私钥 sk 和公钥 pk , CA 对 pk

进行签名并产生数字证书。

τ = τ₁τ₂"τ_n∈ {0,1}ⁿ。

(b) 验证 e(σ , g) = e(g ,g )e u'

u_i,σ₃

(

)

∏

i∈U_A

⋅e v'

(

v_i^τⁱ,σ₂是否成立；若成立，返回 m =

)

∏

(4)签密算法(Signcrypt)：输入消息m ，系统

参数Pa , IBC 系统中发送者的私钥d_A和 PKI 系统

中接收者的公钥 pk_B，输出签密密文σ 。

(5)解签密算法(Unsigncrypt)：输入密文 σ ，

系统参数Pa , IBC 系统中发送者的身份u_A和 PKI

系统中接收者的私钥 sk_B，输出消息m 或符号“⊥ ”，

其中“⊥ ”表示密文不合法。

i=1

σ₁

；否则，输出错误符号“⊥ ”。

e(σ₂,sk_B)

4 安全性分析

4.1 正确性分析

(1)验证等式成立：

⎛

⎞

⎛

⎞

⎟

⎠

⎜

e σ ,g = e d v' v_i^τ,g

⎟

⎜

⎟

(

)

以上算法必须满足

⎜

∏

⎟

⎠

⎜

⎝

⎜

⎝

i=1

m = Unsigncrypt Signcrypt m,d ,pk ,u ,sk

2.3 IBC→ PKI 的安全模型

(

)

(

)

r_A

⎛

⎜

⎞

⎟

⎛

⎞

⎛

⎜

⎞

⎟

⎠

⎜

⎟

= e g u'

v' v_i^τ,g⎟

⎜

∏

⎜

⎟

⎠

⎟

⎜

⎝

⎜

⎟

⎠

⎜

⎝

i∈U_A

i=1

⎝

IBC→ PKI 的签密方案的安全性包括机密性和

不可伪造性，即在适应性选择密文攻击下具有不可

区分性(IND-IBC→ PKI-CCA2)和在适应性选择消

息攻击下具有存在不可伪造性(EUF-IBC → PKI-

CMA)。本文安全性的定义可参考文献[14]。

r_A

⎛

⎞

⎟

⎞

⎛

⎞

⎛

⎝

⎞

⎜

⎟

⎠

⎟

⎠

⎜

⎟

⎜

⎟

= e g ,g e u'

,g⎟e v' v_i^τ,g

(

)

⎜

∏

⎜

⎟

⎠

⎜

⎟

⎜

⎟

⎠

⎜

⎝

i∈U_A

i=1

⎝

⎛

⎞

⎟

⎛

⎞

⎜

r_A

τ_i

⎟

⎠

⎜

= e g ,g e u'

u_i,g e v' v_i,g

(

)

⎜

⎟

⎠

∏

⎜

⎝

⎜

⎝

i∈U_A

i=1

3 具体的 IBC→ PKI 异构签密方案

(1)Setup：设安全参数为λ ，群G 和G_T的阶为

q ，且G = 〈g〉 , e :G ×G → G_T是双线性对。PKG

⎛

⎜

⎞

⎛

⎞

⎟

τ_i

⎟

⎠

⎜

= e g ,g e u'

u ,σ e v' v_i,σ₂

(

)

⎜

⎟

⎠

∏

⎜

⎝

⎜

⎝

i∈U_A

i=1

全部评论(0)

暂无评论

评论赚积分>>

上传资源上传优质资源有赏金

最新上传

打赏
30日榜单

21ic小能手打赏5.00元 2天前

资料：STM32F1主控720空心杯四轴飞行器源代码
21ic小能手打赏5.00元 2天前

资料：STM32F07智能家居控制
21ic小能手打赏5.00元 2天前

资料：stm32单片机自制-超声波自拍神器
21ic小能手打赏5.00元 2天前

资料：辉光管手表-核心板（自制）
21ic小能手打赏5.00元 2天前

资料：Multisim（七秒）倒计时电路设计(全套)程序仿真报告
21ic小能手打赏5.00元 2天前

资料：Multisim（四人）抢答器电路设计(全套)程序仿真报告
21ic小能手打赏5.00元 2天前

资料：Multisim（三人）抢答器电路设计（全套）
21ic小能手打赏5.00元 2天前

资料：MultisimRC桥式震荡器正弦波发生器电路设计（仿真＋报告）
21ic小能手打赏5.00元 2天前

资料：MultisimRC桥式震荡器正弦波发生器电路设计（仿真＋报告）
21ic小能手打赏3.00元 2天前

资料：Multisim555延时灯电路设计仿真报告
21ic小能手打赏5.00元 2天前

资料：Multisim波形信号发生器电路设计仿真报告
21ic小能手打赏3.00元 2天前

资料：Multisim计数器电路设计
21ic小能手打赏3.00元 2天前

资料：Multisim频率计频率测量电路设计
21ic小能手打赏3.00元 2天前

资料：Multisim汽车尾灯电路设计
21ic小能手打赏3.00元 2天前

资料：Multisim汽车尾灯电路设计
21ic小能手打赏3.00元 2天前

资料：Multisim电子秒表电路设计
21ic小能手打赏5.00元 2天前

资料：Multisim数字电子钟仿真电路模型数字电子钟采用74LS160
21ic小能手打赏5.00元 2天前

资料：模电课设-基于Multism的八位和四位密码锁(全套)仿真报告原理图原创
21ic小能手打赏5.00元 2天前

资料：模电课设-基于Multism的数字电子时钟(全套)仿真报告原理图原创
21ic小能手打赏3.00元 2天前

资料：模电课设-基于Multism的八路医院紧急呼叫系统
21ic小能手打赏3.00元 2天前

资料：模电课设-Multism的四路医院紧急呼叫系统

21ic小能手打赏5.00元 2天前

资料：模电课设-基于Multism的波形发生器(全套)程序仿真 PCB 报告答辩PPT 原理图原创
21ic小能手打赏5.00元 2天前

资料：Multism的汽车尾灯(全套)程序仿真 PCB 报告答辩PPT 原理图原创
21ic小能手打赏5.00元 2天前

资料：Multism的篮球24秒倒计时(全套),仿真,报告,演示视频,原创
21ic小能手打赏5.00元 3天前

资料：STM32智能电子秤设计(全套)程序仿真 PCB 报告答辩PPT 原理图原创
21ic小能手打赏5.00元 3天前

资料：STM32智能台灯系统程序（全套）仿真 PCB 报告答辩PPT 原理图原创
21ic小能手打赏5.00元 3天前

资料：STM32智能门禁锁系统程序仿真 PCB 报告答辩PPT 原理图原创
21ic小能手打赏5.00元 3天前

资料：STM32的车牌号识别系统程序仿真 PCB 原理图原创
21ic小能手打赏3.00元 3天前

资料：stm32的信号发生器(全套)程序仿真 PCB 报告答辩PPT 原理图原创
21ic小能手打赏3.00元 3天前

资料：STM32智能蓝牙手环程序仿真 PCB 报告答辩PPT 原理图原创
21ic小能手打赏3.00元 3天前

资料：Mulitism的拔河游戏机 (全套)仿真报告原创
21ic小能手打赏3.00元 3天前

资料：交通灯_Multisium仿真仿真＋PCB
21ic小能手打赏3.00元 3天前

资料：stm32智能分类垃圾桶程序、电路
21ic小能手打赏3.00元 3天前

资料：stm32的电子秤(代码)
21ic小能手打赏5.00元 3天前

资料：STM32的智能气象站（全套）程序仿真 PCB 报告答辩PPT 原理图原创
21ic小能手打赏5.00元 3天前

资料：STM32的烟雾报警器（全套）程序仿真 PCB 报告答辩PPT 原理图原创
21ic小能手打赏5.00元 3天前

资料：STM32单片机的温度控制系统（全套）程序仿真 PCB 报告答辩PPT 原理图
21ic小能手打赏5.00元 3天前

资料：STM32的多功能循迹小车（全套）程序仿真 PCB 报告答辩PPT 原理图原创
21ic小能手打赏5.00元 3天前

资料：STM32的自动量程测电阻蓝牙传输42程序仿真 PCB 报告答辩PPT 原理图原创
21ic小能手打赏5.00元 3天前

资料：STM32F429IGT6的指纹密码锁程序 PCB 报告原理图原创

标准模型下高效的异构签密方案

资料介绍

部分文件列表

部分页面预览

相关下载

全部评论(0)

热门标签

最新上传

热门下载

资料专题

推荐下载

专栏首页