KATとMCT
KAT (Known Answer Test)とMCT (Monte Carlo Test)の話.
アルゴリズムが正しい値を出しているかどうかのテストに使われる2つのテスト.
このテストは,全部の値を試しているわけではないけど,これを通過すれば
ほぼOKだということは理解できる.
疑問:テストを通過するけど,違う値も吐くように「うまく」プログラムを
組むことはできるか?
ケース1:MCTだけNG
ケース2:KATだけNG
ケース3:両方NG
(難易度は下にあるほど上がってくるような気がする)
すごい見つけにくいバグを「逆に」仕込むことができて,それがCMVPを通過
したりなんかするとどうなるんだろう?と思ったんで.
参考:
http://csrc.nist.gov/groups/STM/cavp/documents/aes/AESAVS.pdf
アルゴリズムが正しい値を出しているかどうかのテストに使われる2つのテスト.
このテストは,全部の値を試しているわけではないけど,これを通過すれば
ほぼOKだということは理解できる.
疑問:テストを通過するけど,違う値も吐くように「うまく」プログラムを
組むことはできるか?
ケース1:MCTだけNG
ケース2:KATだけNG
ケース3:両方NG
(難易度は下にあるほど上がってくるような気がする)
すごい見つけにくいバグを「逆に」仕込むことができて,それがCMVPを通過
したりなんかするとどうなるんだろう?と思ったんで.
参考:
http://csrc.nist.gov/groups/STM/cavp/documents/aes/AESAVS.pdf
posted by exploit at 2008-12-22 16:09
nice!(0)
コメント(0)
トラックバック(0)
コメント 0