Study on tamper-resistant software technology with theoretic security evaluation

2018 Fiscal Year Final Research Report

• Project/Area Number: 15K00183
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Information security
• Research Institution: Tokyo University of Technology (2016-2018); Japan Advanced Institute of Science and Technology (2015)
• Principal Investigator: FUTA Yuichi 東京工科大学, コンピュータサイエンス学部, 准教授 (50706223)
• Co-Investigator(Kenkyū-buntansha): 宮地 充子 大阪大学, 工学研究科, 教授 (10313701) ; CHEN Jiageng 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (90640748)
• Research Collaborator: OKAZAKI Hiroyuki
• Project Period (FY): 2015-04-01 – 2019-03-31
• Keywords: White-Box Cryptography / 耐タンパー技術 / 形式検証

Outline of Final Research Achievements

White-Box Cryptography(WBC) techniques, that achieve security under harsh security conditions, are important.
In this research, we have found the necessity to remove bijective characteristic of input-output relation of tables, and have proposed a scheme model. For security evaluation and estimation of computation amount of WBC techniques, we have developed formalized verification techniques using computers.

Free Research Field

情報セキュリティ

Academic Significance and Societal Importance of the Research Achievements

プログラムや実行中のデータに攻撃者がアクセス可能という条件下において、安全な本研究のWBC技術を用いることで、ハードウェアによるセキュリティの補助がなくても、ソフトウェアのみで高いセキュリティレベルを維持できる。そのため、携帯端末におけるアプリケーションを安全に実行することが可能になり、携帯端末を用いたインターネットバンキングやスマート家電の操作が安全に実現できる。
また、WBC技術の形式検証技術により、システムに組み込む際の安全性や計算量評価の補助が可能となる。