| 講演名 | 2021-11-29 セッション型を用いたプロセス間の安全な通信プロトコルの設計と実装 劉 小竜(阪大), 高野 祐輝(阪大), 宮地 充子(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | プロセス間通信では, アプリケーションレイヤーの視点で考えると, 渡すデータの型と順番を事前に規定しておく必要がある. しかし, 現在の TCPプロトコルとUNIXドメインソケットコンポーネントに対して, このための正 式なプロトコルが規定されていない. ゆえに, 渡すデータの型と順番はエラーが発生しやすい. 本論文では, rust言語を用いたTCPソケットおよびUNIXドメインソケットに基づく, 安全なネットワーク通信プロトコルを開発するためのライブラリを提案する. |
| 抄録(英) | For inter-process communication, the type and order of data to be passed must be specified in advance from the viewpoint of the application layer. However, there is no formal protocol specified for this purpose for the current TCP protocol and UNIX domain socket components. Therefore, the type and order of the data to be passed are error-prone. This paper proposes a library for developing a secure network communication protocol based on TCP sockets and UNIX domain sockets using the Rust program language. |
| キーワード(和) | セッション型 / ソケットAPI / RUSTプログラミング / 通信安全プロトコル |
| キーワード(英) | Session Types / Socket API / Rust / Safe communication Protocol |
| 資料番号 | ICSS2021-50 |
| 発行日 | 2021-11-22 (ICSS) |
| 研究会情報 | |
| 研究会 | ICSS |
|---|---|
| 開催期間 | 2021/11/29(から2日開催) |
| 開催地（和） | 高知城ホール |
| 開催地（英） | KOCHIJYO HALL |
| テーマ（和） | セキュリティ、一般 |
| テーマ（英） | Security, etc. |
| 委員長氏名（和） | 吉岡 克成(横浜国大) |
| 委員長氏名（英） | Katsunari Yoshioka(Yokohama National Univ.) |
| 副委員長氏名（和） | 神谷 和憲(NTT) / 笠間 貴弘(NICT) |
| 副委員長氏名（英） | Kazunori Kamiya(NTT) / Takahiro Kasama(NICT) |
| 幹事氏名（和） | 山田 明(KDDI labs.) / 山内 利宏(岡山大) |
| 幹事氏名（英） | Akira Yamada(KDDI labs.) / Toshihiro Yamauchi(Okayama Univ.) |
| 幹事補佐氏名（和） | 木藤 圭亮(三菱電機) / 菅原 健(電通大) |
| 幹事補佐氏名（英） | Keisuke Kito(Mitsubishi Electric) / Takeshi Sugawara(Univ. of Electro-Comm.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Information and Communication System Security |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | セッション型を用いたプロセス間の安全な通信プロトコルの設計と実装 |
| サブタイトル（和） | |
| タイトル（英） | Design and Implementation of a Session Types-based Secure Communication Protocol for Processes |
| サブタイトル（和） | |
| キーワード(1)（和/英） | セッション型 / Session Types |
| キーワード(2)（和/英） | ソケットAPI / Socket API |
| キーワード(3)（和/英） | RUSTプログラミング / Rust |
| キーワード(4)（和/英） | 通信安全プロトコル / Safe communication Protocol |
| 第 1 著者 氏名（和/英） | 劉 小竜 / Xiaolong |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：OU) |
| 第 2 著者 氏名（和/英） | 高野 祐輝 / Yuuki Takano |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：OU) |
| 第 3 著者 氏名（和/英） | 宮地 充子 / Atsuko Miyaji |
| 第 3 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：OU) |
| 発表年月日 | 2021-11-29 |
| 資料番号 | ICSS2021-50 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | ICSS-275 |
| ページ範囲 | pp.25-30(ICSS), |
| ページ数 | 6 |
| 発行日 | 2021-11-22 (ICSS) |