国内会議 正規言語を用いた鍵更新可能暗号の安全性解析 著者 大宮 翔児, 徳重 佑樹, 岩本 貢, 太田 和夫 会議名 SCIS 2015 ページ 1D1–4 発行年 2015 発表日 2015/1/20