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

2010 Fiscal Year Self-evaluation Report

Study of Verification of Security of Programs based on Term Rewriting Systems and Tree Automata

Research Project

  • PDF
Project/Area Number 20300010
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionNagoya University

Principal Investigator

SAKABE Toshiki  Nagoya University, 情報科学研究科, 教授 (60111829)

Project Period (FY) 2008 – 2011
Keywords仕様記述 / 仕様検証
Research Abstract

本研究の目的は,項書換え系や木オートマトンの解析技法を応用し,通信プロトコルを始めとするネットワークソフトウエアを含む並行プログラム一般の安全性について,効率的かつ適用範囲の広い検証技法を確立するとともに,検証システムを実装,評価することである
本課題では,以下の項目を研究する計画である
(1)応用pi計算における弱い非干渉性の定式化
(2)応用pi計算における安全型の定式化
(3)安全型と弱い非干渉性の関係の解明
(4)項書換え系と木オートマトンに基づいた安全型の近似型推論システムの開発
(5)近似型推論システムへの応用に特化された項書換え系と木オートマトンの解析技法の開発
(6)近似型推論システムに基づく安全性検証システムの実装と実験による評価

  • Research Products

    (6 results)

All 2011 2010 2009 2008

All Journal Article (6 results) (of which Peer Reviewed: 4 results)

  • [Journal Article] 制約付き項書換え系の書換え帰納法における補題等式の自動生成法2011

    • Author(s)
      中林直生, 西田直樹, 草刈圭一朗, 坂部俊樹, 酒井正彦
    • Journal Title

      コンピュータソフトウェア 28

      Pages: 173-189

    • Peer Reviewed
  • [Journal Article] 等式理論を法とするDPLL遷移系について2010

    • Author(s)
      馬場達也, 坂部俊樹, 西田直樹, 草刈圭一朗, 酒井正彦
    • Journal Title

      電子情報通信学会ソフトウェアサイエンス研究会 SS2010-36

      Pages: 49-54

  • [Journal Article] 基本対称関数に基づく節をもつCNF論理式の充足可能性判定2010

    • Author(s)
      馬野洋平, 酒井正彦, 西田直樹, 坂部俊樹, 草刈圭一朗
    • Journal Title

      電子情報通信学会論文誌D J93-D

      Pages: 1-9

    • Peer Reviewed
  • [Journal Article] Decidability of Termination and Innermost Termination for Term Rewriting S ystems with Right-Shallow Dependency Pairs2010

    • Author(s)
      Keita Uchiyam, Masahiko Sakai, Toshiki Sakabe
    • Journal Title

      IEICE Trans. on Information and Systems E93-D

      Pages: 953-962

    • Peer Reviewed
  • [Journal Article] 制約付き項書換え系における書換え帰納法2009

    • Author(s)
      坂田翼, 西田直樹, 坂部俊樹, 酒井正彦, 草刈圭一郎
    • Journal Title

      情報処理学会論文誌プログラミング 2

      Pages: 80-96

    • Peer Reviewed
  • [Journal Article] ビットエラー通信路におけるスケーラブルCANの動作解析2008

    • Author(s)
      鵜飼謙児, 坂部俊樹, 高田広章, 倉地亮, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術研究報告(SS2008-37) 108

      Pages: 61-66

URL: 

Published: 2012-02-13   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi