面向代理重加密算法的程序设计语言研究

doi:10.11959/j.issn.1000-436x.2018106

通信学报 ›› 2018, Vol. 39 ›› Issue (6): 89-97.doi: 10.11959/j.issn.1000-436x.2018106

面向代理重加密算法的程序设计语言研究

苏铓¹,俞研¹,吴槟^2,³(),付安民¹

¹ 南京理工大学计算机科学与工程学院，江苏南京 210094
² 中国科学院信息工程研究所信息安全国家重点实验室，北京 100093
³ 中国科学院大学网络空间安全学院，北京 100049

修回日期:2018-05-07 出版日期:2018-06-01 发布日期:2018-07-09
作者简介:苏铓（1987-），女，内蒙古赤峰人，博士，南京理工大学讲师，主要研究方向为云计算安全、访问控制、代理重加密等。|俞研（1972- ），男，吉林长春人，博士，南京理工大学副教授，主要研究方向为无线网络、网络空间安全等。|吴槟（1980-），男，山东青岛人，博士，中国科学院信息工程研究所副研究员，主要研究方向为网络与信息系统安全、信息对抗理论与技术等。|付安民（1981-），男，湖北通城人，博士，南京理工大学副教授，主要研究方向为云安全、隐私保护等。
基金资助:
国家自然科学基金资助项目(61702266);国家自然科学基金资助项目(U1536202);国家自然科学基金资助项目(61572255);江苏省自然科学基金资助项目(BK20150787);江苏省自然科学基金资助项目(BK20141404);北京市自然科学基金资助项目(4152048);中国科学院信息工程研究所基础前沿基金资助项目(Y7Z0391102);信息安全国家重点实验室重点布署基金资助项目(Y7D0061102);中国科学院关键技术人才基金资助项目

Research on the programming language for proxy re-encryption

Mang SU¹,Yan YU¹,Bin WU^2,³(),Anmin FU¹

¹ School of Computer Science and Engineering,Nanjing University of Science and Technology,Nanjing 210094,China
² State Key Laboratory of Information Security,Institute of Information Engineering,Chinese Academy of Sciences,Beijing 100093,China
³ School of Cyber Security,University of Chinese Academy of Sciences,Beijing 100049,China

Revised:2018-05-07 Online:2018-06-01 Published:2018-07-09
Supported by:
The National Natural Science Foundation of China(61702266);The National Natural Science Foundation of China(U1536202);The National Natural Science Foundation of China(61572255);The Natural Science Foundation of Jiangsu Province(BK20150787);The Natural Science Foundation of Jiangsu Province(BK20141404);The Natural Science Foundation of Beijing(4152048);IIE’s Frontier Project(Y7Z0391102);SKLOIS Key Deployment Project(Y7D0061102);CAS Key Technology Talent Program

摘要/Abstract

摘要：

通过结合领域专用语言（DSL），提出一种面向代理重加密的程序设计语言（PLPRE），PLPRE支持代理重加密算法结构明确、类似数学语言的描述，算法设计人员通过PLPRE能够实现重加密算法快捷、方便的描述，并通过解析工具最终产生与之对应的计算机编程语言代码。首先介绍了 PLPRE 的语法规范，给出了关键字、程序逻辑的定义，并以ACC-PRE算法为基础，给出了PLPRE的描述示例，其次描述了基于ANTLR工具的PLPRE的解析与实现流程，最后通过与相关工作的对比，阐述了PLPRE的优势。PLPRE的描述不需要关注数据结构、内存管理等问题，适用于不熟悉计算机编程的密码学家的描述算法，从而降低代理重加密算法研究中的设计与实现偏差。

关键词: 代理重加密, 领域专用语言, ANTLR, 算法描述, 密码算法实现

Abstract:

The programming language for proxy re-encryption(PLPRE) based on domain specific language(DSL) was proposed,which was similar to the matical description and was adopt to describe the proxy re-encryption directly.The algorithm designer could describe the algorithm conveniently and quickly by PLPRE,and obtain the programming code for computer.Firstly,the grammar of PLPRE was presented,including the definitions of the keyword and programming logic,then the ACC-PRE algorithm was described by PLPRE as an example.Secondly,the PLPRE parser was realized by ANTLR.Finally,the comparisons between the PLPRE and the related work were made.By using the PLPRE,user does not need to pay attentions to data structure or memory allocation.It is suitable for the cryptography experts who is not familiar with the programming.Thus,PLPRE will decrease the deviation between the design and implement for PRE.

Key words: proxy re-encryption, domain specific language, ANTLR, description of algorithm, implement of cryptography

中图分类号:

TP302

苏铓,俞研,吴槟,付安民. 面向代理重加密算法的程序设计语言研究[J]. 通信学报, 2018, 39(6): 89-97.

Mang SU,Yan YU,Bin WU,Anmin FU. Research on the programming language for proxy re-encryption[J]. Journal on Communications, 2018, 39(6): 89-97.

图/表 7

表1

表2

表3

ACC-PRE Setup算法PLPRE描述"

ACC-PRE数学描述	PLPRE描述
Setup (k)→param，选取长度为k的素数p，群G₁、G₂为q的乘法循环群， g 为 G₁的生成元，散列函数组 H₁、H₂、H₃、H₄，其中，H₁:{0,1}^→G₁, $H_{2} : {0, 1}^{} \to Z_{p}^{}$ ,H₃:G₂→{0,1}^l,H₄:{0,1}^→G₁。公开参数 param={p,G ₁,G₂,g,H_i(i=1,…,4)}。定义双线性映射e:G₁ ×G₁→G₂	/method Setup(k)
	q=\sfun Prime(k); /k长大素数/
	G₁=\sfun Group(q);/q阶循环群/
	G_T=\sfun Group(q);
	Zq=\sfun GroupZ(q);
	g=\sfun Generator(G₁);
	/loop(s=1;step=1;until=2)
	{H₁[s]=\sfun Hash(str_b,G₁);}
	H₂=\sfun Hash(str_b,Zq);
	H₃=\sfun Hash(G_T,str_l);
	/构造散列映射关系，str_b表示随意比特串，str_l表示l长比特串，在定义中通过str_l(bits=l)，进行说明/
	\sfun e(G₁,G_T);/构造双线性对/
	\method

表3

表4

图1

表5

ACC-PRE 重加密算法PLPRE描述"

ACC-PRE数学描述	PLPRE描述
$R e - E n c (C_{i}, r k_{i \to j}^{c o n d i t i o n}) \to C_{j}$ ，加密代理对密文 C_i进行重加密，生成可以被 sk_j 所解密的密文C_j =(c₁′,c₂′,c₃′,c₄′,c₅′) 。若e(c₁,H₄(c₁\|\|c₂\|\|c ₃\|\|c₄))= e(g,c₅)，则进行以下计算：	/method Re-Enc(rk,C₁,para)
	/rk为重加密密钥，有reKeyGen函数产生，一个包含pk₂及相关参数的一个枚举类型/
${c^{'}}_{1} = c_{1};$	\if (e(C₁[1],H₄(C₁[1]\|\|C₁[2]\|\|C₁[3]\|\|C₁[4]))=e(g,C₁[5]))
${c^{'}}_{2} = c_{2} (p k_{j}^{r} g^{- r}, H_{1} (p k_{i})^{- s k_{i}}) e (p k_{j}^{r}, H_{1} (p k_{j} \| \| c o n d i t i o n) H_{1} (p k_{i})^{- s k_{i}})$	then
$= k e (p k_{j}^{r}, H_{1} (p k_{j} \| \| c o n d i t i o n));$ ${c^{'}}_{3} = c_{3};$	{C₂[1]=C₁[1]；
${c^{'}}_{4} = H_{1} (p k_{j});$	C₂[2]=k*e(pk₂^r,H₁[1](pk₂\|\|para))；
${c^{'}}_{5} = H_{4} ({c^{'}}_{1}, {c^{'}}_{2}, {c^{'}}_{3}, {c^{'}}_{4})^{r}$	/para对应元算法描述中的condition，不同的算法针对的环境不同，因此会出现用户定义的参与，PLPRE中统一约束为比特串/
	C₂[3]=C₁[3]；
	C₂[4]=H₁[1](pk₂)；
	C₂[5]=H₁[2](C₂[1]\|\|C₂[2]\|\|C₂[3]\|\|C₂[4]);
	\method

表5

表6

参考文献 13

[1]	张玉清, 王晓菲, 刘雪峰 ,等. 云计算环境安全综述[J]. 软件学报, 2016,27(6): 1328-1348.
	ZHANG Y Q , WANG X F , LIU X F ,et al. Survey on cloud computing security[J]. Journal of Software, 2016,27(6): 1328-1348.
[2]	苏铓, 史国振, 谢绒娜 ,等. 面向移动云计算的多要素代理重加密方案[J]. 通信学报, 2015,36(11): 73-79.
	SU M , SHI G Z , XIE R N ,et al. Multi-element based on proxy re-encryption scheme for mobile cloud computing[J]. Journal on Communications, 2015,36(11): 73-79.
[3]	SIDOROV E , Breaking the Rabin-Williams digital signature system implementation in the Crypto++ library[J]. Lecture Notes in Computer Science, 2015,2664(4):956.
[4]	BENGER N , SCOTT M . Constructing tower extensions for the implementation of pairing-based cryptography[C]// Springer Berlin Heidelberg. 2012: 180-195.
[5]	LYNN B . On the implementation of pairing-based cryptosystems[J]. Dissertation Abstracts International, 2007,68: 3903-3910.
[6]	ATENIESE G , FU K , GREEN M ,et al. Improved proxy re-encryption schemes with applications to secure distributed storage[J]. ACM Transactions on Information ＆ System Security, 2006,9(1): 1-30.
[7]	LEE P , MARK S , MATTHEWS J . A verifying core for a cryptographic language compiler[C]// International Workshop on the ACL2 Theorem Prover and ITS Applications. 2006: 1-10.
[8]	LEVENT E , MATTHEWS J . High assurance programming in Cryptol[C]// The 5th Annual Workshop on Cyber Security and Information Intelligence Research. 2009: 60-61.
[9]	AHMAD J J , LI S , SADEGHI A R ,et al. CTL:a platform independent crypto tools library based on dataflow programming paradigm[C]// International Conference on Financial Cryptography and Data Security. 2012: 299-313.
[10]	TOMB A . Automated verification of real-world cryptographic implementations[J]. IEEE Security ＆ Privacy, 2016,14(6): 26-33.
[11]	李凤华, 阎军智, 谢绒娜 ,等. 面向分组密码算法的程序设计语言研究[J]. 电子学报, 2009,37(12): 2705-2710.
	LI F H , YAN J Z , XIE R N ,et al. Research on the programming lan-guage for the block cipher algorithm[J]. Acta Electronica Sinica, 2009,37(12): 2705-2710.
[12]	BOVET J , PARR T . ANTLRWorks:an ANTLR grammar development environment[J]. Software Practice ＆ Experience, 2008,38(12): 1305-1332.
[13]	SU M , LI F H , SHI G Z ,et al. A user-centric data secure creation scheme in cloud computing[J]. Chinese Journal of Electronics, 2016,25(CJE-4): 753-760.

名称	描述	示例
Setup	初始化函数，实现代理重加密算法参数的初始化，如产生循环群、双线性对、大素数等	/method Setup(k){…}\method，k 为参数初始化参数，通常为大素数位数或循环群阶等，初始化函数的参数可为多个
KeyGen	密钥对生成函数，产生代理重加密参与双方的公私钥对	/method KeyGen(g,Zq){…}\method，g、Zq为初始化过程中已经产生循环群生成元和 q 阶整数群，产生的公私钥对的定义则在定义部分进行描述
ReKeyGen	重加密密钥生成函数，产生代理重加密密钥	/method ReKeyGen (sk₂,sk₁,pk₁){…}\method，其中，sk₂、pk₁、sk₁为用户2的私钥及用户1的公私钥，该函数产生用户1为用户2共享数据的重加密密钥rk_1→2
Enc	加密函数，用于代理重加密的第一次加密	/method Enc(pk₁,m){…}\method，参数pk₁为用户1的公钥，该函数将描述实现将明文m使用pk₁进行第一次加密，产生密文C₁
ReEnc	重加密函数，对第一次的密文进行重加密	/method ReEnc(C₁,rk_1→2){…}\method，参数C₁为第一次加密产生的密文，rk_1→2为代理重加密密钥
Dec	解密函数，分为Dec₁和Dec₂，分别用于第一次加密密文和重加密密文的解密	/method Dec₁(C₁,sk₁){…}\method 和/method Dec₂(C₂,sk₂){…}\method，C₁、C₂表示第一次加密密文和重加密密文，sk₁和sk₂表示用户1和用户2的私钥
main	主函数，用于用户的测试运行	/method main(){…}\method

名称	示例	功能描述
Prime	\sfun Prime(k)	产生长度为k bit的大素数
Group	\sfun Group(q)	产生q阶循环群
Group	\sfun GroupZ(q)	产生Zq
Generator	\sfun Generator(G)	获取群G的生成元
e	\sfun e(G₁,G_T)	产生群G₁到群G_T的双线性对
random	\sfun random(Zq)	选取群Zq中的任意元素
Hash	\sfun Hash(A,B)	构造集合A到B的散列映射关系
@	a@b	实现a和b的连接运算
xor	a xorb	实现a和b的异或运算
^	g ^x	进行g的x次幂运算
*	a*b	群元素a与b进行域内乘运算

ACC-PRE数学描述	PLPRE描述
Enc (m,pk_i)→C_i，用户 i 使用自身公钥 pk_i加密明文信息 m，选取k∈G₂，计算r=H₂(m\|\|k)，则C_i =(c₁,c₂,c₃,c₄,c₅)。	/method Enc(Zq,g,g₁,pk₁,m,C₁) k=\sfun random(GT)；
c ₁=g^r;	/在q阶整数循环群GT上随机选取k/
c₂ =ke(pk_i,H₁(pk_i))^r;	r= H₂(m\|\|k)
c₃=m⊕H₃(k);	C₁[1]=g^r；//密文第一部分，计算g^r mod q
c₄ =H₁(pk_i);
c ₅=H₄(c₁\|\|c₂\|\|c₃\|\|c₄)^r	C₁[2]=k*e(pk₁,H₁[1](pk₁))^r//密文第二部分，m 与 e(pk,H₁[1](pk))r mod q连接
	C₁[3]=m@H₃(k)；//密文第三部分
	C₁[4]=H₁[1](pk₁)；
	C₁[5]=H₁[2](C₁[1]\|\|C₁[2]\|\|C₁[3]\|\|C₁[4]])^r；
	\method

技术	知识背景			适用范围			跨平台
技术	需要关注数据类型	需要关注数据结构	需要计算机编程基础	支持pairing	支持no-pairing	支持重加密算法描述	跨平台
PRL	Yes	Yes	Yes	Yes	No	Part	No
PBC	Yes	Yes	Yes	Yes	No	Part	Part
Cryptol	No	No	No	No	No	No	Yes
PLPRE	No	No	No	Yes	Yes	Yes	Yes

[1]	李瑞琪, 贾春福, 王雅飞. 基于NTRU的多密钥同态代理重加密方案及其应用[J]. 通信学报, 2021, 42(3): 11-22.
[2]	杨小东, 席婉婷, 王嘉琪, 陈艾佳, 王彩芬. 基于签密和区块链的车联网电子证据共享方案[J]. 通信学报, 2021, 42(12): 236-246.
[3]	牛淑芬,刘文科,陈俐霞,王彩芬,杜小妮. 基于联盟链的可搜索加密电子病历数据共享方案[J]. 通信学报, 2020, 41(8): 204-214.
[4]	李颖莹,马建峰,苗银宾. 基于边缘计算的支持多密钥的加密图像检索[J]. 通信学报, 2020, 41(4): 14-26.
[5]	冯朝胜,罗王平,秦志光,袁丁,邹莉萍. 支持多种特性的基于属性代理重加密方案[J]. 通信学报, 2019, 40(6): 177-189.
[6]	苏铓,史国振,付安民,俞研,金伟. 基于代理重加密的云端多要素访问控制方案[J]. 通信学报, 2018, 39(2): 96-104.
[7]	张恩,裴瑶瑶,杜蛟. 基于RLWE的密文策略属性代理重加密[J]. 通信学报, 2018, 39(11): 129-137.
[8]	李菊雁,马春光,赵乾. 格上可重新拆分的门限多代理者的代理重加密方案[J]. 通信学报, 2017, 38(5): 157-164.
[9]	罗恩韬,王国军,陈淑红,PINIALKhan-butt. 移动社交网络中跨域代理重加密朋友发现隐私保护方案研究[J]. 通信学报, 2017, 38(10): 81-93.
[10]	郭威,周学广,瞿成勤,罗芳,纪祥君. 基于CP-ABE的编队跨域通信方案研究[J]. 通信学报, 2015, 36(Z1): 250-258.
[11]	苏铓，史国振，谢绒娜，付安民. 面向移动云计算的多要素代理重加密方案[J]. 通信学报, 2015, 36(11): 73-79.
[12]	张维纬1,2，张茹1,2，刘建毅1,2，钮心忻1,2，杨义先1,2. 高效的选择密文安全的单向代理重加密方案[J]. 通信学报, 2013, 34(7): 10-97.
[13]	张维纬,张茹,刘建毅,钮心忻,杨义先. 高效的选择密文安全的单向代理重加密方案[J]. 通信学报, 2013, 34(7): 87-97.
[14]	蓝才会,王彩芬. 构造适合云的公平交换协议[J]. 通信学报, 2013, 34(3): 111-118.
[15]	洪澄,张敏,冯登国. 面向云存储的高效动态密文访问控制方法[J]. 通信学报, 2011, 32(7): 125-132.

面向代理重加密算法的程序设计语言研究

Research on the programming language for proxy re-encryption

在线阅读

PDF下载

可视化

摘要/Abstract

引用本文

使用本文

图/表 7

参考文献 13

相关文章 15

Metrics

推荐阅读 0