| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2023-11-16 14:30 Intel SGXを用いたモジュラー型エッジコンピューティング基盤の形式検証 ○西平侑磨（東海大）・木村隼人（兵庫県立大）・大東俊博（東海大）  ICSS2023-54 |
|
| 抄録 | （和） | IoTデバイスの普及により，大量のデータを柔軟かつ効率的に処理が可能なエッジコンピューティング基盤が求められる．またエッジノードは常に信頼性を担保するとは限らず，エッジノード管理者によって意図的にデータが漏えいされる可能性がある．筆者らは2023年3月開催のICSS研究会において，Intel SGXと複数組織対応属性ベース暗号を用いることで，エッジノード上で処理するデータが盗聴されることを防ぎ，データ特性に応じた処理が可能なモジュラー型エッジコンピューティング基盤を提案している．本稿ではProVerifを用いて，Intel SGXを用いたモジュラー型エッジコンピューティング基盤を形式的に記述し，安全性検証を行う． |
| （英） | The proliferation of IoT devices requires an edge computing infrastructure that can process large amounts of data in a flexible and efficient manner. Edge nodes are not always reliable, and there is a possibility that data can be intentionally leaked by edge node administrators. In the ICSS workshop held in March 2023, the authors proposed a modular edge computing infrastructure that uses Intel SGX and multi-authority attribute-based encryption to prevent eavesdropping on data processed on edge nodes and enables processing according to data characteristics. In this paper, we formally describe the modular edge computing infrastructure with Intel SGX using ProVerif and verify its security. | |
| キーワード | （和） | Intel SGX / Trusted Execution Environment / リモートアテステーション / エッジコンピューティング / 暗号文ポリシー属性ベース暗号 / 複数組織対応 / ProVerif / |
| （英） | Intel SGX / Trusted Execution Environment / Remote Attestation / Edge Computing / Ciphertext-Policy Attribute Based Encryption / Multi-Authority / ProVerif / | |
| 文献情報 | 信学技報, vol. 123, no. 269, ICSS2023-54, pp. 22-29, 2023年11月. | |
| 資料番号 | ICSS2023-54 | |
| 発行日 | 2023-11-09 (ICSS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | ICSS2023-54 |
|
| 研究会情報 | |
| 研究会 | ICSS |
| 開催期間 | 2023-11-16 - 2023-11-17 |
| 開催地（和） | ITビジネスプラザ武蔵(金沢) + オンライン開催 |
| 開催地（英） | IT Business Plaza Musashi and Online |
| テーマ（和） | セキュリティ、一般 |
| テーマ（英） | Security, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | ICSS |
| 会議コード | 2023-11-ICSS |
| 本文の言語 | 日本語 |
| タイトル（和） | Intel SGXを用いたモジュラー型エッジコンピューティング基盤の形式検証 |
| サブタイトル（和） | |
| タイトル（英） | Formal Verification of an Edge Computing Platform based on Modular Architecture using Intel SGX |
| サブタイトル（英） | |
| キーワード(1)（和/英） | Intel SGX / Intel SGX |
| キーワード(2)（和/英） | Trusted Execution Environment / Trusted Execution Environment |
| キーワード(3)（和/英） | リモートアテステーション / Remote Attestation |
| キーワード(4)（和/英） | エッジコンピューティング / Edge Computing |
| キーワード(5)（和/英） | 暗号文ポリシー属性ベース暗号 / Ciphertext-Policy Attribute Based Encryption |
| キーワード(6)（和/英） | 複数組織対応 / Multi-Authority |
| キーワード(7)（和/英） | ProVerif / ProVerif |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 西平 侑磨 / Yuma Nishihira / |
| 第1著者 所属（和/英） | 東海大学 (略称： 東海大) Tokai University (略称： Tokai Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 木村 隼人 / Hayato Kimura / |
| 第2著者 所属（和/英） | 兵庫県立大学 (略称： 兵庫県立大) University of Hyogo (略称： Univ. of Hyogo) |
| 第3著者 氏名（和/英/ヨミ） | 大東 俊博 / Toshihiro Ohigashi / |
| 第3著者 所属（和/英） | 東海大学 (略称： 東海大) Tokai University (略称： Tokai Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2023-11-16 14:30:00 |
| 発表時間 | 25分 |
| 申込先研究会 | ICSS |
| 資料番号 | ICSS2023-54 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | no.269 |
| ページ範囲 | pp.22-29 |
| ページ数 | 8 |
| 発行日 | 2023-11-09 (ICSS) |
[研究会発表申込システムのトップページに戻る]