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

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

Research Project

Project/Area Number 16700025
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Software
Research InstitutionTokyo Institute of Technology

Principal Investigator

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

Project Period (FY) 2004 – 2006
Project Status Completed (Fiscal Year 2006)
Budget Amount *help
¥3,600,000 (Direct Cost: ¥3,600,000)
Fiscal Year 2006: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2005: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 2004: ¥1,400,000 (Direct Cost: ¥1,400,000)
Keywords線型総論 / DoS攻撃耐性 / コスト解析 / 線形論理 / プロトコル / DoS攻撃 / 計算コスト解析 / 線型論理
Research Abstract

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

Report

(3 results)
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • 2004 Annual Research Report
  • Research Products

    (6 results)

All 2006 2005 2004

All Journal Article (6 results)

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

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

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

      Pages: 66-84

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

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

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

      Pages: 7-14

    • Related Report
      2006 Annual Research Report
  • [Journal Article] 等式アーカイブにおける安全な検査2005

    • Author(s)
      玉野浩嗣, 西崎真也
    • Journal Title

      日本ソフトウェア科学会第22回大会予稿集 (CD-Rom)

    • NAID

      130004638885

    • Related Report
      2005 Annual Research Report
  • [Journal Article] プロコルのDoS攻撃耐性解析のための計算体系における時間モデル2005

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

      日本ソフトウェア科学会第22回大会予稿集 (CD-Rom)

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 多相環境計算の強正規化可能性2005

    • Author(s)
      清水亮, 西崎真也
    • Journal Title

      情報処理学会論文誌 46・SIG4

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Secure Execution of Client-Side Scripts by Program Transformation in an HTTP Proxy Server2004

    • Author(s)
      Shin-ya NISHIZAKI
    • Journal Title

      International Workshop on FORMAL METHODS and SECURITY (CD-ROM)

    • Related Report
      2004 Annual Research Report

URL: 

Published: 2004-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi