| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2021-11-29 15:00 セッション型を用いたプロセス間の安全な通信プロトコルの設計と実装 ○劉 小竜・高野祐輝・宮地充子（阪大）  ICSS2021-50 |
|
| 抄録 | （和） | プロセス間通信では, アプリケーションレイヤーの視点で考えると, 渡すデータの型と順番を事前に規定しておく必要がある. しかし, 現在の 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 / / / / | |
| 文献情報 | 信学技報, vol. 121, no. 275, ICSS2021-50, pp. 25-30, 2021年11月. | |
| 資料番号 | ICSS2021-50 | |
| 発行日 | 2021-11-22 (ICSS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | ICSS2021-50 |
|
| 研究会情報 | |
| 研究会 | ICSS |
| 開催期間 | 2021-11-29 - 2021-11-30 |
| 開催地（和） | 高知城ホール |
| 開催地（英） | KOCHIJYO HALL |
| テーマ（和） | セキュリティ、一般 |
| テーマ（英） | Security, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | ICSS |
| 会議コード | 2021-11-ICSS |
| 本文の言語 | 日本語 |
| タイトル（和） | セッション型を用いたプロセス間の安全な通信プロトコルの設計と実装 |
| サブタイトル（和） | |
| タイトル（英） | 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 |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 劉 小竜 / Xiaolong / リュウ ショウリュウ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： OU) |
| 第2著者 氏名（和/英/ヨミ） | 高野 祐輝 / Yuuki Takano / ユウキ タカノ |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： OU) |
| 第3著者 氏名（和/英/ヨミ） | 宮地 充子 / Atsuko Miyaji / ミヤジ アツコ |
| 第3著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： OU) |
| 講演者 | 第1著者 |
| 発表日時 | 2021-11-29 15:00:00 |
| 発表時間 | 25分 |
| 申込先研究会 | ICSS |
| 資料番号 | ICSS2021-50 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | no.275 |
| ページ範囲 | pp.25-30 |
| ページ数 | 6 |
| 発行日 | 2021-11-22 (ICSS) |
[研究会発表申込システムのトップページに戻る]