| Presentation | 2020-03-03 Performance Evaluation of an Access Control Mechanism with Session Types Tomoya Nishiguchi, Yuuki Takano, Atsuko Miyaji, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Access control system is easy to happen to bug, because implementing an access control mechanism in business logic complicates state management. In this paper we implement this access contorol mechanism with session types and adapt it to Data Base (DB) application. In this way, we don't have to implement access control mechanism in business logic, beacuse we can separate the authentication server and the DB server. And we compared the performance with the DB application that does not use the session type. As a result, our method reduce run time in reading database. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Session types / access control / Rust / type inference / FlameGraph |
| Paper # | ICSS2019-102 |
| Date of Issue | 2020-02-24 (ICSS) |
| Conference Information | |
| Committee | ICSS / IPSJ-SPT |
|---|---|
| Conference Date | 2020/3/2(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Okinawa-Ken-Seinen-Kaikan |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | Security, Trust, etc. |
| Chair | Hiroki Takakura(NII) |
| Vice Chair | Katsunari Yoshioka(Yokohama National Univ.) / Kazunori Kamiya(NTT) |
| Secretary | Katsunari Yoshioka(NICT) / Kazunori Kamiya(KDDI labs.) |
| Assistant | Keisuke Kito(Mitsubishi Electric) / Toshihiro Yamauchi(Okayama Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Information and Communication System Security / Special Interest Group on Security Psychology and Trust |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Performance Evaluation of an Access Control Mechanism with Session Types |
| Sub Title (in English) | |
| Keyword(1) | Session types |
| Keyword(2) | access control |
| Keyword(3) | Rust |
| Keyword(4) | type inference |
| Keyword(5) | FlameGraph |
| 1st Author's Name | Tomoya Nishiguchi |
| 1st Author's Affiliation | Osaka University(Osaka Univ.) |
| 2nd Author's Name | Yuuki Takano |
| 2nd Author's Affiliation | Osaka University(Osaka Univ.) |
| 3rd Author's Name | Atsuko Miyaji |
| 3rd Author's Affiliation | Osaka University(Osaka Univ.) |
| Date | 2020-03-03 |
| Paper # | ICSS2019-102 |
| Volume (vol) | vol.119 |
| Number (no) | ICSS-437 |
| Page | pp.pp.295-300(ICSS), |
| #Pages | 6 |
| Date of Issue | 2020-02-24 (ICSS) |