要約

  • RFC 3504 は IOTP v1 の実行面を三つ直した。DTD 文法、認証後も元の取引を継続する状態遷移、IOTP 署名が識別できる内容型の一覧である。
  • 正誤表の適用は修正版仕様との整合を示すだけで、認証成功、署名者の権限、課金承認、決済、配送、導入、普及を証明しない。

普通の文章なら「再開」を「継続」に変えるのは編集に見える。取引状態機械では、認証の門に到達した商取引の文脈を保持するか、最初から別の交換が始まったように扱うかを決める。

RFC 3504 は2003年3月、Informational 文書として公開された。IOTP バージョン1の仕様、とりわけ巨大な RFC 2801 の刊行後に見つかった誤りを集めた。IOTP は特定の支払い方式に依存せず、店舗、支払い処理、配送、顧客支援を別々の組織へ分けられる商取引の枠組みだった。

役割が分散するほど共有意味は重要になる。処理が組織境界を越えても、メッセージはどの取引のどの行為かを保持しなければならない。文法や遷移の差は一つの解析器内に留まらず、相手組織の処理を変える。

最初の修正は PackagedContent だった。元の DTD は Name と Content の属性型を取り違えていた。訂正後は Name が NMTOKEN、Content が CDATA になる。この拡張容器は認証チャレンジ、注文記述、ブランド情報、支払い方式データ、受領情報、配送データなど多くの場所に現れた。

古い宣言から生成されたコードは、誤った字句制約を値へ課し得る。一方で有効な値が他方で拒否される。「RFC 2801 対応」という表示だけでは、印刷された DTD と訂正版のどちらを意味するか分からない。

二つ目はさらに短い。Attribute 要素の内容モデル ( ANY ) は誤りで、正しくは ANY だった。妥当でない文法を見た検証器は、意図が寛容だったと勝手に判断できない。共通の訂正がなければ、各実装が別の修正、検証停止、固有例外を選ぶ。

訂正版 DTD を通過しても、得られるのは構造の証拠だけだ。名前、属性型、内容配置が修復された契約に従うことは示せるが、埋め込まれた主張の真実、相手の権限、外部決済を示さない。

状態に関する訂正が核心である。RFC 2801 は認証取引を別の IOTP 取引と組み合わせる方法を説明した。元の文は認証成功後に元の IOTP 取引が restarted されるとしていた。RFC 3504 は continued へ変えた。

これにより取引の同一性が門を越えて保たれる。認証は大きな交換の途中条件であり、成功しても新しい購入を生成せず、以前の決定を消去しない。取引識別子、蓄積した部品、冪等記録、権限範囲は元の文脈に残せる。

「継続」は認証が実際に成功したという報告でもない。成功した場合の次の動作を定めただけである。運用では主体、方式、チャレンジ、応答、対象取引を結び付けた認証判断が別に必要だ。身元が確認されても、その後の支払いと配送が自動承認されるわけではない。

署名型一覧にも欠落があった。従来は申込、支払い、配送の応答、認証の要求と応答、ping の要求と応答を挙げながら、AuthenticationStatus、InquiryRequest、InquiryResponse を落としていた。

RFC 3504 は三つを追加し、どの役割でも使えるよう表も直した。旧一覧を完全だと信じる検証器は訂正版で合法な型を拒否し、過度に寛容な検証器は共有分岐規則なしに受理し得る。正誤表は型マーカーと署名対象の内容分類の対応を回復した。

型の認識は署名検証ではない。署名が正しくても署名者の商業権限は別である。本物の照会応答がプロトコル状態を報告しても、銀行の決済、商品の配送、顧客の受領までは証明しない。

RFC 3504 は誤りが特にセキュリティ関連ではないと述べる一方、未修正の仕様から生まれる誤実装がセキュリティを損なう可能性を警告した。新しい暗号方式の問題ではなく、安全に関わる処理を支える文法、状態遷移、分岐表の問題だった。

したがって正誤表は実行依存物になり得る。資産記録には基礎 RFC だけでなく、適用訂正集合、生成した解析器や schema、変更挙動の試験を含める必要がある。出所を欠く二つの適合表示は、異なる機械を指し得る。

文書メタデータも同じ難しさを示す。RFC 3504 のヘッダーは Updates: 2801 を宣言していない。現在の RFC Editor erratum 2947 は文書更新待ちで、規範的変更のため更新関係を示すべきだったとする。訂正文が実行を変えても、関係メタデータは力を完全には表さなかった。

誠実な証拠列は、正確な版と訂正集合から始まる。再現可能な解析器構築、文書受理、取引同一性の維持、認証判断、署名型認識、暗号検証、商業行為の承認、外部の支払い・配送受領へ進む。

文法は解釈可能性を、継続は生き残る文脈を、型は署名が何を対象と主張するかを答える。どれも支払い済みで履行済みの購入を意味しない。六ページの訂正は巨大な仕様の動作を決めても、現実の結果そのものにはならなかった。

出典