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

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

計画研究

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

特定領域研究

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

研究代表者

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

研究分担者 千葉 滋  東京工業大学, 大学院・情報理工学研究科, 教授 (80282713)
渡部 卓雄  東京工業大学, 大学院・情報理工学研究科, 准教授 (20222408)
河野 健二  慶應義塾大学, 理工学部, 准教授 (90301118)
研究期間 (年度) 2006 – 2010
研究課題ステータス 完了 (2010年度)
配分額 *注記
65,400千円 (直接経費: 65,400千円)
2010年度: 10,500千円 (直接経費: 10,500千円)
2009年度: 15,400千円 (直接経費: 15,400千円)
2008年度: 11,200千円 (直接経費: 11,200千円)
2007年度: 16,400千円 (直接経費: 16,400千円)
2006年度: 11,900千円 (直接経費: 11,900千円)
キーワードアスペクト指向 / 開発環境 / ソフトウェア検証 / ソフトウェアテスト / オーバーレイネットワーク / コンテンツ配信 / 分散計算 / Webアプリケーション / テスト自動化 / セキュリティ / オーバレイネットワーク / クラスタ / インターネット
研究概要

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

報告書

(7件)
  • 2010 実績報告書   研究成果報告書 ( PDF )
  • 2009 実績報告書
  • 2008 実績報告書   自己評価報告書 ( PDF )
  • 2007 実績報告書
  • 2006 実績報告書
  • 研究成果

    (56件)

すべて 2011 2010 2009 2008 2007 2006 その他

すべて 雑誌論文 (25件) (うち査読あり 13件) 学会発表 (30件) 図書 (1件)

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

    • 著者名/発表者名
      Toshinori Kojima, et al.
    • 雑誌名

      IPSJ Transactions on Advanced Computing Systems

      巻: 4 ページ: 57-72

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] コード領域を対象とする関心事を扱うためのアスペクト指向プログラミング言語の拡張2011

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

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

      巻: 4 ページ: 1-12

    • NAID

      110008616662

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] 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

    • NAID

      10027988461

    • 関連する報告書
      2010 研究成果報告書
  • [雑誌論文] 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

    • NAID

      130000418483

    • 関連する報告書
      2010 研究成果報告書
  • [雑誌論文] How to Select Superinstructions for Ruby2010

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

      IPSJ Transactions on Programming Vol.2

      ページ: 1-8

    • NAID

      130000251510

    • 関連する報告書
      2010 研究成果報告書
  • [雑誌論文] P2P-Based Approach to Finding Replica Server Locations for Alleviating Flash Crowds2010

    • 著者名/発表者名
      Masato Asahara, et al.
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E93-D ページ: 3027-3037

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] A Strategy for Efficient Update Propagation on Peer-to-Peer Based Content Distribution Networks2010

    • 著者名/発表者名
      Ai Hirakawa, et al.
    • 雑誌名

      IPSJ Transactions on Advanced Computing Systems

      巻: 3 ページ: 138-152

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Application-Level Scheduling Using AOP2009

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

      Transactions on Aspect-Oriented Software Development V

      ページ: 1-44

    • 関連する報告書
      2010 研究成果報告書
  • [雑誌論文] Application-Level Scheduling Using AOP2009

    • 著者名/発表者名
      Kenichi Kourai, et al.
    • 雑誌名

      Transactions on Aspect-Oriented Software Development V 5490

      ページ: 1-44

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Modality Adaptation Support for Migrating Services among Platforms2008

    • 著者名/発表者名
      Kiyotaka Takahashi, et.al.
    • 雑誌名

      International Journal of Multimedia and Ubiquitous Engineering 3

      ページ: 35-47

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Strategy for Selecting Replica Server Spots on the Basis of Demand Fluctuations2008

    • 著者名/発表者名
      Masato Asahara, et.al.
    • 雑誌名

      IPSJ Transactions on Advanced Computing Systems 1

      ページ: 160-173

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] アスペクト指向を用いたアジャイル分散ソフトウェア開発のための環境2008

    • 著者名/発表者名
      西澤無我, 他
    • 雑誌名

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

      ページ: 39-50

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Introducing New Resource Management Policies using a Virtual Machine Monitor2008

    • 著者名/発表者名
      Hiroshi Yamada, et.al.
    • 雑誌名

      IPSJ Transactions on Advanced Computing Systems 1

      ページ: 144-159

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] AspectScope An Outline Viewer for AspectJ Programs2007

    • 著者名/発表者名
      Michihiro Horie, Shigeru Chiba
    • 雑誌名

      Journal of Object Technolgoy Vol. 6

      ページ: 341-361

    • 関連する報告書
      2008 自己評価報告書
    • 査読あり
  • [雑誌論文] AspectScope An Outline Viewer for AspectJ Programs2007

    • 著者名/発表者名
      Michihiro Horie, Shigeru Chiba
    • 雑誌名

      Journal of Object Technolgoy 6

      ページ: 341-361

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] 例外処理のためのアスペクト指向言語2007

    • 著者名/発表者名
      熊原奈津子, 光来健一, 千葉滋
    • 雑誌名

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

      ページ: 176-188

    • NAID

      110006291066

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] 情報爆発時代における安全・安心ITシステム基盤2007

    • 著者名/発表者名
      松岡聡, 柴山悦哉, 近山隆, 中島達夫, 田浦健次朗
    • 雑誌名

      人工知能学会誌 22

      ページ: 222-228

    • 関連する報告書
      2007 実績報告書
  • [雑誌論文] 組込みシステム向けマルチコア・プロセッサのためのソフトウェア開発支援2007

    • 著者名/発表者名
      高橋清隆, 柴山悦哉
    • 雑誌名

      情報処理学会論文誌 : プログラミング 48・SIG 4

      ページ: 27-47

    • NAID

      110006242944

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

    • 著者名/発表者名
      Kiyoshi Yamada, Takuo Watanabe
    • 雑誌名

      Electronic Notes in Theoretical Computer Science Vol. 163

      ページ: 45-56

    • 関連する報告書
      2008 自己評価報告書
    • 査読あり
  • [雑誌論文] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

    • 著者名/発表者名
      Kiyoshi Yamada, Takuo Watanabe
    • 雑誌名

      Electronic Notes in Theoretical Computer Science 163・1

      ページ: 45-56

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Run Time Detection of Covert Channels2006

    • 著者名/発表者名
      Naoyuki Nagatou, Takuo Watanabe
    • 雑誌名

      International Symposium on Frontiers in Availability, Reliability and Security

      ページ: 577-584

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Program Transformation with Reflection and Aspect-Oriented Programming2006

    • 著者名/発表者名
      Shigeru Chiba
    • 雑誌名

      Generative and Transformational Techniques in Software Engineering, Lecture Notes in Computer Science 4143

      ページ: 65-94

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Software Fault Injectionを用いた開発時テスト支援環境2006

    • 著者名/発表者名
      黒田滋樹, 柴山悦哉
    • 雑誌名

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

      ページ: 82-86

    • NAID

      40022109855

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] 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

    • NAID

      130000655149

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

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

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

    • NAID

      110008616662

    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Distributed Dynamic Weaving is a Crosscutting Concern2011

    • 著者名/発表者名
      Michihiro Horie, et al.
    • 学会等名
      ACM Symposium on Applied Computing
    • 発表場所
      Taichung, Taiwan
    • 年月日
      2011-03-23
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications2011

    • 著者名/発表者名
      Thanh-Binh Dao, Etsuya Shibayama
    • 学会等名
      International Symposium on Engineering Secure Software and Systems
    • 発表場所
      Madrid Spain
    • 年月日
      2011-02-09
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 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
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Coverage Criteria for Automatic Security Testing of Web Applications2010

    • 著者名/発表者名
      Thanh-Binh Dao, et al.
    • 学会等名
      International Conference on Information Systems Security
    • 発表場所
      Gandhinagar, India
    • 年月日
      2010-12-18
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Mostly Modular Compilation of Crosscutting Concerns by Contextual Predicate Dispatch2010

    • 著者名/発表者名
      Shigeru Chiba, et al.
    • 学会等名
      ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
    • 発表場所
      Reno, USA
    • 年月日
      2010-10-21
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Optimizing Dynamic Dispatch with Fine-Grained State Tracking2010

    • 著者名/発表者名
      Salikh Zakirov, et al.
    • 学会等名
      Dynamic Language Symposium
    • 発表場所
      Reno, USA
    • 年月日
      2010-10-18
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Tool support for crosscutting concerns of API documentation2010

    • 著者名/発表者名
      Michihiro Horie, Shigeru Chiba
    • 学会等名
      International Conference on Aspect Oriented Software Development
    • 発表場所
      Rennes and Saint Malo, France
    • 年月日
      2010-03-17
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 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
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Mostly Modular Compilation of Crosscutting Concerns by Contextual Predicate Dispatch2010

    • 著者名/発表者名
      Shigeru Chiba、Atsushi Igarashi、Salikh Zakirov
    • 学会等名
      Proceedings of ACM OOPSLA、pp.539-554
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Optimizing Dynamic Dispatch with Fine-Grained State Tracking2010

    • 著者名/発表者名
      Salikh Zakirov、Shigeru Chiba、Etsuya Shibayama
    • 学会等名
      Dynamic Language Symposium、pp.15-26
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Efficient Update Propagation by Speculating Replica Locations2009

    • 著者名/発表者名
      Ai Hayakawa, et al.
    • 学会等名
      IEEE International Conference on Parallel and Distributed Systems
    • 発表場所
      Shenzhen, China
    • 年月日
      2009-12-11
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Aspect-Oriented Behavioral Interface Specification in Moxa2009

    • 著者名/発表者名
      Takuo Watanabe, Kiyoshi Yamada
    • 学会等名
      5th Asian Workshop on Aspect-Oriented Software Development
    • 発表場所
      Auckland, New Zealand
    • 年月日
      2009-11-17
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Extending AspectJ for Separating Regions2009

    • 著者名/発表者名
      Shumpei Akai, Shigeru Chiba
    • 学会等名
      International Conference on Generative Programming and Component Engineering
    • 発表場所
      Denver, USA
    • 年月日
      2009-10-04
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Embedding Network Coordinates into the Heart of Distributed Hash Tables2009

    • 著者名/発表者名
      Toshinori Kojima, et al.
    • 学会等名
      IEEE International Conference on Peer-to-Peer Computing
    • 発表場所
      Seattle, USA
    • 年月日
      2009-09-10
    • 関連する報告書
      2009 実績報告書
  • [学会発表] A Conceptual Model for Comprehension of Object-oriented Interactive Systems2009

    • 著者名/発表者名
      Izuru Kume, Etsuya Shibayama
    • 学会等名
      International Conference on Software Engineering and Knowledge Engineering
    • 発表場所
      Boston, USA
    • 年月日
      2009-07-02
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Feature Interactions in Object-Oriented Effect Systems from a Viewpoint of Program Comprehension2009

    • 著者名/発表者名
      Izuru Kume, Etsuya Shibayama
    • 学会等名
      International Conference on Feature Imteractions
    • 発表場所
      Lisbon, Portugal
    • 年月日
      2009-06-11
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Simplifying Security Policy Descriptions for Internet Servers in Secure Operating Systems2009

    • 著者名/発表者名
      Toshihiro Yokoyama
    • 学会等名
      ACM Symposium on Applied Computing
    • 発表場所
      Honolulu, USA
    • 年月日
      2009-03-10
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Automatic Security Testing for Web Applications2009

    • 著者名/発表者名
      Thanh-Binh Dao, Etsuya Shibayama
    • 学会等名
      International Symposium on Engineering Secure Software and Systems
    • 発表場所
      Leuven, Belgium
    • 年月日
      2009-02-06
    • 関連する報告書
      2008 実績報告書 2008 自己評価報告書
  • [学会発表] Towards Formalizing Operational Aspects of Reflective Computation2008

    • 著者名/発表者名
      Takuo Watanabe
    • 学会等名
      Asian Workshop on Aspect-Oriented Software Development
    • 発表場所
      Beijing, China
    • 年月日
      2008-12-02
    • 関連する報告書
      2008 実績報告書
  • [学会発表] An Aspect-Oriented Behavioral Interface Specification Language2008

    • 著者名/発表者名
      Takuo Watanabe, et.al.
    • 学会等名
      Workshop on Formal Languages and Analysis of Contract-Oriented Software
    • 発表場所
      Malta
    • 年月日
      2008-11-28
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Revisiting Enforceable Security Policies2008

    • 著者名/発表者名
      Naoyuki Nagatou
    • 学会等名
      International Conference on Risks and Security of Internet and Systems
    • 発表場所
      Tozeur, Tunisia
    • 年月日
      2008-10-29
    • 関連する報告書
      2008 実績報告書
  • [学会発表] FlexBox : Sandboxing Internet Servers based on Layer-7 Contexts2008

    • 著者名/発表者名
      Ayumu Tanoue, et.al.
    • 学会等名
      IEEE International Symposium on Computers and Communications
    • 発表場所
      Marrakech, Morocco
    • 年月日
      2008-07-07
    • 関連する報告書
      2008 実績報告書
  • [学会発表] FoxyLargo : Slowing Down CPU Speed with a Virtual Machine Monitor2008

    • 著者名/発表者名
      Tetsuya Yoshida, et.al.
    • 学会等名
      International Workshop on Virtualization Technology
    • 発表場所
      Beijing, China
    • 年月日
      2008-06-21
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Enforcing Appropriate Process Execution for Exploiting Idle Resources from Outside Operating Systems2008

    • 著者名/発表者名
      Yoshihisa Abe, Hiroshi Yamada, Kenji Kono
    • 学会等名
      ACM European Conference on Computer Systems
    • 発表場所
      Glasgow, Scotland
    • 年月日
      2008-04-02
    • 関連する報告書
      2008 実績報告書 2008 自己評価報告書
  • [学会発表] Sania: Syntactic and Semantic Analysis Automated Testing against SQL Injection2007

    • 著者名/発表者名
      Yuji Kosuga, et. al.
    • 学会等名
      Annual Computer Security Applications Conference
    • 発表場所
      Miami Beach, USA
    • 年月日
      2007-12-12
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Finding Candidate Spots For Replica-Servers based on Demamd Fluctuation2007

    • 著者名/発表者名
      Masato Asahara, Akio Shimada, Hiroshi Yamada, Kenji Kono
    • 学会等名
      IEEE Int'l Conference on Parallel and Distributed Systems
    • 発表場所
      Hisinchu, Taiwan
    • 年月日
      2007-12-06
    • 関連する報告書
      2007 実績報告書
  • [学会発表] How we should use aspects (keynote talk)2007

    • 著者名/発表者名
      Shigeru Chiba
    • 学会等名
      ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution
    • 発表場所
      Berkin, Germany
    • 年月日
      2007-07-31
    • 関連する報告書
      2007 実績報告書
  • [学会発表] FoxyTechnique: Tricking Operating System Policies with a Virtual Machine Monitor2007

    • 著者名/発表者名
      Hiroshi Yamada, Kenji Kono
    • 学会等名
      ACM International Conference on Virtual Execution Environments
    • 発表場所
      San Diego, USA
    • 年月日
      2007-06-13
    • 関連する報告書
      2008 自己評価報告書
  • [学会発表] FoxyTechnique: Tricking Operating System Policies with a Virtual Machine Monitor2007

    • 著者名/発表者名
      Hiroshi Yamada, Kenji Kono
    • 学会等名
      ACM Int'l Conference on Virtual Execution Environments
    • 発表場所
      San Diego, USA
    • 年月日
      2007-06-13
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 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
    • 関連する報告書
      2010 研究成果報告書
  • [図書] Generative and Transformational Techniques in Software Engineering2006

    • 著者名/発表者名
      Ralf Lammel, Joao Saraiva, Joost Visser編、Dan S.Batory, Jean Bezivin, Shigeru Chiba, 他
    • 出版者
      Springer
    • 関連する報告書
      2010 研究成果報告書

URL: 

公開日: 2006-04-01   更新日: 2018-03-28  

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

Powered by NII kakenhi