国防科技大学学报
國防科技大學學報
국방과기대학학보
JOURNAL OF NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY
2012年
2期
14-17
,共4页
彭昌勇%祝跃飞%康绯%米顺强
彭昌勇%祝躍飛%康緋%米順彊
팽창용%축약비%강비%미순강
高级加密标准%代数正规型%分组密码%符号计算%代数攻击%Cryptominisat软件
高級加密標準%代數正規型%分組密碼%符號計算%代數攻擊%Cryptominisat軟件
고급가밀표준%대수정규형%분조밀마%부호계산%대수공격%Cryptominisat연건
每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.
每箇佈爾函數的代數正規型(ANF)是唯一的,對于研究佈爾函數有重要意義.利用Mathematica軟件得到瞭高級加密標準的輪變換(Sbox,ShiftRow和MixColumn的複閤)的128箇分量函數的代數正規型.每箇分量函數都是32元佈爾函數,其項數在448 ～ 545,平均為496,遠遠小于隨機32元佈爾函數的平均項數231.這錶明AES輪變換與隨機置換有巨大偏差.得到這些ANF的時間複雜度在一箇2GHz的PC機上隻用幾分鐘.該方法優于通過真值錶得到ANF的經典算法——其得到128箇分量函數的時間複雜度為0( 128×32 ×232)=0(244).作為應用,利用得到的ANF建立瞭一輪AES的一箇方程繫統,併用Cryptominisat 2.9.0進行求解.使用Guess-and-Determine的方法,利用一箇已知明密對,可以在PC機上233h內得到全部128比特密鑰.
매개포이함수적대수정규형(ANF)시유일적,대우연구포이함수유중요의의.이용Mathematica연건득도료고급가밀표준적륜변환(Sbox,ShiftRow화MixColumn적복합)적128개분량함수적대수정규형.매개분량함수도시32원포이함수,기항수재448 ～ 545,평균위496,원원소우수궤32원포이함수적평균항수231.저표명AES륜변환여수궤치환유거대편차.득도저사ANF적시간복잡도재일개2GHz적PC궤상지용궤분종.해방법우우통과진치표득도ANF적경전산법——기득도128개분량함수적시간복잡도위0( 128×32 ×232)=0(244).작위응용,이용득도적ANF건립료일륜AES적일개방정계통,병용Cryptominisat 2.9.0진행구해.사용Guess-and-Determine적방법,이용일개이지명밀대,가이재PC궤상233h내득도전부128비특밀약.
