著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 佐藤 瑞己 and 米山 一樹,FIDO2の形式化の再考と複数モードの検証への拡張,情報処理学会論文誌,1882-7764,情報処理学会,2023-12-15,64,12,1599-1613,https://cir.nii.ac.jp/crid/1390017035748776064,https://doi.org/10.20729/00231436