国内会議 グループ認証付鍵交換プロトコルのweak-SK-secure性の形式検証 著者 徳重 佑樹, 花谷 嘉一, 岩本 貢, 太田 和夫 会議名 SCIS 2016 ページ 1A1–2 発行年 2016 発表日 2016/1/19
