ネットワークの安全性を厳密に評価します

秘匿性確保やなりすまし防止などのセキュリティを重視する通信では暗号プロトコルと呼ばれる仕組みを用います。暗号プロトコルでは暗号や電子署名などを組み合わせて用いますが、組み合わせの誤りなどにより思わぬ欠陥が生じることがあります。そして広く用いられているプロトコルで欠陥が発見されると、多くの利用者が攻撃の危険にさらされるとともに改修と配布に多大な費用が発生します。本研究はこれを防ぐため、暗号プロトコルの仕様から、実際にプロトコルを実行することなく安全性を評価します。膨大な数の攻撃から成功確率が無視できるほど小さいものをあらかじめ除外し、残りの攻撃のみを調べることで高速化を可能にしました。

ポスターの画像をクリックすると、PDFファイルが開きます。