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

2006 Fiscal Year Annual Research Report

線型論理を応用した安全性向上のためのコスト解析の形式的手法

Research Project

Project/Area Number 16700025
Research InstitutionTokyo Institute of Technology

Principal Investigator

西崎 真也  東京工業大学, 大学院・情報理工学研究科, 助教授 (90263615)

Keywords線型総論 / DoS攻撃耐性 / コスト解析
Research Abstract

本研究の実績の概要は以下のとおりであった。
(I)数学的な厳密さのもとで,前述の(1)と(2)のようなDoS攻撃に対する耐性の解析を行なうための理論的裏付けをあたえ,形式的体系を確立し,計算コストの明示的な記述が可能とする.また,線型論理に基づく型理論を応用し,記憶領域に関するコスト計算の厳密化をはかった。
(II)上記の理論的裏付けとしての形式的体系に基づく,推論体系を確立し,それに基づいた推論システムを作成する.
【研究の学術的な特徴・独創的な点・結果と意義】
DoS攻撃耐性の基礎技術としてコスト解析をとらえ,その基礎付けに取り組むという点が本研究の学術的な特徴であり,独創的なところである.本研究の結果・意義としては,従来の使用されているプロトコルなどにおけるDoS攻撃耐性の視点からの問題点を検討することがあげられる.また,学術的には,た,計算コストの明示的な記述という新たな側面からの研究を行なうという点で,興味深いと考えられる.
【国内外の関連する研究分野の中でのの位置づけ】%
認証性や機密性などに対する形式的体系や推論手法には,状態探索を応用した研究や,Secure π-calculusのようなプロセス代数に基づく研究など,様々な研究がある.しかしながら,プロトコルのコスト解析に対する形式的体系の研究は,現状では未成熟の分野であり,国内外においても,C.Meadowsによる研究が見られる程度であり,今後の研究が待たれている分野である.

  • Research Products

    (2 results)

All 2006

All Journal Article (2 results)

  • [Journal Article] 通信プロトコルにおけるサービス不能攻撃態勢のための型付π計算2006

    • Author(s)
      冨岡大悟, 池田立野, 西崎真也
    • Journal Title

      コンピュータソフトウェア 23・3

      Pages: 66-84

  • [Journal Article] Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析2006

    • Author(s)
      池田立野, 西崎真也
    • Journal Title

      第3回システム検証の科学技術シンポジウム論文集

      Pages: 7-14

URL: 

Published: 2008-05-08   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi