[发明专利]一种代理重加密算法描述及解析方法

权利要求书

1.一种代理重加密算法描述及解析方法，其特征在于，包括以下步骤：

第一步，定义代理重加密算法描述语言，用于密码算法设计用户针对其数学算法进行类数学语言的描述；

第二步，用户根据算法描述语言对其设计的代理重加密算法进行描述，生成描述源文件；

第三步，对描述源文件进行语言解析，生成算法描述中间代码；

第四步，依据用户的目标代码需求，选择对应计算机编程语言对应的代码底层库，生成目标代码；

所述的代理重加密描述语言定义基于双线性对的代理重加密算法的描述规则，包含算法描述的关键字、变量定义，函数定义、运算规则定义；

关键字定义包括def、method、fun关键字，分别用于表示变量的定义、函数和运算子函数的定义；

变量定义以关键字\def为起始，以/def为终止；

函数定义包括初始化、密钥生成、加密、重加密、重加密密钥生成、解密函数和测试函数的定义，名称分别为Setup、KeyGen、Enc、ReEnc、ReKeyGen、Dec和main函数；

所述Setup、KeyGen、Enc、ReKeyGen、ReEnc、Dec和main函数均以\method关键字为起始，形式为\method函数名(参数表)，以/method函数名表示函数描述结束；参数表中参数数量为0～N，N为自然数，参数数量由用户需求确定；

运算规则定义包含运算子函数描述和运算符描述，其中运算子函数描述以\fun表示，运算子函数是指数学算法设计过程中相关的通用数学函数，由现有的通用程序源码库支撑；

运算子函数描述包括大素数生成子函数Prime()、循环群生成子函数Group()、生成元获取子函数Generator()、线性对生成子函数e()、随机选取群中元素子函数random()；运算符包含幂运算^、连接运算@、异或运算xor。

2.根据权利要求1所述的代理重加密算法描述及解析方法，其特征在于，第二步用户根据算法描述语言对其设计的代理重加密算法进行描述，生成描述源文件的具体过程为：

首先，使用关键字def定义算法描述中包含的变量，变量包括明文、密文以及在密码算法运行过程中涉及到的中间变量；

然后，以method关键字分别定义Setup、KeyGen、Enc、ReKeyGen、ReEnc、Dec和main函数，期间涉及到的运算子函数、运算符的描述须符合运算规则定义。

3.根据权利要求1所述的代理重加密算法描述及解析方法，其特征在于，对描述源文件进行语言解析包含对描述文件中的代理重加密算法类数学描述语言进行词法分析、语法分析和语义解析。

4.根据权利要求1所述的代理重加密算法描述及解析方法，其特征在于，第四步中代码底层库包含底层函数库和密码实现函数库。