Conference Papers 正規言語を用いた鍵更新可能暗号の安全性解析 Author(s) 大宮 翔児, 徳重 佑樹, 岩本 貢, 太田 和夫 Conference SCIS 2015 Pages 1D1–4 Publication Year 2015 Date Presented 2015/1/20