講演抄録/キーワード |
講演名 |
2014-12-19 14:40
認証整合性符号によるフォールトマスク三重冗長系の一提案 ○岩井仁司 DC2014-71 |
抄録 |
(和) |
ある機能モジュールの出力データと、他の機能モジュールの出力データが一致することは、一方の機能モジュールから生成した整合性チェック用の符号が他方の出力データと整合すれば、両者が一致すると証明されたことになる。三重冗長系の場合、2つの機能モジュールの一致を示すことができれば、過半数の一致で正しいということができる。この整合性のチェックを下流の外部システムで実施することを提案する。注意すべき点は、いかなる故障モードにおいても、ある機能モジュールの出力データを、その機能モジュールが生成した符号で整合性を検証することがないようにすること、1つのエラーで2つの機能モジュールが否定されないようにすること、外部システムに特別で複雑な処理を要求しないこと、通信コスト、計算コストが妥当な範囲であること、などである。 |
(英) |
It must prove that output data of a function module and that of another function module are the same to check an integrity-check-code produced by this function module on that data. In case of Triple Modular Redundancy, the corresponding of two means majority deciding. This paper propose that an outer system shall check this integrity. Points of attention are to avoid integrity-check data of a function module and a code self-produced by it, to deny two or more function modules integrity by one error, over-requirements for external system, reasonable costs for communication and computing and so on. |
キーワード |
(和) |
フォールトマスク / TMR / 三重多数決冗長系 / メッセージ認証完全性符号 / MAIC / 認証符号冗長 / / |
(英) |
Fault Mask / TMR / Triple Modular Redundancy / Message Authentic and Integrity Code / MAIC / Certification Code Redundancy / / |
文献情報 |
信学技報, vol. 114, no. 384, DC2014-71, pp. 25-28, 2014年12月. |
資料番号 |
DC2014-71 |
発行日 |
2014-12-12 (DC) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
DC2014-71 |