WEKO3
アイテム
PCAT：証拠携行型アクセストークンによる送信者制限認可
https://doi.org/10.20729/0002012314
https://doi.org/10.20729/0002012314bee20392-a04c-419a-a40d-899a9c1dc2dd
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL6709021.pdf (918.2 KB)
2028年9月15日からダウンロード可能です。
|
Copyright (c) 2026 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, 論文誌:会員：¥0, DLIB:会員：¥0 | ||
| Item type | Journal(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2026-09-15 | |||||||||
| タイトル | ||||||||||
| 言語 | ja | |||||||||
| タイトル | PCAT：証拠携行型アクセストークンによる送信者制限認可 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | PCAT: Proof-carrying Access Tokens for Sender-constrained Authorization | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | [特集：サイバーとフィジカルが融合する未来を支えるコンピュータセキュリティ技術] OAuth，DPoP，FIDO/WebAuthn，送信者制限，受領者限定，ProVerif | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| 資源タイプ | journal article | |||||||||
| ID登録 | ||||||||||
| ID登録 | 10.20729/0002012314 | |||||||||
| ID登録タイプ | JaLC | |||||||||
| 著者所属 | ||||||||||
| LINEヤフー株式会社 | ||||||||||
| 著者所属 | ||||||||||
| LINEヤフー株式会社 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| LY Corporation | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| LY Corporation | ||||||||||
| 著者名 |
大神,渉
× 大神,渉
× 五味,秀仁
|
|||||||||
| 著者名(英) |
Wataru Oogami
× Wataru Oogami
× Hidehito Gomi
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Web APIにOAuthのアクセストークンが広く用いられ，窃取や中継に対する脆弱性が残る．送信者制限（例：Demonstrating Proof of Possession; DPoP）や受領者限定等の標準機能が有効である一方，資源に対するアクセス制限を判断するリソースサーバ（RS）は照会なしに，当該アクセストークンが本人によって提示されたことをただちに確認できない．Fast IDentity Online（FIDO）認証は公開鍵暗号方式に基づく標準技術であり，フィッシング耐性等を備えた強いユーザ認証（認証強度）を与える．FIDO認証をOAuthに導入した場合，ユーザ関与をともなう強い認証が成立したという保証，すなわち本稿でいう本人性は認証を行った認可サーバ（AS）境界内にとどまり，RSはオンライン照会をせずに利用できない．この課題を解決するため，OAuth 2.0の暗号学的プロファイルProof-Carrying Access Tokens（PCAT）を提案する．PCATを用いると，ASが短寿命で個人情報を含まない署名付きアテステーション（Key-Bound Statement; KBS）を発行し，それをアクセストークン（AT）とクライアント鍵（DPoP鍵）に暗号学的に結び付けることで，RSが照会しなくても受理可否を判定できる．RSはDPoP証明を検証し，次にATを検証し，最後にKBSを順に検証することで，鍵・宛先・本人性の三者の結び付きをローカルで確認する．また，PCATの最小モデルを用いたProVerif解析により，受理時の鍵一致・宛先一致の不変量とAS署名生成鍵の秘匿を確認した． | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Web APIs widely employ OAuth access tokens, yet theft and relay attacks remain practical threats. Sender-constrained tokens (e.g., Demonstration of Proof-of-Possession; DPoP) and audience restriction help, but a resource server (RS) cannot immediately verify―without querying the authorization server (AS)―that a token was presented by its legitimate user. FIDO/WebAuthn provides strong public-key-based authentication, yet its assurance remains confined to the AS. We propose Proof-Carrying Access Tokens (PCAT), a cryptographic profile in which the AS issues a short-lived, PII (Personally Identifiable Information)-free signed attestation (Key-Bound Statement; KBS) and cryptographically binds it to the access token (AT) and the client key (DPoP). The RS verifies in the order DPoP, AT, and KBS in sequence and locally enforces three-way binding of key, audience, and the minimal authentication-assurance claim, enabling query-independent acceptance. Using a minimal ProVerif model, we confirm the key-consistency and audience-consistency invariants at acceptance and the secrecy of the AS signing key. | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN00116647 | |||||||||
| 書誌情報 |
情報処理学会論文誌 巻 67, 号 9, p. 1439-1456, 発行日 2026-09-15 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 1882-7764 | |||||||||
| 公開者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
