2010年8月 数理的技法による安全性証明 [太田和夫, 盛合志帆 (編), 電子情報通信学会知識ベース, 1群 3編 (暗号理論)] 塚田恭章 担当区分 分担執筆 担当範囲 10章 出版者・発行元 電子情報通信学会 記述言語 日本語 著書種別 事典・辞書