[發明專利]一種代理重加密算法描述及解析方法

有效

• 申請號: 201611131570.X
• 申請日: 2016-12-09
• 公開（公告）號: CN106789058B
• 公開（公告）日: 2020-11-13
• 發明（設計）人: 蘇铓;汪良辰;付安民;俞研;張功萱;王永利
• 申請（專利權）人: 南京理工大學
• 主分類號: H04L9/30
• 分類號: H04L9/30;G06F8/41
• 代理公司: 南京理工大學專利中心 32203
• 代理人: 陳鵬;朱顯國

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所述的代理重加密算法描述及解析方法，其特征在于，第四步中代碼底層庫包含底層函數庫和密碼實現函數庫。