分組密碼算法專用描述語(yǔ)言的研究與實(shí)現(xiàn).pdf

1、根據(jù)863計(jì)劃項(xiàng)目密碼算法和安全協(xié)議自動(dòng)化檢測(cè)工具開發(fā)及測(cè)評(píng)系統(tǒng)(2007AA012472)的需求，為了便于密碼算法設(shè)計(jì)人員描述分組密碼算法，本文提出一種分組密碼算法專用描述語(yǔ)言(BCASDL)，并借助ANTLR工具，仿真實(shí)現(xiàn)了一種功能示例性的BCASDL解析器，該解析器可為密碼算法設(shè)計(jì)人員提供分組密碼算法正確性的驗(yàn)證，其中BCASDL語(yǔ)法規(guī)范是生成BCADSL解析器的基礎(chǔ)。 BCASDL是在分析現(xiàn)有分組密碼算法的特點(diǎn)、規(guī)律及

2、表示方法的基礎(chǔ)上抽象出來的。該語(yǔ)言的描述接近分組密碼算法數(shù)學(xué)表示的特征，利用該語(yǔ)言密碼算法設(shè)計(jì)人員可非常方便地描述分組密碼算法的設(shè)計(jì)思想。為了構(gòu)建BCADSL解析器，本文在研究領(lǐng)域?qū)Ｓ谜Z(yǔ)言(DSL)的基礎(chǔ)上，通過對(duì)腳本語(yǔ)言及詞法、語(yǔ)法生成工具的開源性、擴(kuò)充性及生成目標(biāo)語(yǔ)言等情況進(jìn)行分析對(duì)比，最后確定使用詞法、語(yǔ)法生成工具-ANTLR。ANTLR根據(jù)BCASDL語(yǔ)法規(guī)范定義該語(yǔ)言的詞法、語(yǔ)法及語(yǔ)義動(dòng)作文法自動(dòng)生成相應(yīng)的C語(yǔ)言目標(biāo)代碼，并通