抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本論文は,ビザンチン攻撃の自動ユニット試験発電機であるツインを示した。双子は3つのタイプのビザンチン挙動を実行する。(i)リーダー等容,(ii)二重投票,および(iii)「ロック」保護投票値のような内部状態を失う。ビザンチンノードによって興味深い攻撃をエミュレートするために,それは1つの代わりにノードの双晶コピーをインスタントし,同じ同一性とネットワーク信用の両方を与える。残りのシステムに対して,双晶は「質問可能」様式で単一ノードと区別できないように見える。Twinは,スケールにおいてByzantine攻撃シナリオを系統的に生成することができ,それらを制御方法で実行して,それらの挙動を調べる。ツインシナリオはプロトコルラウンドを繰り返し,ノード間の通信パターンを変える。Twinは,DiemBFT内の生産設定で実行され,そこでは,44MのTwins生成シナリオを毎日実行することができる。手のシステムは誤差を示さなかったが,Twin自体の実装を検証する目的で意図的に注入された微妙な安全バグは数分内に曝露された。双子は,符号ベースを更新し,新しい特徴を導入し,日常的なメンテナンスタスクを実行するとき,正当性を回帰するのを防ぐことができる。TwinはDiemBFT上の薄いラッパーのみを必要とし,それを用いて他のシステムを想定する。このアイデアに基づいて,他のBFTプロトコルに対する一つの新しい攻撃といくつかの既知の攻撃を,Twinsシナリオとして具体化した。すべての場合において,目標プロトコルは,数十プロトコルラウンドよりも少なく,従って,この問題を曝露するTwinsアプローチに対して現実的である。【JST・京大機械翻訳】