| 研究概要 |
クォーラムシステム(quorum system)はノードを要素とする特殊な集合族であり,ネットワーク上の多重化データを管理する機構として用いられている.この概念を拡張し,データの改竄等の悪意ある攻撃(ビザンチン(Byzantine)故障)に耐えられる様にしたビザンチンクォーラムシステムが注目を集めている.本研究では,攻撃されるノード数の上限とネットワークの構成要素の故障確率を入力として,どのノードが攻撃されたとしても攻撃されたノード数が与えられた値以下であれば,データが改竄されたり不整合を起こしたりしないことを保証し,かつ,ユーザがデータを利用できる確率(可用性)を最大にするビザンチンクォーラムシステムを出力するアルゴリズムを開発した.
具体的には,データの可用性に関して最適なビザンチンクォーラムシステムを求める問題を,整数計画問題として定式化することに成功した.このことにより,分枝限定法を用いて最適なシステムを構成することが可能となった.実際に,この問題を解くプログラムを完成させ,適用実験を行った.その結果,攻撃されるノードが1台か2台の場合であれば,全体で約10台までのサーバ集合を対象として最適なシステムが導出できることが分かった.また,提案手法によって得られる最適なビザンチンクォーラムシステムが,既存のシステムに比べどの程度優れているのかを定量的に評価した.その結果,各サーバの信頼性に幅がある場合,提案手法と従来の構成法とでの得られる可用性の差が特に大きくなることが分かった.また,この評価結果に基づいて既存の構成法であるThresholdの改変案を提案し,同様な比較評価によって提案法で得られる最適値に極めて近い可用性が得られる場合があることを示した.
|
