「FIDO2の形式化の再考と複数モードの検証への拡張」