@article{weko_220189_1, author = "松田,規 and 川合,豊 and 平野,貴人 and 伊藤,隆 and 西垣,正勝", title = "標準モデルで安全性証明可能なプロキシ支援による関数型暗号の復号鍵失効機能の実現", journal = "情報処理学会論文誌", year = "2022", volume = "63", number = "9", pages = "1419--1439", month = "sep" }