@techreport{weko_227015_1,
   author	 = "埜口,裕矢 and 中林,美郷 and 奥田,哲矢",
   title	 = "FlexTokenプロトコルの形式手法を用いた安全性検証",
   year 	 = "2023",
   institution	 = "大阪大学, NTT社会情報研究所, NTT社会情報研究所",
   number	 = "8",
   month	 = "jul"
}