2017 Fiscal Year Annual Research Report
Research on Resilience-Oriented Computer Systems
| Project/Area Number |
26280012
|
|---|
| Research Institution | The 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年度が最終年度であるため、記入しない。
|
