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

Research on the programming language for proxy re-encryption

作　　者：苏铓[1] 俞研 吴槟[2,3] 付安民 SU Mang;YU Yan;WU Bin;FU Anmin(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)

机构地区：[1]南京理工大学计算机科学与工程学院,江苏南京210094 [2]中国科学院信息工程研究所信息安全国家重点实验室,北京100093 [3]中国科学院大学网络空间安全学院,北京100049

出　　处：《通信学报》2018年第6期89-97,共9页Journal on Communications

基　　金：国家自然科学基金资助项目(No.61702266;No.U1536202;No.61572255);江苏省自然科学基金资助项目(No.BK20150787;No.BK20141404);北京市自然科学基金资助项目(No.4152048);中国科学院信息工程研究所基础前沿基金资助项目(No.Y7Z0391102);中国科学院关键技术人才基金资助项目;信息安全国家重点实验室重点布署基金资助项目(No.Y7D0061102)~~

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

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

分 类 号：TP302[自动化与计算机技术—计算机系统结构]