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

2017 Fiscal Year Annual Research Report

Research on Resilience-Oriented Computer Systems

Research Project

Project/Area Number 26280012
Research InstitutionThe University of Tokyo

Principal Investigator

坂井 修一  東京大学, 大学院情報理工学系研究科, 教授 (50291290)

Co-Investigator(Kenkyū-buntansha) 入江 英嗣  東京大学, 情報理工学(系)研究科, 准教授 (50422407)
Project Period (FY) 2014-04-01 – 2018-03-31
Keywordsレジリエンス / 信頼性 / 安全性 / タイムボロー / ストリーム指向制御 / 異常予知 / アーキテクチャ / 可用性
Outline of Annual Research Achievements

タイムボローによるレジリエンス向上技術について、前年度までに開発・検証した動的タイムボローを可能にするクロッキング技術のための二相ラッチ方式について、実証実験を行い、実用規模のディジタル回路について応用可能であることの検証を進めた。
ストリーム指向の防御については、我々の提案した文字列ごとの情報フロー追跡手法であるSWIFTが、ディレクトリトラバーサルに関して有効に機能することを、さまざまな実験によって、確認した。また、クロスサイトスクリプティングに対する有効性検証の方法を示した。昨年度までの研究によって、SWIFTはSQLインジェクションに対して有効であることが示されており、以上の成果によって、非常に広い範囲のゼロデイ攻撃に対してこれを防ぐことができるこがわかった。
実時間的な異常検知については、我々が開発した新しいセキュアプロセッサであるSHARKCAGEについて研究を進め、世の中の商用システムでは実現できなかった防御ができることが示された。SHARKCAGEは、仮想マシンVMを保護対象とし、OSなどのプログラムからもユーザプロセスを守ものである。平成29年度には、SHARKCAGEをFPGA上でプロトタイプ実証し、動作検証するとともに、ハードウェア量や実行時間についての測定を行って、現実に実装して効果があることを示した。
以上の成果は、2017年度までに国際会議・論文誌などで発表されているものの他、現在投稿中などで2018年度に発表されるものが数件ある。

Research Progress Status

29年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

29年度が最終年度であるため、記入しない。

  • Research Products

    (6 results)

All 2017 Other

All Journal Article (1 results) (of which Peer Reviewed: 1 results,  Open Access: 1 results) Presentation (4 results) Remarks (1 results)

  • [Journal Article] Skewed Multistaged Multibanked Register File for Area and Energy Efficiency2017

    • Author(s)
      Junji YAMADA, Ushio JIMBO, Ryota SHIOYA, Masahiro GOSHIMA, and Shuichi SAKAI
    • Journal Title

      IEICE TRANS. INF. & SYST.

      Volume: E100-D Pages: 822-837

    • DOI

      https://doi.org/10.1587/transinf.2016EDP7414

    • Peer Reviewed / Open Access
  • [Presentation] プリフェッチラインの再参照間隔を予測するキャッシュマネジメント2017

    • Author(s)
      甲地弘幸,入江英嗣,坂井修一
    • Organizer
      情報処理学会 システムアーキテクチャ研究会
  • [Presentation] セキュアプロセッサにおける楕円曲線暗号の評価2017

    • Author(s)
      谷合廣紀, 宮永 瑞紀, 入江 英嗣, 坂井 修一
    • Organizer
      情報処理学会、電子情報通信学会 情報科学技術フォーラム
  • [Presentation] コンピュータを作る,使う2017

    • Author(s)
      入江 英嗣
    • Organizer
      情報処理学会、電子情報通信学会 情報科学技術フォーラム
  • [Presentation] 未来のコンピュータ,未来のコンピューティング2017

    • Author(s)
      坂井修一、入江英嗣
    • Organizer
      情報処理学会、電子情報通信学会 情報科学技術フォーラム
  • [Remarks] 坂井・入江研究室研究内容

    • URL

      http://www.mtl.t.u-tokyo.ac.jp/researches/

URL: 

Published: 2018-12-17  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi