現実的に利用可能な関数型暗号の実現

实用化的函数密码学的实现

• 批准号: 20J22324
• 负责人: 鈴木 達也
• 金额: $ 1.6万
• 依托单位: University of Tsukuba
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-24 至 2023-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20J22324/
• 关键词: 関数型暗号; Intel SGX; 公開検証可能性; 高機能暗号; ブロックチェーン

本研究は，クラウドからの情報漏えいとして考えられるデータの機密性に関する問題と医療分野などで注目される機微情報を用いたデータ解析手法による有用性，それら両方の需要に対処できるセキュアハードウェアと暗号方式を併用した実社会で利用可能な高機能暗号方式を研究開発することが目的である．本年度では実社会への高機能暗号方式の適用させるために，複数環境へ対応可能な関数型暗号のアプリケーションに関する検討と検証可能な関数型暗号方式の安全性拡張と追加実装を行った．まず複数環境への対応に関して，Intel SGXと異なるセキュアハードウェアであるARM TrustZoneやRISK V Keystoneを用いても同等の安全性を満たせるかどうかを検討した．その結果，セキュアハードウェアベースの関数型暗号の安全性要素の1つであるremote attestationをOP-TEEを用いる事でTrustZoneなどでも同等の安全性を実現できる事などIntel SGX以外のセキュアハードウェアを用いても提案関数型暗号方式が構成できる事を明らかにした．現在のCPUにはIntel SGXが標準搭載されていなくSGXの実社会への適用可能性が課題であったため，今後は他のセキュアハードウェアをベースに提案関数型暗号方式を構成・実装する．検証可能な関数型暗号については公開検証可能性に攻撃可能な点が見つかったため，公開検証可能性の定義を再検討した．また，ProvSecにて発表した内容はremote attestationの実装など一部の実装結果を含んでいなかった．そこで，今年度では不足箇所の実装を行い，検証可能な関数型暗号の実現可能性を処理速度の観点から評価した．

This study aims to explore the usefulness of micro-information analysis methods in medical field, and to explore the ways of using social codes to develop high-function codes. During the year, the application of high-performance code methods to social networks was discussed, and security measures for possible digital code methods were added to the environment. Intel SGX and ARM TrustZone and RISK V Keystone are designed to provide the same level of security. As a result, the security elements of the relevant digital password are implemented in the TrustZone in the case of remote attestation to OP-TEE. The security elements of the relevant digital password are implemented in the case of Intel SGX. Now the CPU is equipped with Intel SGX as standard, SGX's practical application possibility is the subject, and in the future, it will be equipped with other standard SGX, SGX and SGX. The definition of open identification possibility is discussed again. The contents of ProvSec are remote attestation and partial attestation results are included. This year, the number of possible types of code and the probability of their realization are not enough to evaluate the speed of processing.

项目成果

Verifiable Functional Encryption using Intel SGX

使用 Intel SGX 的可验证功能加密

• DOI: 10.1007/978-3-030-90402-9_12
• 发表时间: 2021
• 期刊: The 15th International Conference on Provable and Practical Security (ProvSec 2021)
• 作者: Tatsuya SUZUKI;Keita EMURA;Toshihiro OHIGASHI;and Kazumasa OMOTE
• 通讯作者: and Kazumasa OMOTE

Intel SGXを用いたアルゴリズム変換型プロキシ再暗号化システムの実装・評価

基于Intel SGX的算法转换型代理重加密系统的实现与评估

• 发表时间: 2022
• 作者: 西平侑磨;鈴木達也;渡邉英伸;大東俊博
• 通讯作者: 大東俊博