テスト2日目

マンボウ先生のテストだった。
これは良くできたと思う。
持ち込み可だと変な記憶間違いがなくて済むからうれしい。
プロトコルの安全性証明もできて満足気だ。
時間ぴったりに全問解いた。
読み間違いによるミスはあるかもしれないけど、
凡ミスが3つ以上ない限り大丈夫だろう。
　
ついでに証明問題は
一次方程式を用いた秘密分散法の話で、
ID、秘密鍵一対から秘密情報を推理する攻撃者
ID、秘密鍵一対から他の対を作る攻撃者
が互いに帰着することに対する証明。
ざっくり言うと、

一次方程式では秘密鍵一対から他の対を作れたら2対による連立方程式から秘密情報が取り出せる。

秘密情報が取り出せたら一次方程式が一意に定まり他の対を作れる

っていう証明でしたねぇ。いい問題ですねぇ。