WEKO3
アイテム
モバイルビザンチン故障の封じ込めと合意形成
https://ipsj.ixsq.nii.ac.jp/records/195529
https://ipsj.ixsq.nii.ac.jp/records/1955298195a00e-8666-4e62-b44c-3adbbe70f28f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-AL19173012.pdf (283.7 kB)
|
Copyright (c) 2019 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2019-05-03 | |||||||||
| タイトル | ||||||||||
| タイトル | モバイルビザンチン故障の封じ込めと合意形成 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Agreement with containment of mobile Byzantine faults | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 九州大学大学院システム情報科学府 | ||||||||||
| 著者所属 | ||||||||||
| 九州大学大学院システム情報科学研究院 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Graduate School of Information Science and Electrical Engineering, Kyushu Uniersity | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Faculty of Information Science and Electrical Engineering, Kyushu Uniersity | ||||||||||
| 著者名 |
半澤, 陽
× 半澤, 陽
× 山内, 由紀子
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 複数のプロセスと通信リンクから構成される分散システム中に，任意の振る舞いを行うビザンチン故障プロセスが存在する時，正常プロセス間で合意を形成する問題をビザンチン合意問題と呼ぶ．さらに，ビザンチン故障プロセスの集合が継続的に変化する場合の合意形成問題を移動ビザンチン合意問題と呼ぶ．Inoue ら (2018) は，ビザンチン故障を引き起こすビザンチンエージェントの移動を制限し，分散システムの一部に封じ込めるために，メッセージの受信を拒否する通信リンクのブロックを提案した．本研究では，ビザンチンエージェントの移動経路に基づいた通信リンクのブロックでは封じ込めが不可能であることを示し，通信リンクを双方向にブロックする切断を用いればビザンチンエージェントの封じ込めが可能であることを示す．さらに，各操作を行いながら移動ビザンチン合意問題を解く分散アルゴリズムを示す． | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | We consider a distributed system that consists of a set of processes connected by communication links. The Byzantine agreement problem requires that correct processes reach agreement in the presence of Byzantine faults that make faulty processes perform arbitrarily. When the set of faulty processes continuously changes, the problem is called the mobile Byzantine agreement problem. A Byzantine agent visits a process and makes the process faulty, and Inoue et al. (2018) proposed blocking of a link that enables containment of a Byzantine agent to a restricted part of a distributed system. In this paper, we first consider blocking of links based only on the track of a Byzantine agent and we demonstrate that containment is impossible by blocking. Then, we introduce disconnection of a link that blocks a link in both directions and we demonstrate that blocking of links enables containment of a Byzantine agent. We finally present mobile Byzantine agreement protocols with blocking or disconnection of links. | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN1009593X | |||||||||
| 書誌情報 |
研究報告アルゴリズム（AL） 巻 2019-AL-173, 号 12, p. 1-5, 発行日 2019-05-03 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8566 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
