格是歐氏空間Rⁿ中的離散加法子群,格上的許多計(jì)算問題被證明是NP-hard,常用來作為公鑰密碼體制的底層困難問題.目前基于量子計(jì)算機(jī)模型的量子算法也難以高效求解格上的困難問題,因此后量子時(shí)代下格密碼學(xué)受到了越來越多的關(guān)注.最短向量問題（Shortest Vector Problem,SVP）是格上的計(jì)算困難問題,格基約化算法是求解SVP問題的一個(gè)有效算法,該算法可以找到格中的一些短向量.YOSHINORI等人在2016年歐洲密碼年會(huì)上提出Progressive BKZ算法,是目前格基約化算法中最為高效的算法之一.詳細(xì)介紹了PBKZ算法,分析了它的運(yùn)行機(jī)理及其內(nèi)在特點(diǎn),然后在Linux系統(tǒng)下成功調(diào)試了PBKZ算法庫,并針對(duì)Darmstadt格挑戰(zhàn)展開了一系列實(shí)驗(yàn),最終在600維和725維兩種情形下取得了目前國際上最好結(jié)果. 

【文章來源】：河南師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2020,48(05)北大核心

【文章頁數(shù)】：8 頁

【文章目錄】：
1 基礎(chǔ)知識(shí)
    1.1 格的基本概念
    1.2 格上求解困難問題
    1.3 格基約化算法
        (1)LLL算法
        (2)BKZ算法
2 PBKZ算法
    2.1 算法主要流程
    2.2 主要技術(shù)改進(jìn)
        2.2.1 分塊策略的最優(yōu)選取
        2.2.2 枚舉算法中參數(shù)的最佳選取
        2.2.3 終止策略
3 算法實(shí)現(xiàn)及格挑戰(zhàn)實(shí)驗(yàn)
    3.1 Darmstadt格挑戰(zhàn)
    3.2 實(shí)驗(yàn)及結(jié)果
4 總結(jié)及展望


【參考文獻(xiàn)】：
期刊論文
[1]格密碼學(xué)研究[J]. 王小云,劉明潔.  密碼學(xué)報(bào). 2014(01)



本文編號(hào)：3454221