• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2000 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 11780239
Research InstitutionTokyo University of Science

Principal Investigator

文 武  東京理科大学, 情報メディアセンター, 助教授 (20307713)

Keywordsコンピュータ・ネットワーク / コンピュータ・セキュリティ / セキュリティ・プロトコル / ソフトウェア検証 / インターネット
Research Abstract

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

  • Research Products

    (2 results)

All Other

All Publications (2 results)

  • [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)

URL: 

Published: 2002-04-03   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi