| 講演名 | 2020-03-03 セッション型を用いたアクセス制御システムの評価 西口 朋哉(阪大), 高野 祐輝(阪大), 宮地 充子(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | アクセス制御システムはビジネスロジック中に実装を行うと状態管理が複雑になるためバグが入り込みやすい. 本論文ではセッション型を用いたアクセス制御システムを,データベース(DB)アプリケーションに適用した. 本システムでは, 認証用サーバとDBサーバのロジックを分離でき，ビジネスロジック中のアクセス制御に関する実装を無くすことが出来た. またセッション型を用いないDBアプリケーションとの性能を比較を行い, 結果として, 読み込みに関して高速化することができた. |
| 抄録(英) | 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. |
| キーワード(和) | セッション型 / アクセス制御 / Rust / 型推論 / FlameGraph |
| キーワード(英) | Session types / access control / Rust / type inference / FlameGraph |
| 資料番号 | ICSS2019-102 |
| 発行日 | 2020-02-24 (ICSS) |
| 研究会情報 | |
| 研究会 | ICSS / IPSJ-SPT |
|---|---|
| 開催期間 | 2020/3/2(から2日開催) |
| 開催地（和） | 沖縄県青年会館 |
| 開催地（英） | Okinawa-Ken-Seinen-Kaikan |
| テーマ（和） | セキュリティ、トラスト、一般 |
| テーマ（英） | Security, Trust, etc. |
| 委員長氏名（和） | 高倉 弘喜(NII) |
| 委員長氏名（英） | Hiroki Takakura(NII) |
| 副委員長氏名（和） | 吉岡 克成(横浜国大) / 神谷 和憲(NTT) |
| 副委員長氏名（英） | Katsunari Yoshioka(Yokohama National Univ.) / Kazunori Kamiya(NTT) |
| 幹事氏名（和） | 笠間 貴弘(NICT) / 山田 明(KDDI labs.) |
| 幹事氏名（英） | Takahiro Kasama(NICT) / Akira Yamada(KDDI labs.) |
| 幹事補佐氏名（和） | 木藤 圭亮(三菱電機) / 山内 利宏(岡山大) |
| 幹事補佐氏名（英） | Keisuke Kito(Mitsubishi Electric) / Toshihiro Yamauchi(Okayama Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Information and Communication System Security / Special Interest Group on Security Psychology and Trust |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | セッション型を用いたアクセス制御システムの評価 |
| サブタイトル（和） | |
| タイトル（英） | Performance Evaluation of an Access Control Mechanism with Session Types |
| サブタイトル（和） | |
| キーワード(1)（和/英） | セッション型 / Session types |
| キーワード(2)（和/英） | アクセス制御 / access control |
| キーワード(3)（和/英） | Rust / Rust |
| キーワード(4)（和/英） | 型推論 / type inference |
| キーワード(5)（和/英） | FlameGraph / FlameGraph |
| 第 1 著者 氏名（和/英） | 西口 朋哉 / Tomoya Nishiguchi |
| 第 1 著者 所属（和/英） | 大阪大学大学院(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 2 著者 氏名（和/英） | 高野 祐輝 / Yuuki Takano |
| 第 2 著者 所属（和/英） | 大阪大学大学院(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 3 著者 氏名（和/英） | 宮地 充子 / Atsuko Miyaji |
| 第 3 著者 所属（和/英） | 大阪大学大学院(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2020-03-03 |
| 資料番号 | ICSS2019-102 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | ICSS-437 |
| ページ範囲 | pp.295-300(ICSS), |
| ページ数 | 6 |
| 発行日 | 2020-02-24 (ICSS) |