| 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
|
| Project Status |
Completed (Fiscal Year 2018)
|
| Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2018: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2016: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
|---|
| Keywords | White-Box Cryptography / 耐タンパー技術 / 形式検証 / ProVerif / 難読化技術 / 非線形変換 |
|---|
| 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.
|
| Academic Significance and Societal Importance of the Research Achievements |
プログラムや実行中のデータに攻撃者がアクセス可能という条件下において、安全な本研究のWBC技術を用いることで、ハードウェアによるセキュリティの補助がなくても、ソフトウェアのみで高いセキュリティレベルを維持できる。そのため、携帯端末におけるアプリケーションを安全に実行することが可能になり、携帯端末を用いたインターネットバンキングやスマート家電の操作が安全に実現できる。
また、WBC技術の形式検証技術により、システムに組み込む際の安全性や計算量評価の補助が可能となる。
|
