下位資源の完全性 — Subresource Integrity

1.2.1. 資源の完全性

• 作者は、 全世界の利用者のために処理能を改善するため，~CDNを利用したいと望んでいるとする。 しかしながら、［ ~CDNの~serverが，作者が`期待する~codeのみ^emを送達する ］ことを確保することも重要である。 ~CDNが弱体化されて（あるいは期待されない悪意的な挙動により），~siteが不幸な~~形に変えられてしまう~riskを軽減するためには、 ~pageに含まれる `link$e 要素に，次の`完全性~metadata$を追加する： ◎ An author wishes to use a content delivery network to improve performance for globally-distributed users. It is important, however, to ensure that the CDN’s servers deliver only the code the author expects them to deliver. To mitigate the risk that a CDN compromise (or unexpectedly malicious behavior) would change that site in unfortunate ways, the following integrity metadata is added to the link element included on the page:

  <link
      rel="stylesheet"
      href="https://site53.example.net/style.css"
      integrity="sha384-`…( ~digest )…$V"
      crossorigin="anonymous"
  >
  

• 作者は、 第三者-主体が解析~service用に供した~JSを~pageに含めるよう求めているとする。 注意深く考査された~codeのみ 実行されることを確保するためには、 ~scriptに対する`完全性~metadata$を生成して，それを `script$e 要素に追加する： ◎ An author wants to include JavaScript provided by a third-party analytics service. To ensure that only the code that has been carefully reviewed is executed, the author generates integrity metadata for the script, and adds it to the script element:

  <script
      src="https://analytics-r-us.example.com/v1.0/include.js"
      integrity="sha384-`…( ~digest )…$V"
      crossorigin="anonymous"
  ></script>
  

• ~UAは、 高特権な~HTML文脈（例えば, ~browserの新たな~UItab~page）内で走っている~JS~codeが，表示される前に操作されないことを確保したいと望む。 `完全性~metadata$は、 改ざんされた~JSが そのような高特権な文脈~下で走る~riskを軽減する。 ◎ A user agent wishes to ensure that JavaScript code running in high-privilege HTML contexts (for example, a browser’s New Tab page) aren’t manipulated before display. Integrity metadata mitigates the risk that altered JavaScript will run in these pages' high-privilege contexts.

3.2.1. 即応性

将来，暗号上の発見に直面したときに 機敏に対応できるよう、 同じ資源に複数個の［ `完全性~metadata$の集合 ］を結付けてもよい†。 ◎ Multiple sets of integrity metadata may be associated with a single resource in order to provide agility in the face of future cryptographic discoveries. For example, the resource described in the previous section may be described by either of the following hash expressions:

<script src="hello_world.js"
   integrity="sha384-`…( ~digest )…$V
              sha512-`…( ~digest )…$V"
   crossorigin="anonymous"></script>

【† 複数個の集合（ `multiple sets of^en 〜 ）： 各~hash関数に対しても，複数個の~hash値を与え得る — `後述の例＠#_multi-hash$のように。 】

この事例では、 ~UAは，応答を検証するときに~list内の最も強い~hash関数を選んで， その~metadataを利用することになる（後述の［ `~metadata~listを構文解析する$ ／ `最も強い~metadataを取得する$ ］~algoに則って）。 ◎ In this case, the user agent will choose the strongest hash function in the list, and use that metadata to validate the response (as described below in the § 3.3.2 Parse metadata and § 3.3.3 Get the strongest metadata from set algorithms).

~secureでないと決定された~hash関数に対しては、 ~UAは，それを非推奨にした上で、 最終的には，~secureでないな~hash関数を利用している完全性~検証の~supportを除去するベキである。 ~UAは、 応答の妥当性を検査する際に，非推奨にされた関数に基づく~digestを利用してもヨイ。 ◎ When a hash function is determined to be insecure, user agents SHOULD deprecate and eventually remove support for integrity validation using the insecure hash function. User agents MAY check the validity of responses using a digest based on a deprecated function.

作者が，古い~UAに縛られることなく より強い~hash関数に切替えれるよう、 ~UAは，自身が~supportしない~hash関数を利用している検証に対しては，その完全性~値は供されなかったかの様に動作することになる（後述の，`~byte列は~metadata~listに合致するか？$を見よ）。 作者には、 強い~hash関数を利用することに加え，より強い~hash関数が可用になり次第 それへ移行することが奨励される。 ◎ To allow authors to switch to stronger hash functions without being held back by older user agents, validation using unsupported hash functions acts like no integrity value was provided (see the § 3.3.4 Do bytes match metadataList? algorithm below). Authors are encouraged to use strong hash functions, and to begin migrating to stronger hash functions as they become available.

3.2.2. 優先度

~UAは、 `より優先される~hash関数を取得する@ ~algo（ `getPrioritizedHashFunction^en ）を供するモノトスル。 それは、 所与の 2 つの~hash関数 ( %A, %B ) に対し，より優先される方 — ~UAがより衝突耐性があると見なす方 — を返す — ただし、 優先度が等しい場合は ε 【！空~文字列】を返す。 例えば、［ `より優先される~hash関数を取得する$(`sha256^l, `sha512^l) は `sha512^l ／ `より優先される~hash関数を取得する$(`sha256^l, `sha256^l) は空~文字列 ］を返すことになる。 ◎ User agents must provide a mechanism for determining the relative priority of two hash functions and return the empty string if the priority is equal. That is, if a user agent implemented a function like getPrioritizedHashFunction(a, b) it would return the hash function the user agent considers the most collision-resistant. For example, getPrioritizedHashFunction('sha256', 'sha512') would return 'sha512' and getPrioritizedHashFunction('sha256', 'sha256') would return the empty string.

注記： この~algoは、 もっぱら，この文書にて~algoの記述を単純~化するために利用される。 ◎ Note: The getPrioritizedHashFunction is an internal implementation detail. It is not an API that implementors provide to web applications. It is used in this document only to simplify the algorithm description.

【 この~algoを［ 3 個~以上の~hash関数の優先度が循環する様な結論を導く ］ように定義することも明示的には禁止されてはいないが、 許容されないであろう（この仕様の他の~algoは、 そうであっても~~問題なく働いてしまうが）。 】

3.3.1. ~byte列に~algoを適用する

所与の ( `~byte列$ %~byte列, ~algo %~algo ) に対し：

1. %結果 ~LET %~byte列 に %~algo を適用した結果 ◎ Let result be the result of applying algorithm to bytes.
2. ~RET %結果 に`~base64符号化法$を適用した結果 ◎ Return the result of base64 encoding result.

3.3.2. ~metadataを構文解析する

この~algoは、 所与の ( 文字列 %~metadata文字列 ) に対し，一連の［ ~UAが解する~hash関数を伴う~hash式【`完全性~metadata$】 ］を返す： ◎ This algorithm accepts a string, and returns a set of hash expressions whose hash functions are understood by the user agent.

1. %結果 ~LET 空~集合 【ではなく`~list$ — 以下に利用される %結果 に付加する演算は，`~list$用なので。】 ◎ Let result be the empty set.
2. %~token~list ~LET `区切子で厳密に分割する$( %~metadata文字列, `0020^U `SPACE^cn ) ◎ ↓

3. %~token~list を成す ~EACH( %~token ) に対し： ◎ For each item returned by splitting metadata on spaces:

   1. %~option群を伴う~hash ~LET `区切子で厳密に分割する$( %~item, `003F^U `?^smb ) ◎ Let hash-with-opt-token-list be the result of splitting item on U+003F (?).
   2. %~hash式 ~LET %~option群を伴う~hash[ 0 ] ◎ Let hash-expression be hash-with-opt-token-list[0].
   3. %~base64値 ~LET 空~文字列 ◎ Let base64-value be the empty string.
   4. %~hash式~token~list ~LET `区切子で厳密に分割する$( %~hash式, `002D^U `-^smb ) ◎ Let hash-expr-token-list be the result of splitting hash-expression on U+002D (-).
   5. %~algo ~LET %~hash式~token~list[ 0 ] ◎ Let algorithm be hash-expr-token-list[0].
   6. ~IF［ %~hash式~token~list の`~size$ ~GTE 2 ］ ⇒ %~base64値 ~SET %~hash式~token~list[ 1 ] ◎ If hash-expr-token-list[1] exists, set base64-value to hash-expr-token-list[1].
   7. ~IF［ %~algo は~UAが認識する~hash関数でない ］ ⇒ ~CONTINUE ◎ If algorithm is not a hash function recognized by the user agent, continue.

   8. %~metadata ~LET 新たな`完全性~metadata$ — その ⇒＃ `~algo$iM ~SET %~algo, `値$iM ~SET %~base64値 ◎ Let metadata be the ordered map «["alg" → algorithm, "val" → base64-value]».

      注記： 定義された~optionは無いので （`§ 完全性~metadata＠#integrity-metadata-description$を見よ）、 %~metadata の`~option群$iMは設定されない。 将来の~versionにおいて，~optionが定義されたなら、 %~option群を伴う~hash[ 1 ] が`~option群$iMとして用立てられ得る。 ◎ Note: Since no options are defined (see the § 3.1 Integrity metadata), a corresponding entry is not set in metadata. If options are defined in a future version, hash-with-opt-token-list[1] can be utilized as options.

   9. %結果 に %~metadata を`付加する$ ◎ Append metadata to result.
4. ~RET %結果 ◎ Return result.

3.3.3. 集合から最も強い~metadataを取得する

所与の ( %集合 ) に対し：

1. %結果 ~LET 空~集合 ◎ ↓
2. %最強~algo ~LET ~NULL ◎ Let result be the empty set and strongest be the empty string.

3. %集合 を成す ~EACH( %~item ) に対し：

   1. %新たな~algo ~LET %~item の`~algo$iM
   2. %~algo ~SET %最強~algo に応じて ⇒＃ ~NULL ならば %新たな~algo ／ ~ELSE_ `より優先される~hash関数を取得する$( %最強~algo, %新たな~algo )

   3. ~IF［ %~algo ~NEQ %最強~algo ］：

      1. ~IF［ %~algo ~EQ %新たな~algo ］ ⇒＃ %結果 を空にする； %最強~algo ~SET %新たな~algo
      2. %結果 に %~item を追加する
   ◎ For each item in set: • If result is the empty set, add item to result and set strongest to item, skip to the next item. • Let currentAlgorithm be the alg component of strongest. • Let newAlgorithm be the alg component of item. • If the result of getPrioritizedHashFunction(currentAlgorithm, newAlgorithm) is the empty string, add item to result. If the result is newAlgorithm, set strongest to item, set result to the empty set, and add item to result.
4. ~RET %結果 ◎ Return result.

3.3.4. ~byte列は~metadata~listに合致するか？

所与の ( `~byte列$ %~byte列, 文字列 %~metadata~list ) に対し：

1. %構文解析した~metadata ~LET `~metadata~listを構文解析する$( %~metadata~list ) ◎ Let parsedMetadata be the result of parsing metadataList.
2. ~IF［ %構文解析した~metadata は`空$である ］ ⇒ ~RET ~T ◎ If parsedMetadata is empty set, return true.
3. %~metadata ~LET `最も強い~metadataを取得する$( %構文解析した~metadata ) ◎ Let metadata be the result of getting the strongest metadata from parsedMetadata.

4. %~metadata を成す ~EACH( %~item ) に対し： ◎ For each item in metadata:

   1. %~algo ~LET %~item の`~algo$iM ◎ Let algorithm be the item["alg"].
   2. %期待される値 ~LET %~item の`値$iM ◎ Let expectedValue be the item["val"].
   3. %実際の値 ~LET `~byte列に~algoを適用する$( %~byte列, %~algo ) ◎ Let actualValue be the result of applying algorithm to bytes .
   4. ~IF［ %実際の値 ~EQ %期待される値 ］ ⇒ ~RET ~T ◎ If actualValue is a case-sensitive match for expectedValue, return true.
5. ~RET ~F ◎ Return false.

この~algoは、 複数個の［ 妥当かつ強い~hash関数 ］を受容することを~UAに許容する。 ◎ This algorithm allows the user agent to accept multiple, valid strong hash functions.＼

<script src="https://example.com/example-framework.js"
        integrity="sha384-`…( ~digest )…$V
                   sha384-`…( ~digest )…$V"
        crossorigin="anonymous"></script>

注記： ~UAは、 この~algoの結果を改変することを利用者に許容してよい — ［ 利用者-選好, ~bookmarklet, 第三者-主体による~UAに対する追加, その他の同類の仕組み ］を介して。 例えば、 `HTTPS Everywhere＠https://www.eff.org/https-everywhere$en の様な拡張により生成される~redirectは、 資源の［ ~HTTPS, ~HTTP ］~versionが相違する場合でも，正しく読込んで実行する。 ◎ Note: User agents may allow users to modify the result of this algorithm via user preferences, bookmarklets, third-party additions to the user agent, and other such mechanisms. For example, redirects generated by an extension like HTTPS Everywhere could load and execute correctly, even if the HTTPS version of a resource differs from the HTTP version.

注記： 下位資源の完全性には、 ~CORSが要求される — ~CORSを伴わずにそれを利用しようとする試みるのは、 論理的な誤りである。 それが生じた場合、 ~UAには［ 開発者~consoleに，この失敗を説明する警告~messageを報告すること ］が奨励される。 `Fetch$r ◎ Note: Subresource Integrity requires CORS and it is a logical error to attempt to use it without CORS. User agents are encouraged to report a warning message to the developer console to explain this failure. [Fetch]