| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2020-11-27 11:45 システムの性質を検証可能な認証システム用フレームワークの提案 ○堀井基史・清水智弘（富士通研）・今井悟史（富士通）  CQ2020-58 |
|
| 抄録 | （和） | 様々な手続きのデジタル化に伴い，様々な認証に関するインシデントが多発している．インシデントの発生を防止する技術として，多要素認証や適応型認証が注目されている．従来より，特定のシナリオにおける多要素認証や適応型認証が検討されてきた．しかし，多要素認証における認証器と適応型認証における適応条件を任意に組み合わせて認証システムを作るためのフレームワーク，および認証システムが満たすべき性質の検証方法については十分に検討されていない．そこで，我々は，認証器と条件を任意に組み合わせる認証システムをクリプキ構造を用いてモデル化し，命題線形時相論理式により記述した性質を検証する手法を提案する．また，認証システムが満たすべき様々な性質が提案手法により検証されることを示す． |
| （英） | With the digitization of various procedures, various security incidents have been occurring frequently. To prevent the occurrence of incidents multi-factor authentication and adaptive authentication have been getting attention. Multi-factor authentication and adaptive authentication have been studied for specific scenarios. However, frameworks for authentication systems with arbitrary combinations of the authenticators and the adaptation conditions, and the verification methods to be satisfied by the system have not been investigated deeply. We propose a method to model authentication systems with arbitrary combinations of authenticators and conditions using Kripke structure and verification method using propositional linear temporal logic (PLTL). Finally, we show that it is possible to verify the properties described by PLTL. | |
| キーワード | （和） | 認証認可 / 適応型認証 / 多要素認証 / 形式検証 / / / / |
| （英） | Authentication/Authorization / Adaptive Authentication / Multi-Factor Authentication / Formal Verification / / / / | |
| 文献情報 | 信学技報, vol. 120, no. 258, CQ2020-58, pp. 62-65, 2020年11月. | |
| 資料番号 | CQ2020-58 | |
| 発行日 | 2020-11-19 (CQ) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CQ2020-58 |
|
| 研究会情報 | |
| 研究会 | NS ICM CQ NV |
| 開催期間 | 2020-11-26 - 2020-11-27 |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | ネットワーク品質，ネットワーク計測・管理，ネットワーク仮想化，ネットワークサービス，ブロックチェーン，セキュリティ，ネットワークインテリジェンス・AI，一般 注：NV研究会は発表申込み締切日が異なります。NV研究会への発表申込はこちらからお願いします。 |
| テーマ（英） | Network quality, Network measurement/management, Network virtualization, Network service, Blockchain, Security, Network intelligence, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | CQ |
| 会議コード | 2020-11-NS-ICM-CQ-NV |
| 本文の言語 | 日本語 |
| タイトル（和） | システムの性質を検証可能な認証システム用フレームワークの提案 |
| サブタイトル（和） | |
| タイトル（英） | A Proposal of Framework for Authentication Systems and Verification Method |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 認証認可 / Authentication/Authorization |
| キーワード(2)（和/英） | 適応型認証 / Adaptive Authentication |
| キーワード(3)（和/英） | 多要素認証 / Multi-Factor Authentication |
| キーワード(4)（和/英） | 形式検証 / Formal Verification |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 堀井 基史 / Motoshi Horii / ホリイ モトシ |
| 第1著者 所属（和/英） | 株式会社 富士通研究所 (略称： 富士通研) Fujitsu Laboratories Ltd. (略称： Fujitsu Lab.) |
| 第2著者 氏名（和/英/ヨミ） | 清水 智弘 / Toshihiro Shimizu / シミズ トシヒロ |
| 第2著者 所属（和/英） | 株式会社 富士通研究所 (略称： 富士通研) Fujitsu Laboratories Ltd. (略称： Fujitsu Lab.) |
| 第3著者 氏名（和/英/ヨミ） | 今井 悟史 / Satoshi Imai / |
| 第3著者 所属（和/英） | 富士通 株式会社 (略称： 富士通) Fujitsu Ltd. (略称： Fujitsu) |
| 講演者 | 第1著者 |
| 発表日時 | 2020-11-27 11:45:00 |
| 発表時間 | 25分 |
| 申込先研究会 | CQ |
| 資料番号 | CQ2020-58 |
| 巻番号（vol） | vol.120 |
| 号番号（no） | no.258 |
| ページ範囲 | pp.62-65 |
| ページ数 | 4 |
| 発行日 | 2020-11-19 (CQ) |
[研究会発表申込システムのトップページに戻る]