- 著者
-
竹内 泉
真野 健
- 出版者
- 一般社団法人 日本応用数理学会
- 雑誌
- 日本応用数理学会論文誌 (ISSN:24240982)
- 巻号頁・発行日
- vol.22, no.1, pp.23-45, 2012-03-25 (Released:2017-04-08)
- 参考文献数
- 7
情報を秘匿するプロトコルの中には,確率変数によって秘匿性が保証されるものがある.そのようなプロトコルに対して,公理的体系の中で情報の秘匿性を証明することを目的とする.そのための,確率変数を扱うことの出来る公理的な論理体系を設計する.本稿では例題として簡単な秘密分散法及び暗号学者の会食問題を採り上げ,そのプロトコルの情報の秘匿をこの論理体系によって証明する.