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

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

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