@techreport{weko_83094_1, author = "ナシマ,ベゴム and 中西,透 and 舩曵,信生", title = "ペアリングベース匿名クレデンシャルシステムにおける属性CNF式の効率的な証明", year = "2012", institution = "岡山大学大学院自然科学研究科, 岡山大学大学院自然科学研究科, 岡山大学大学院自然科学研究科", number = "31", month = "jul" }