@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"
}