• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2010 年度 研究成果報告書

情報爆発に対応する高度にスケーラブルでセキュアなソフトウェア構成・更新方式

計画研究

  • PDF
研究領域情報爆発時代に向けた新しいIT基盤技術の研究
研究課題/領域番号 18049027
研究種目

特定領域研究

配分区分補助金
審査区分 理工系
研究機関東京大学 (2008-2010)
東京工業大学 (2006-2007)

研究代表者

柴山 悦哉  東京大学, 情報基盤センター, 教授 (80162642)

研究分担者 千葉 滋  東京工業大学, 大学院・情報理工学研究科, 教授 (80282713)
渡部 卓雄  東京工業大学, 大学院・情報理工学研究科, 准教授 (20222408)
河野 健二  慶應義塾大学, 理工学部, 准教授 (90301118)
研究期間 (年度) 2006 – 2010
キーワードアスペクト指向 / 開発環境 / ソフトウェア検証 / ソフトウェアテスト / オーバーレイネットワーク / コンテンツ配信 / 分散計算 / Webアプリケーション
研究概要

分散した多数のコンピュータを協調動作させるソフトウェアの安全性や信頼性を向上させるため、情報爆発時代に相応しい多重防御の枠組みを考案した。個々の対策技術が完全ではないことを前提に、ソフトウェアの開発段階における検証とテスト、運用段階におけるアップデートとモニタリングなどを組み合わせるものである。さらに、柔軟なソフトウェア構成を可能とするアスペクト指向などの考え方に基づき、スケーラブルな要素技術の開発も行なった。

  • 研究成果

    (12件)

すべて 2011 2010 2009 2006 その他

すべて 雑誌論文 (6件) 学会発表 (5件) 図書 (1件)

  • [雑誌論文] P2P-Based Approach to Finding Replica Server Locations for Alleviating Flash Crowds2010

    • 著者名/発表者名
      Masato sahara、Kenji Kono、Ai Hayakawa、Toshinori Kojima
    • 雑誌名

      IEICE Trans.on Information and Systems Vol.E93-D、No.11

      ページ: 3027-3037

  • [雑誌論文] A Strategy for Efficient Update Propagation on Peer-to-Peer based Content Distribution Networks2010

    • 著者名/発表者名
      Ai Hayakawa、Masato Asahara、Kenji Kono、Toshinori Kojima
    • 雑誌名

      IPSJ Transactions on Advanced Computing Systems Vol.3、No.3

      ページ: 138-152

  • [雑誌論文] How to Select Superinstructions for Ruby2010

    • 著者名/発表者名
      Salikh Zakirov、Shigeru Chiba、Etsuya Shibayama
    • 雑誌名

      IPSJ Transactions on Programming Vol.2

      ページ: 1-8

  • [雑誌論文] Application-Level Scheduling Using AOP2009

    • 著者名/発表者名
      Kenichi Kourai、Hideaki Hibino、Shigeru Chiba
    • 雑誌名

      Transactions on Aspect-Oriented Software Development V

      ページ: 1-44

  • [雑誌論文] Practical Approach to Integrating Network Coordinates with Distributed Hash Tables

    • 著者名/発表者名
      Toshinori Kojima、Masato Asahara、Kenji Kono、Ai Hayakawa
    • 雑誌名

      IPSJ Transactions on Advanced Computing Svstemss to appear

  • [雑誌論文] コード領域を対象とする関心事を扱うためのアスペクト指向プログラミング言語の拡張

    • 著者名/発表者名
      赤井駿平、千葉滋
    • 雑誌名

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

  • [学会発表] Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications2011

    • 著者名/発表者名
      Thanh-Binh Dao、Etsuya Shibayama
    • 学会等名
      Proceedings of International Symposium on Engineering Secure Software and Systems、Lecture Notes in Computer Science、Vol.6542、pp.101-113
    • 年月日
      20110000
  • [学会発表] Coverage Criteria for Automatic Security Testing of Web Applications2010

    • 著者名/発表者名
      Thanh-Binh Dao、Etsuya Shibayama
    • 学会等名
      Proceedings of International Conference on Information Systems Security、Lecture Notes in Computer Science、Vol.6503、pp.111-124
    • 年月日
      20100000
  • [学会発表] Mostly Modular Compilation of Crosscutting Concerns by Contextual Predicate Dispatch2010

    • 著者名/発表者名
      Shigeru Chiba、Atsushi Igarashi、Salikh Zakirov
    • 学会等名
      Proceedings of ACM OOPSLA、pp.539-554
    • 年月日
      20100000
  • [学会発表] Optimizing Dynamic Dispatch with Fine-Grained State Tracking2010

    • 著者名/発表者名
      Salikh Zakirov、Shigeru Chiba、Etsuya Shibayama
    • 学会等名
      Dynamic Language Symposium、pp.15-26
    • 年月日
      20100000
  • [学会発表] Distributed Dynamic Weaving is a Crosscutting Concern

    • 著者名/発表者名
      Michihiro Horie、Satoshi Morita、Shigeru Chiba
    • 学会等名
      Proceedings of the 26th Annual ACM Symposium on Applied Computing、to appear
  • [図書] Generative and Transformational Techniques in Software Engineering2006

    • 著者名/発表者名
      Ralf Lammel, Joao Saraiva, Joost Visser編、Dan S.Batory, Jean Bezivin, Shigeru Chiba, 他
    • 出版者
      Springer

URL: 

公開日: 2012-02-13   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi