★阿修羅♪ > IT9 > 629.html ★阿修羅♪ |
Tweet |
(回答先: 暗号プロトコル的とはどのような意味でしょうか? 投稿者 ワヤクチャ 日時 2007 年 5 月 02 日 22:21:50)
えっと、まずダイナモさんの質問
「電子投票システムのソフトウェアに欠陥が無いことをどうやって証明できますか?」
に対して私なりの答えを述べたいと思います。
私も「証明はできない」と思っています。
また、集計がきちんと行なわれているかどうかということは、確認可能です。
もちろんシステムに欠陥がある場合にはできません。
それは、どんなシステムでも同様です。
では、
「どうすればきちんと集計されているのかを確認できるのか?」
を説明するのは、暗号に関する知識が必要となってきますので、
今後ゆっくりご説明させていただければと思います。