Conference Papers グループ認証付鍵交換プロトコルのweak-SK-secure性の形式検証 Author(s) 徳重 佑樹, 花谷 嘉一, 岩本 貢, 太田 和夫 Conference SCIS 2016 Pages 1A1–2 Publication Year 2016 Date Presented 2016/1/19
