| 研究概要 |
本研究は,セキュリティプロトコルの分析及び検証とその実装に関するものである.我々は,本プロジェクトの初期の段階で実装された検証ツールに基づいて,SSLプロトコルと呼ばれる,近年のインターネットで最も利用されているプロトコルについて重大な欠陥を発見した.
我々は,SSLやその他の既存のプロトコルに対して,強化版プロトコルを数多く提案した.それらは,我々が発見したプロトコル上の弱点に対応したものである.それらの結果は,情報処理学会論文誌41巻第8号に掲載されている.
さらに,同様なプロトコルとして,情報メディアセンターが行っているスマートオフィスプロジェクトでのマルチエージェントシステムに対して,安全性を強化するためのプロトコルについて提案した.この成果については,"Journal of Applied Artificial Intelligence",Volume14,No.9.に掲載されている.
我々はこれらの結果によって,強固なセキュリティプロトコルを設計するために,検証のアプローチが有益であることを示した.
|
