セキュリティプロトコルとその実現の検証

• Project/Area Number: 11780239
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: 計算機科学
• Research Institution: Tokyo University of Science
• Principal Investigator: 文 武 東京理科大学, 情報メディアセンター, 助教授 (20307713)
• Project Period (FY): 2000 – 2001
• Project Status: Completed (Fiscal Year 2000)
• Budget Amount: ¥2,400,000 (Direct Cost: ¥2,400,000); Fiscal Year 2000: ¥700,000 (Direct Cost: ¥700,000); Fiscal Year 1999: ¥1,700,000 (Direct Cost: ¥1,700,000)
• Keywords: コンピュータ・ネットワーク / コンピュータ・セキュリティ / セキュリティ・プロトコル / ソフトウェア検証 / インターネット / ブラウザー

Research Abstract

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

Research Products

• [Publications] Wu Wen: "Attacks on Authentication Protocols with Compromised Certificates and How to Fix Them"「情報処理学会論文誌. 41・8. 2110-2120 (2000)
• [Publications] Wu Wen: "An Authorization-Based Trust Model For Multiagent Systems"Journal of Applied Artificial Intelligence. 14・9. 909-925 (2000)
• [Publications] Wu Wen.: "Security of Public-Ray Based Authentication Protocols"Lecture Notes on Computor Science(LNCS). V1751. 196-209 (2000)
• [Publications] Wu Wen.: "Software fault Injection in Concurrent Systems"Proc.of Int Conf on Parallele and distributed Systems. VZ. 2378-2381 (1999)