@techreport{weko_224742_1, author = "奥田,哲矢 and 荒井,研一 and 齋藤,恆和 and 千田,浩司 and 中林,美郷 and 山村,和輝 and 宮澤,俊之 and 阿部,正幸", title = "トークン型電子現金方式の二重使用検知およびプライバシーに関する形式検証の考察", year = "2023", institution = "NTT社会情報研究所, 長崎大学, NTT社会情報研究所, 群馬大学, NTT社会情報研究所, NTT社会情報研究所, NTT社会情報研究所, NTT社会情報研究所", number = "66", month = "feb" }