| Presentation | 2021-11-29 Design and Implementation of a Session Types-based Secure Communication Protocol for Processes Xiaolong, Yuuki Takano, Atsuko Miyaji, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Session Types / Socket API / Rust / Safe communication Protocol |
| Paper # | ICSS2021-50 |
| Date of Issue | 2021-11-22 (ICSS) |
| Conference Information | |
| Committee | ICSS |
|---|---|
| Conference Date | 2021/11/29(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | KOCHIJYO HALL |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | Security, etc. |
| Chair | Katsunari Yoshioka(Yokohama National Univ.) |
| Vice Chair | Kazunori Kamiya(NTT) / Takahiro Kasama(NICT) |
| Secretary | Kazunori Kamiya(KDDI labs.) / Takahiro Kasama(Okayama Univ.) |
| Assistant | Keisuke Kito(Mitsubishi Electric) / Takeshi Sugawara(Univ. of Electro-Comm.) |
| Paper Information | |
| Registration To | Technical Committee on Information and Communication System Security |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Design and Implementation of a Session Types-based Secure Communication Protocol for Processes |
| Sub Title (in English) | |
| Keyword(1) | Session Types |
| Keyword(2) | Socket API |
| Keyword(3) | Rust |
| Keyword(4) | Safe communication Protocol |
| 1st Author's Name | Xiaolong |
| 1st Author's Affiliation | Osaka University(OU) |
| 2nd Author's Name | Yuuki Takano |
| 2nd Author's Affiliation | Osaka University(OU) |
| 3rd Author's Name | Atsuko Miyaji |
| 3rd Author's Affiliation | Osaka University(OU) |
| Date | 2021-11-29 |
| Paper # | ICSS2021-50 |
| Volume (vol) | vol.121 |
| Number (no) | ICSS-275 |
| Page | pp.pp.25-30(ICSS), |
| #Pages | 6 |
| Date of Issue | 2021-11-22 (ICSS) |