1. 序論
◎非規範的~web~appは、 ~client側で，~HTMLを成す文字列で作業する必要があることが多い — たぶん［ ~client側における~template化による解決策 ］や［ 利用者が生成した内容の具現化 ］, 等々を成す一部として。 それを安全な仕方で行うのは困難である — ［ 文字列を~~連結して， `Element$I の `innerHTML$mE の中へ詰め込む ］ような素朴な~approachは、 いくつかの期待されない仕方で~JSを実行させ得るので， ~riskをはらんでいる。 ◎ Web applications often need to work with strings of HTML on the client side, perhaps as part of a client-side templating solution, perhaps as part of rendering user generated content, etc. It is difficult to do so in a safe way. The naive approach of joining strings together and stuffing them into an Element's innerHTML is fraught with risk, as it can cause JavaScript execution in a number of unexpected ways.
`DOMPURIFY$r の様な~libraryは、 文字列を挿入する前に［ それを注意深く構文解析して，~DOMを構築してから、 許容-~listを通して，その~memberたちを~filterして無毒化する ］ことにより，この問題を管理するよう試みる。 これは、 脆い~approachであることが立証された — ~webに公開された【~libraryの】構文解析~APIは、 文字列を “本物の” ~DOM内に~HTMLとして実際に具現化するとき，常に［ 適理な仕方で，~browserの挙動に対応付ける ］とは限らないので。 さらには、 ~libraryが［ 時間~越しに変化していく~browserの挙動 ］の~~上層にあることを保つ必要もある — それまで安全だったものは、 ~platform~levelの新たな特能に基づいて時限爆弾に転化し得るので。 ◎ Libraries like [DOMPURIFY] attempt to manage this problem by carefully parsing and sanitizing strings before insertion, by constructing a DOM and filtering its members through an allow-list. This has proven to be a fragile approach, as the parsing APIs exposed to the web don’t always map in reasonable ways to the browser’s behavior when actually rendering a string as HTML in the "real" DOM. Moreover, the libraries need to keep on top of browsers' changing behavior over time; things that once were safe may turn into time-bombs based on new platform-level features.
~browserは、 ~codeをいつ実行しようとするかについて，よく知る立場にある。 利用元~空間の~libraryは，次により改善でき、 この文書は，まさにそれを目指す~APIを要旨する ⇒ 任意な文字列から安全な方式で~HTMLを具現化するにあたって，次を可能にする ⇒ それを行う方法を~browserに教えること、 および［ ~browserによる自前の［ 構文解析器の実装 ］が変化するに伴い［ 保守される／更新される ］見込みがずっと高い仕方で，それを行うこと ◎ The browser has a fairly good idea of when it is going to execute code. We can improve upon the user-space libraries by teaching the browser how to render HTML from an arbitrary string in a safe manner, and do so in a way that is much more likely to be maintained and updated along with the browser’s own changing parser implementation. This document outlines an API which aims to do just that.
1.1. 目標
- 次により，~DOMに基づく~XSS攻撃の~riskを軽減する ⇒ ~HTMLを取扱うための［ 利用元により制御される仕組み ］を開発者に供して、 注入の際に直な~script実行を防止する ◎ Mitigate the risk of DOM-based cross-site scripting attacks by providing developers with mechanisms for handling user-controlled HTML which prevent direct script execution upon injection.
- ~HTML出力を現在の~UAの中で安全に利用できるようにする — ~UAの［ ~HTMLに対する現在の理解 ］を織り込む下で。 ◎ Make HTML output safe for use within the current user agent, taking into account its current understanding of HTML.
- 対象になる［ 要素／属性 ］たちが成す既定の集合を上書きすることを，開発者に許容する。 ある種の［ 要素／属性 ］をそこに追加することは、 `~script~gadget攻撃＠https://github.com/google/security-research-pocs/tree/master/script-gadgets$を防止し得る。 ◎ Allow developers to override the default set of elements and attributes. Adding certain elements and attributes can prevent script gadget attacks.
1.2. ~APIの要約
`無毒化器~API^i（ `Sanitizer API^en ）は、［ ~HTMLを包含している文字列を~DOM~treeへ構文解析して， 結果の~treeを利用者が給した環境設定に則って~filterする ］ための機能性を提供する。 ~APIは、 次に挙げる 2 × 2 種の味付けを伴う~methodとして供される： ◎ The Sanitizer API offers functionality to parse a string containing HTML into a DOM tree, and to filter the resulting tree according to a user-supplied configuration. The methods come in two by two flavours:
- `安全@ か否か： `安全$な~methodは、 ~scriptを実行する~markupを生成しないことになる。 すなわち、 それらは，~XSSから安全になるはずである。 `安全$でない~methodは、 何であれ，想定されるものを［ 構文解析する, ~filterする ］ことになる。 `§ ~securityの考慮点＠#security-considerations$ も見よ。 ◎ Safe and unsafe: The "safe" methods will not generate any markup that executes script. That is, they should be safe from XSS. The "unsafe" methods will parse and filter whatever they’re supposed to. See also: § 4 Security Considerations.
- 文脈： ~methodは、［ `Element$I, `ShadowRoot$I ］上に定義され， これらの `Node$I の子~群を置換することになる — それは、 `innerHTML$mE に~~概ね相似的である。 `Document$I 上にも静的な~methodがあり、 文書~全体に対し構文解析する — それは、 `DOMParser$I の `parseFromString()$m に~~概ね相似的である。 ◎ Context: Methods are defined on Element and ShadowRoot and will replace these Node's children, and are largely analogous to innerHTML. There are also static methods on the Document, which parse an entire document are largely analogous to DOMParser.parseFromString().
2. ~framework
2.1. 無毒化器~API
`Element$I ~interfaceは、 2 つの~method — `setHTML()$mE, `setHTMLUnsafe()$mE — を定義する。 これらは、 どちらも［ ~HTML~markupを伴う`文字列$, 省略可能な環境設定 ］をとる。 ◎ The Element interface defines two methods, setHTML() and setHTMLUnsafe(). Both of these take a DOMString with HTML markup, and an optional configuration.
partial interface `Element$I {
[`CEReactions$] `undefined$ `setHTMLUnsafe$mE((`TrustedHTML$ or `DOMString$) %html, optional `SetHTMLUnsafeOptions$I %options = {});
[`CEReactions$] `undefined$ `setHTML$mE(`DOMString$ %html, optional `SetHTMLOptions$I %options = {});
};
`Element$I の `setHTMLUnsafe(html, options)@mE ~method手続きは： ◎ Element's setHTMLUnsafe(html, options) method steps are:
- %準拠~HTML ~LET `信用-済みな型に準拠な文字列を取得する$( ↓ ) ⇒＃ `TrustedHTML$I, コレに`関連な大域~obj$, %html, `Element setHTMLUnsafe^l, `script^l ◎ Let compliantHTML be the result of invoking the Get Trusted Type compliant string algorithm with TrustedHTML, this's relevant global object, html, "Element setHTMLUnsafe", and "script".
- %~target ~LET コレ ◎ ↓
- ~IF［ コレは `HTMLTemplateElement$I 要素である ］ ⇒ %~target ~SET コレの`~template内容$ ◎ Let target be this's template contents if this is a template element; otherwise this.
- `~HTMLを設定して~filterする$( ↓ ) ⇒＃ %~target, コレ, %準拠~HTML, %options, ~F ◎ Set and filter HTML given target, this, compliantHTML, options, and false.
`Element$I の `setHTML(html, options)@mE ~method手続きは： ◎ Element's setHTML(html, options) method steps are:
- %~target ~LET コレ ◎ ↓
- ~IF［ コレは `HTMLTemplateElement$I 要素である ］ ⇒ %~target ~SET コレの`~template内容$ ◎ Let target be this's template contents if this is a template; otherwise this.
- `~HTMLを設定して~filterする$( ↓ ) ⇒＃ %~target, コレ, %html, %options, ~T ◎ Set and filter HTML given target, this, html, options, and true.
partial interface `ShadowRoot$I {
[`CEReactions$] `undefined$ `setHTMLUnsafe$m((`TrustedHTML$ or `DOMString$) %html, optional `SetHTMLUnsafeOptions$I %options = {});
[`CEReactions$] `undefined$ `setHTML$m(`DOMString$ %html, optional `SetHTMLOptions$I %options = {});
};
`Element$I 上に定義された~methodは、 `ShadowRoot$I 上にも定義される： ◎ These methods are mirrored on the ShadowRoot:
`ShadowRoot$I の `setHTMLUnsafe(html, options)@m ~method手続きは： ◎ ShadowRoot's setHTMLUnsafe(html, options) method steps are:
- %準拠~HTML ~LET `信用-済みな型に準拠な文字列を取得する$( ↓ ) ⇒＃ `TrustedHTML$I, コレに`関連な大域~obj$, %html, `ShadowRoot setHTMLUnsafe^l, `script^l ◎ Let compliantHTML be the result of invoking the Get Trusted Type compliant string algorithm with TrustedHTML, this's relevant global object, html, "ShadowRoot setHTMLUnsafe", and "script".
- `~HTMLを設定して~filterする$( ↓ ) ⇒＃ コレ, コレの`~shadow~host$, %準拠~HTML, %options, ~F ◎ Set and filter HTML using this, this's shadow host (as context element), compliantHTML, options, and false.
`ShadowRoot$I の `setHTML(html, options)@m ~method手続きは： ◎ ShadowRoot's setHTML(html, options) method steps are:
- `~HTMLを設定して~filterする$( ↓ ) ⇒＃ コレ, コレ, %html, %options, ~T ◎ Set and filter HTML using this (as target), this (as context element), html, options, and true.
`Document$I ~interfaceには、 2 つの新たな静的~methodが定義される — それは、 所与の文字列を `Document$I 全体を成すものとして構文解析する： ◎ The Document interface gains two new methods which parse an entire Document:
partial interface `Document$I {
static `Document$I `parseHTMLUnsafe$m((`TrustedHTML$ or `DOMString$) %html, optional `SetHTMLUnsafeOptions$I %options = {});
static `Document$I `parseHTML$m(`DOMString$ %html, optional `SetHTMLOptions$I %options = {});
};
`parseHTMLUnsafe(html, options)@m ~method手続きは： ◎ The parseHTMLUnsafe(html, options) method steps are:
- %準拠~HTML ~LET `信用-済みな型に準拠な文字列を取得する$( ↓ ) ⇒＃ `TrustedHTML$I, コレに`関連な大域~obj$, %html, `Document parseHTMLUnsafe^l, `script^l ◎ Let compliantHTML be the result of invoking the Get Trusted Type compliant string algorithm with TrustedHTML, this's relevant global object, html, "Document parseHTMLUnsafe", and "script".
-
%文書 ~LET 新たな `Document$I — その ⇒＃ `内容~型$doc ~SET `text/html^l ◎ Let document be a new Document, whose content type is "text/html".
注記： %文書 が`属する閲覧~文脈$は ~NULL なので、 ~scriptingは不能化される。 ◎ Note: Since document does not have a browsing context, scripting is disabled.
- %文書 の`宣言的な~shadow根を許容するか$doc ~SET ~T ◎ Set document’s allow declarative shadow roots to true.
- `文字列から~HTMLを構文解析する$( %文書, %準拠~HTML ) ◎ Parse HTML from a string given document and compliantHTML.
- %無毒化器 ~LET `~option群から無毒化器を取得する$( %options ) ◎ Let sanitizer be the result of calling get a sanitizer instance from options with options.
- `~nodeを無毒化する$( %文書 の`根~node$, %無毒化器, ~F ) ◎ Call sanitize on document’s root node with sanitizer and false.
- ~RET %文書 ◎ Return document.
`parseHTML(html, options)@m ~method手続きは： ◎ The parseHTML(html, options) method steps are:
-
%文書 ~LET 新たな `Document$I — その ⇒＃ `内容~型$doc ~SET `text/html^l ◎ Let document be a new Document, whose content type is "text/html".
注記： %文書 が`属する閲覧~文脈$は ~NULL なので、 ~scriptingは不能化される。 ◎ Note: Since document does not have a browsing context, scripting is disabled.
- %文書 の`宣言的な~shadow根を許容するか$doc ~SET ~T ◎ Set document’s allow declarative shadow roots to true.
- `文字列から~HTMLを構文解析する$( %文書, %html ) ◎ Parse HTML from a string given document and html.
- %無毒化器 ~LET `~option群から無毒化器を取得する$( %options ) ◎ Let sanitizer be the result of calling get a sanitizer instance from options with options.
- `~nodeを無毒化する$( %文書 の`根~node$, %無毒化器, ~T ) ◎ Call sanitize on document’s root node with sanitizer and true.
- ~RET %文書 ◎ Return document.
2.2. `SetHTML^I ~option群と環境設定~obj
`setHTML()$mE に類する~methodは、 いずれも，ある~option群を与える辞書を受容する。 今の所は、 これらの辞書に定義される~memberは 1 つしかない： ◎ The family of setHTML()-like methods all accept an options dictionary. Right now, only one member of this dictionary is defined:
enum `SanitizerPresets@I{
`default@l
};
dictionary `SetHTMLOptions@I {
(`Sanitizer$I or `SanitizerConfig$I or `SanitizerPresets$I) `sanitizer@mb = "default";
};
dictionary `SetHTMLUnsafeOptions@I {
(`Sanitizer$I or `SanitizerConfig$I or `SanitizerPresets$I) `sanitizer@mbU = {};
};
`Sanitizer$I 環境設定~obj 【この文脈においては、`各種~method＠#sanitizer-api$がとる %options 引数】 は、 ~filter環境設定を~capsule化する。 同じ環境設定を［ `安全$な~method／ `安全$でない~method【名前に `Unsafe^en を伴う~method】 ］どちらにも利用できる。 `安全$な~methodは、 渡された環境設定 — 渡されなかったときは，既定の環境設定 — に対し，暗黙的に`安全でないものを除去するようにする$ 【！ `removeUnsafe()$m 演算を遂行する】。 環境設定~objの意図は、 ~pageの存続期間における早期に少数の環境設定を築いておいて， 必要に応じて利用できるようにすることである。 これは、 それらの環境設定を予め処理することを実装に許容する。 ◎ The Sanitizer configuration object encapsulates a filter configuration. The same configuration can be used with both "safe" or "unsafe" methods, where the "safe" methods perform an implicit removeUnsafe operation on the passed in configuration and have a default configuration when none is passed. The intent is that one (or a few) configurations will be built-up early on in a page’s lifetime, and can then be used whenever needed. This allows implementations to pre-process configurations.
環境設定~obj 【この文脈においては、 `Sanitizer$I ~objの`環境設定$】は、 それを与える辞書を返すよう~queryできる。 それはまた、 直に改変できる。 ◎ The configuration object can be queried to return a configuration dictionary. It can also be modified directly.
[`Exposed$=(Window,Worker)]
interface `Sanitizer@I {
`constructor＠#dom-sanitizer-sanitizer$(optional (`SanitizerConfig$I or `SanitizerPresets$I) %configuration = "default");
/*
環境設定を~queryする
◎
Query configuration:
*/
`SanitizerConfig$I `get$m();
/*
この無毒化器の`環境設定$を成す各種［
~list／~field
］（たち）を改変する：
◎
Modify a Sanitizer’s lists and fields:
*/
`undefined$ `allowElement$m(`SanitizerElementWithAttributes$I %element);
`undefined$ `removeElement$m(`SanitizerElement$I %element);
`undefined$ `replaceElementWithChildren$m(`SanitizerElement$I %element);
`undefined$ `allowAttribute$m(`SanitizerAttribute$I %attribute);
`undefined$ `removeAttribute$m(`SanitizerAttribute$I %attribute);
`undefined$ `setComments$m(`boolean$ %allow);
`undefined$ `setDataAttributes$m(`boolean$ %allow);
/*
~scriptを実行する~markupを除去するようにする
— これは、
この無毒化器の`環境設定$を成す複数の~listを改変し得る：
◎
Remove markup that executes script. May modify multiple lists:
*/
`undefined$ `removeUnsafe$m();
};
各 `Sanitizer$I ~objには、 その `環境設定@ と称される，ある `SanitizerConfig$I が結付けられる。 ◎ A Sanitizer has an associated configuration, a SanitizerConfig.
`new Sanitizer(configuration)@m 構築子~手続きは： ◎ The constructor(configuration) method steps are:
-
~IF［ %configuration は`文字列$である ］： ◎ If configuration is a SanitizerPresets string, then:
- ~Assert： %configuration ~EQ `default$l ◎ Assert: configuration is default.
- %configuration ~SET `組込みの安全な既定の環境設定$ ◎ Set configuration to the built-in safe default configuration.
- %妥当か ~LET `環境設定を設定する$( コレ, %configuration ) ◎ Let valid be the return value of setting configuration on this.
- ~IF［ %妥当か ~EQ ~F ］ ⇒ ~THROW `TypeError$E ◎ If valid is false, then throw a TypeError.
`get()@m ~method手続きは ⇒ ~RET コレの`環境設定$ ◎ The get() method steps are to return the value of this's configuration.
2.3. 環境設定~辞書
dictionary `SanitizerElementNamespace@I {
required `DOMString$ `name@mbE;
`DOMString$? _`namespace@mbE = "http://www.w3.org/1999/xhtml";
};
/*
"`elements$mb" により利用される
◎
Used by "elements"
*/
dictionary `SanitizerElementNamespaceWithAttributes@I : `SanitizerElementNamespace$I {
`sequence$<`SanitizerAttribute$I> `attributes@mbE;
`sequence$<`SanitizerAttribute$I> `removeAttributes@mbE;
};
typedef (`DOMString$ or `SanitizerElementNamespace$I) `SanitizerElement@I;
typedef (`DOMString$ or `SanitizerElementNamespaceWithAttributes$I) `SanitizerElementWithAttributes@I;
dictionary `SanitizerAttributeNamespace@I {
required `DOMString$ `name@mbA;
`DOMString$? _`namespace@mbA = null;
};
typedef (`DOMString$ or `SanitizerAttributeNamespace$I) `SanitizerAttribute@I;
dictionary `SanitizerConfig@I {
`sequence$<`SanitizerElementWithAttributes$I> `elements@mb;
`sequence$<`SanitizerElement$I> `removeElements@mb;
`sequence$<`SanitizerElement$I> `replaceWithChildrenElements@mb;
`sequence$<`SanitizerAttribute$I> `attributes@mb;
`sequence$<`SanitizerAttribute$I> `removeAttributes@mb;
`boolean$ `comments@mb;
`boolean$ `dataAttributes@mb;
};
3. ~algo
`~HTMLを設定して~filterする@ ~algoは、 所与の ⇒＃ ［ `Element$I ／ `DocumentFragment$I ］ %~target, `Element$I %文脈~要素, `文字列$ %html, `辞書$ %~option群, `真偽値$ %安全か ◎終 に対し： ◎ To set and filter HTML, given an Element or DocumentFragment target, an Element contextElement, a string html, and a dictionary options, and a boolean safe:
- ~IF［ %安全か ~EQ ~T ］~AND［ %文脈~要素 の`局所-名$ ~EQ `script^l ］~AND［ %文脈~要素 の`名前空間$ ~IN { `~HTML名前空間$, `~SVG名前空間$ } ］ ⇒ ~RET ◎ If safe and contextElement’s local name is "script" and contextElement’s namespace is the HTML namespace or the SVG namespace, then return.
- %無毒化器 ~LET `~option群から無毒化器を取得する$( %~option群 ) ◎ Let sanitizer be the result of calling get a sanitizer instance from options with options.
-
%新たな子~群 ~LET `素片を構文解析する$( %文脈~要素, %html, ~T )
【 3 個目の引数 ~T は余計 — `~HTML素片の構文解析~algo＠~HTMLparsing#html-fragment-parsing-algorithm$であったなら合致するが。 】
◎ Let newChildren be the result of the HTML fragment parsing algorithm steps given contextElement, html, and true. - %素片 ~LET 新たな `DocumentFragment$I — その ⇒＃ `~node文書$ ~SET %文脈~要素 の`~node文書$ ◎ Let fragment be a new DocumentFragment whose node document is contextElement’s node document.
- %新たな子~群 を成す ~EACH( %~node ) に対し ⇒ %素片 【の`子~群$】に %~node を`付加する$ ◎ For each node in newChildren, append node to fragment.
- `~nodeを無毒化する$( %素片, %無毒化器, %安全か ) ◎ Run sanitize on fragment using sanitizer and safe.
- %~target の`全~内容を~nodeで置換する$( %素片 ) ◎ Replace all with fragment within target.
`~option群から無毒化器を取得する@ ~algoは、 所与の ( %~option群 ) に対し： ◎ To get a sanitizer instance from options from a dictionary options, do:
-
~Assert： %~option群 は次に挙げるいずれかである ⇒＃ `SetHTMLOptions$I ／ `SetHTMLUnsafeOptions$I
注記： これらは、 既定【各自の `sanitizer^mb ~memberの既定~値】においてのみ相違する。
◎ Note: This algorithm works for both SetHTMLOptions and SetHTMLUnsafeOptions. They only differ in the defaults. - %無毒化器~指定 ~LET %~option群[ "`sanitizer^mb" ] ◎ Let sanitizerSpec be "default".（不要） ◎ If options["sanitizer"] exists, then:（不要） • Set sanitizerSpec to options["sanitizer"]
- ~IF［ %無毒化器~指定 は `Sanitizer$I を`実装-$する ］ ⇒ ~RET %無毒化器~指定 ◎ ↓
- ~IF［ %無毒化器~指定 ~EQ `default$l ］ ⇒ %無毒化器~指定 ~SET `組込みの安全な既定の環境設定$ ◎ Assert: sanitizerSpec is either a Sanitizer instance, a string which is a SanitizerPresets member, or a dictionary. ◎ If sanitizerSpec is a string: • Assert: sanitizerSpec is "default" • Set sanitizerSpec to the built-in safe default configuration.
- ~Assert： %無毒化器~指定 は`辞書$である。 ◎ Assert: sanitizerSpec is either a Sanitizer instance, or a dictionary. ◎ If sanitizerSpec is a dictionary:
- %無毒化器 ~LET `新たな~obj$( `Sanitizer$I ) ◎ • Let sanitizer be a new Sanitizer instance.
- %妥当か ~LET `環境設定を設定する$( %無毒化器, %無毒化器~指定 ) ◎ • Let setConfigurationResult be the result of set a configuration with sanitizerSpec on sanitizer.
- ~IF［ %妥当か ~EQ ~F ］ ⇒ ~THROW `TypeError$E ◎ • If setConfigurationResult is false, throw a TypeError.
- ~RET %無毒化器 ◎ • Set sanitizerSpec to sanitizer. ◎ Assert: sanitizerSpec is a Sanitizer instance. ◎ Return sanitizerSpec.
3.1. 無毒化~algo
`~nodeを無毒化する@ ~algoは、 所与の ( `ParentNode$I %~node, `Sanitizer$I %無毒化器, `真偽値$ %安全か ) に対し：
- %環境設定 ~LET %無毒化器 の`環境設定$の複製
- `環境設定の欠落~memberを初期化する$( %環境設定 )†
- ~IF［ %安全か ~EQ ~T ］ ⇒ `安全でないものを除去するようにする$( %環境設定 )
- `無毒化する中核~演算$( %~node, %環境設定, %安全か )
【† 欠落~memberを初期化する段は、 この訳による追加。 最後の段で呼出される`無毒化する中核~演算$は、 %環境設定 に欠落~memberがある場合をきちんと取扱っていないので。 それに伴い，常に複製するよう改めてもいる — %無毒化器 の`環境設定$を公開する `get()$m の挙動を改めないよう。 】
◎ For the main sanitize operation, using a ParentNode node, a Sanitizer sanitizer, and a boolean safe, run these steps: • Let configuration be the value of sanitizer’s configuration. • If safe is true, then set configuration to the result of calling remove unsafe on configuration. • Call sanitize core on node, configuration, and with handleJavascriptNavigationUrls set to safe.`無毒化する中核~演算@ は、 所与の ( `ParentNode$I %~node, `SanitizerConfig$I %環境設定, `真偽値$ %~JS~navi~URLを取扱うか ) に対し：
注記： これは、 %~node を根とする~DOM~tree内を %~node から反復して， 一部の特別な事例（例：`~template内容$）を取扱うために再帰し得る。
◎ The sanitize core operation, using a ParentNode node, a SanitizerConfig configuration, and a boolean handleJavascriptNavigationUrls, iterates over the DOM tree beginning with node, and may recurse to handle some special cases (e.g. template contents). It consistes of these steps:- %現在の~node ~LET %~node ◎ Let current be node.
-
%現在の~node の`子~群$を成す ~EACH( %子 ) に対し： ◎ For each child in current’s children:
-
~Assert： %子 は次に挙げるいずれかを`実装-$する ⇒ `Text$I ／ `Comment$I ／ `Element$I ◎ Assert: child implements Text, Comment, or Element.
注記： この~algoに渡される %~node は、 現時点では，~HTML構文解析器の出力に限られ、 この表明は，それに対しては満たされるべきである。 この~algoが将来に異なる文脈にて利用されるようになった場合、 この前提は，精査し直す必要がある。 ◎ Note: Currently, this algorithm is only called on output of the HTML parser for which this assertion should hold. If in the future this algorithm will be used in different contexts, this assumption needs to be re-examined.
- ~IF［ %子 は `Text$I を`実装-$する ］ ⇒ ~CONTINUE ◎ If child implements Text: • continue.
-
~IF［ %子 は `Comment$I を`実装-$する ］：
- ~IF［ %環境設定[ "`comments$mb" ] ~NEQ ~T ］ ⇒ `~nodeを除去する$( %子 )
- ~CONTINUE
- %要素~名 ~LET «[ "`name$mbE" → %子 の`局所-名$, "`namespace$mbE" → %子 の`名前空間$ ]» 【！新たな `SanitizerElementNamespace$I】 ◎ Let elementName be a SanitizerElementNamespace with child’s local name and namespace.
-
~IF［ ~OR↓ ］…
- %要素~名 ~IN`名前$sub %環境設定[ "`removeElements$mb" ]
- ［ %環境設定[ "`elements$mb" ] は`空$でない ］~AND［ %要素~名 ~NIN`名前$sub %環境設定[ "`elements$mb" ] ］
…ならば ⇒ `~nodeを除去する$( %子 )
◎ If configuration["removeElements"] contains elementName, or if configuration["elements"] is not empty and does not contain elementName: • remove child. -
~IF［ %要素~名 ~IN`名前$sub %環境設定[ "`replaceWithChildrenElements$mb" ] 【！exists and】 ］： ◎ If configuration["replaceWithChildrenElements"] exists and configuration["replaceWithChildrenElements"] contains elementName:
- `無毒化する中核~演算$( %子, %環境設定, %~JS~navi~URLを取扱うか ) ◎ Call sanitize core on child with configuration and handleJavascriptNavigationUrls.
-
%子 の`全~内容を~nodeで置換する$( %子 の`子~群$ )
【 引数の型が合致していない。 厳密には、 %子 の子~群を ある文書片で包装してから渡す必要があろう。 】
◎ Call replace all with child’s children within child.
- ~IF［ %要素~名 ~EQ`名前$sub «[ `name^l → `template^l, `namespace^l → `~HTML名前空間$ ]» ］ ⇒ `無毒化する中核~演算$( %子 の`~template内容$, %環境設定, %~JS~navi~URLを取扱うか ) ◎ If elementName equals «[ "name" → "template", "namespace" → HTML namespace ]» • Then call sanitize core on child’s template contents with configuration and handleJavascriptNavigationUrls.
- ~IF［ %子 は`~shadow~host$である ］ ⇒ `無毒化する中核~演算$( %子 の`~shadow根$el, %環境設定, %~JS~navi~URLを取扱うか ) ◎ If child is a shadow host: • Then call sanitize core on child’s shadow root with configuration and handleJavascriptNavigationUrls.
-
%子 の`属性~list$を成す ~EACH( %属性 ) に対し： ◎ For each attribute in child’s attribute list:
- %属性~名 ~LET «[ "`name$mbA" → %属性 の`局所-名$attr, "`namespace$mbA" → %属性 の`名前空間$attr ]» 【！新たな `SanitizerAttributeNamespace$I】 ◎ Let attrName be a SanitizerAttributeNamespace with attribute’s local name and namespace.
-
~IF［ ~OR↓ ］…
- %属性~名 ~IN`名前$sub %環境設定[ "`removeAttributes$mb" ] ◎ If configuration["removeAttributes"] contains attrName: • Remove attribute from child.
- %属性~名 ~IN`名前$sub %環境設定[ "`elements$mb" ][ "`removeAttributes$mbE" ] ◎ If configuration["elements"]["removeAttributes"] contains attrName: • Remove attribute from child.
-
~NOT ~OR↓ ◎ If all of the following are false, then remove attribute from child.
- %属性~名 ~IN`名前$sub %環境設定[ "`attributes$mb" ] 【！exists and】 ◎ configuration["attributes"] exists and contains attrName
- %属性~名 ~IN`名前$sub %環境設定[ "`elements$mb" ][ "`attributes$mbE" ] ◎ configuration["elements"]["attributes"] contains attrName
-
~AND↓：
- `data-^l は`局所-名$attrの`符号単位~接頭辞$である
- `名前空間$attr ~EQ ~NULL
- %環境設定[ "`dataAttributes$mb" ] ~EQ ~T
-
~AND↓：
- %~JS~navi~URLを取扱うか 【 ~EQ ~T】
-
`組込みの~navi用~URL属性~list$を成す ある %~item は ~AND↓ を満たす：
- %~item[ 0 ] ~EQ`名前$sub %要素~名
- %~item[ 1 ] ~EQ`名前$sub %属性~名
-
%属性 の~protocol ~EQ `javascript:^l
【 この条件は、 個々の属性の値を調べる必要があるので，ここでは施行し得ない。 `課題 #246＠https://github.com/WICG/sanitizer-api/issues/246$ 】
…ならば ⇒ %子 から %属性 を除去する
-
3.2. 環境設定の処理-法
`要素を許容するようにする@ ~algoは、 所与の ( `SanitizerConfig$I %環境設定, %要素 ) に対し： ◎ To allow an element element with a SanitizerConfig configuration, do:
- %要素 ~SET `属性~群を伴う無毒化器~要素を正準-化する$( %要素 ) ◎ Set element to the result of canonicalize a sanitizer element with attributes with element.
- `環境設定から除去する$( %環境設定, "`elements$mb", %要素 ) ◎ Remove element from configuration["elements"].
- `環境設定に追加する$( %環境設定, "`elements$mb", %要素 ) 【！%環境設定[ "`elements$mb" ] に %要素 を`付加する$】 ◎ Append element to configuration["elements"].
- `環境設定から除去する$( %環境設定, "`removeElements$mb", %要素 ) ◎ Remove element from configuration["removeElements"].
- `環境設定から除去する$( %環境設定, "`replaceWithChildrenElements$mb", %要素 ) ◎ Remove element from configuration["replaceWithChildrenElements"].
注記： `allowElement()$m 【などが呼出すこの~algo】の取扱いは、 他の~methodより少し複雑である — 許容される要素たちが成す~list【 `elements$mb 】 %~list は、 それを成す要素ごとに［ 許容される／除去される ］属性たちが成す~list 【 `attributes$mbE ／ `removeAttributes$mbE 】 — 要素ごとの~list — を伴い得るので。 ここでは、 %~list から［ `同等な名前$に基づいて %要素 に合致するもの ］を除去してから %要素 を追加し直す — それは、 要素ごとの~listが何であれ，それを設定し直す効果がある （併合するなど，何らかの方法で改変することなく）。 言い換えれば、 要素ごとの~listは，それ全体としてしか設定し得ない。 加えて、［ `removeElements$mb, `replaceWithChildrenElements$mb ］~listからも， %要素 に合致する要素を除去する。 ◎ NOTE: Handling of allowElement is a little more complicated than the other methods, because the element allow list can have per-element allow- and remove-attribute lists. We first remove the given element from the list before then adding it, which has the effect of re-setting (rather than merging or elsehow modifying) the per-element list to whatever is passed in. In other words, the per-element allow- and remove-lists can only be set as a whole. ◎ NOTE: Remove matches on name and namespace, so adding an element with attributes would still remove the matching element from the removeElements and replaceWithChildrenElements lists.
`要素を除去するようにする@ ~algoは、 所与の ( `SanitizerConfig$I %環境設定, %要素 ) に対し： ◎ To remove an element element from a SanitizerConfig configuration, do:
- %要素 ~SET `無毒化器~要素を正準-化する$( %要素 ) ◎ Set element to the result of canonicalize a sanitizer element with element.
- `環境設定に追加する$( %環境設定, "`removeElements$mb", %要素 ) ◎ Add element to configuration["removeElements"].
- `環境設定から除去する$( %環境設定, "`elements$mb", %要素 ) ◎ Remove element from configuration["elements"] list.
- `環境設定から除去する$( %環境設定, "`replaceWithChildrenElements$mb", %要素 ) ◎ Remove element from configuration["replaceWithChildrenElements"].
`要素をその子~群で置換するようにする@ ~algoは、 所与の ( `SanitizerConfig$I %環境設定, %要素 ) に対し： ◎ To replace an element with its children element from a SanitizerConfig configuration, do:
- %要素 ~SET `無毒化器~要素を正準-化する$( %要素 ) ◎ Set element to the result of canonicalize a sanitizer element with element.
- `環境設定に追加する$( %環境設定, "`replaceWithChildrenElements$mb", %要素 ) ◎ Add element to configuration["replaceWithChildrenElements"].
- `環境設定から除去する$( %環境設定, "`removeElements$mb", %要素 ) ◎ Remove element from configuration["removeElements"].
- `環境設定から除去する$( %環境設定, "`elements$mb", %要素 ) ◎ Remove element from configuration["elements"] list.
`属性を許容するようにする@ ~algoは、 所与の ( `SanitizerConfig$I %環境設定, %属性 ) に対し： ◎ To allow an attribute attribute on a SanitizerConfig configuration, do:
- %属性 ~SET `無毒化器~属性を正準-化する$( %属性 ) ◎ Set attribute to the result of canonicalize a sanitizer attribute with attribute.
- `環境設定に追加する$( %環境設定, "`attributes$mb", %属性 ) ◎ Add attribute to configuration["attributes"].
- `環境設定から除去する$( %環境設定, "`removeAttributes$mb", %属性 ) ◎ Remove attribute from configuration["removeAttributes"].
`属性を除去するようにする@ ~algoは、 所与の ( `SanitizerConfig$I %環境設定, %属性 ) に対し： ◎ To remove an attribute attribute from a SanitizerConfig configuration, do:
- %属性 ~SET `無毒化器~属性を正準-化する$( %属性 ) ◎ Set attribute to the result of canonicalize a sanitizer attribute with attribute.
- `環境設定に追加する$( %環境設定, "`removeAttributes$mb", %属性 ) ◎ Add attribute to configuration["removeAttributes"].
- `環境設定から除去する$( %環境設定, "`attributes$mb", %属性 ) ◎ Remove attribute from configuration["attributes"].
注記： 次の~algoは， “安全でない（ `unsafe^en ）…” と称されるが、 用語 “`安全$でない” は， 厳密に`この仕様におけるイミ＠#security-considerations$として — ［ 文書の中へ挿入されたとき~JSを実行することになる内容 ］を表すものとして — 利用される。 言い換えれば、 この【~algoを利用する `removeUnsafe()$m 】~methodは， ~XSS用の機会を除去する。 ◎ Note: While this algorithm is called remove unsafe, we use the term "unsafe" strictly in the sense of this spec, to denote content that will execute JavaScript when inserted into the document. In other words, this method will remove oportunities for XSS.
`安全でないものを除去するようにする@ ~algoは、 所与の ( `SanitizerConfig$I %環境設定 ) に対し： ◎ To remove unsafe from a configuration, do this:
- %最小限の環境設定 ~LET `組込みの安全な最小限の環境設定$ ◎ ↓
- ~Assert： ~AND↓ ⇒＃ %最小限の環境設定[ `removeElements$mb ] ~NEQ ε, %最小限の環境設定[ `removeAttributes$mb ] ~NEQ ε, 【…以下，不要なので省略する。】 ◎ Assert: The built-in safe baseline configuration has removeElements and removeAttributes keys set, but not elements, replaceWithChildrenElements, or attributes. ◎ ↑↑ Let result be a copy of configuration.
- %最小限の環境設定[ "`removeElements$mb" ] を成す ~EACH( %要素 ) に対し ⇒ `要素を除去するようにする$( %環境設定, %要素 ) ◎ For each element in built-in safe baseline configuration[removeElements]: • Call remove an element with element and result.
- %最小限の環境設定[ "`removeAttributes$mb" ] を成す ~EACH( %属性 ) に対し ⇒ `属性を除去するようにする$( %環境設定, %属性 ) ◎ For each attribute in built-in safe baseline configuration[removeAttributes]: • Call remove an attribute with attribute and result. ◎ ↑↑ Return result.
【 原文は %環境設定 を複製してから改変した結果を返しているが、 複製は，`~nodeを無毒化する$ときに限り必要yあるので、 そこへ移動することにする。 】
`環境設定を設定する@ ~algoは、 所与の ( `Sanitizer$I %無毒化器, `辞書$ %~source環境設定 ) に対し： ◎ To set a configuration, given a dictionary configuration and a Sanitizer sanitizer:
- %全部的な環境設定 ~LET %~source環境設定 の複製
- `環境設定の欠落~memberを初期化する$( %全部的な環境設定 )
-
%環境設定 ~LET %無毒化器 の`環境設定$
【 この段までは、 この訳による補完。 原文は、［ %~source環境設定 に欠落~memberがある場合をきちんと取扱っていない／ 以下で呼出される各~algoにおいて %環境設定 ではなく %無毒化器 を渡しているが、 引数の型が合致していない ］ので。 】
- %全部的な環境設定[ "`elements$mb" ] を成す ~EACH( %要素 ) に対し ⇒ `要素を許容するようにする$( %環境設定, %要素 ) ◎ For each element of configuration["elements"] do: • Call allow an element with element and sanitizer.
- %全部的な環境設定[ "`removeElements$mb" ] を成す ~EACH( %要素 ) に対し ⇒ `要素を除去するようにする$( %環境設定, %要素 ) ◎ For each element of configuration["removeElements"] do: • Call remove an element with element and sanitizer.
- %全部的な環境設定[ "`replaceWithChildrenElements$mb" ] を成す ~EACH( %要素 ) に対し ⇒ `要素をその子~群で置換するようにする$( %環境設定, %要素 ) ◎ For each element of configuration["replaceWithChildrenElements"] do: • Call replace an element with its children with element and sanitizer.
- %全部的な環境設定[ "`attributes$mb" ] を成す ~EACH( %属性 ) に対し ⇒ `属性を許容するようにする$( %環境設定, %属性 ) ◎ For each attribute of configuration["attributes"] do: • Call allow an attribute with attribute and sanitizer.
- %全部的な環境設定[ "`removeAttributes$mb" ] を成す ~EACH( %属性 ) に対し ⇒ `属性を除去するようにする$( %環境設定, %属性 ) ◎ For each attribute of configuration["removeAttributes"] do: • Call remove an attribute with attribute and sanitizer.
- `~commentを許容するか否か設定する$( %環境設定, %全部的な環境設定[ "`comments$mb" ] ) ◎ Call set comments with configuration["comments"] and sanitizer.
- `~data属性を許容するか否か設定する$( %環境設定, %全部的な環境設定[ "`dataAttributes$mb" ] ) ◎ Call set data attributes with configuration["dataAttributes"] and sanitizer.
-
« "`elements$mb", "`removeElements$mb", "`replaceWithChildrenElements$mb", "`attributes$mb", "`removeAttributes$mb" » を成す ~EACH( %~key ) に対し：
- %~size ~LET %全部的な環境設定[ %~key ] の`~size$
- ~IF［ %~size ~GT 0 ］~AND［ %環境設定[ %~key ] ~EQ ε ］ ⇒ ~RET ~F
- ~IF［ %~size ~NEQ %環境設定[ %~key ] の`~size$ ］ ⇒ ~RET ~F
-
~RET ~IS［ ~AND↓ ］：
-
~OR↓：
- ［ %~source環境設定[ "`elements$mb" ] ~NEQ ε ］~AND［ %~source環境設定[ "`removeElements$mb" ] ~EQ ε ］
- ［ %~source環境設定[ "`elements$mb" ] ~EQ ε ］~AND［ %~source環境設定[ "`removeElements$mb" ] ~NEQ ε ］
-
~OR↓：
- ［ %~source環境設定[ "`attributes$mb" ] ~NEQ ε ］~AND［ %~source環境設定[ "`removeAttributes$mb" ] ~EQ ε ］
- ［ %~source環境設定[ "`attributes$mb" ] ~EQ ε ］~AND［ %~source環境設定[ "`removeAttributes$mb" ] ~NEQ ε ］
-
注記： この仕様の以前の~versionでは、 環境設定を正準-化する方法を精巧に定義していた。 今や，それは、 実質的に~method定義の中へ移動された。 ◎ Note: Previous versions of this spec had elaborate definitions of how to canonicalize a config. This has now effectively been moved into the method definitions.
注記： この演算は、 `Sanitizer$I の各種~操作~methodの用語 【各種 “〜するようにする” ／ “するか否か設定する” ~algo】 で定義される。 それらの~methodは、 他の~listから合致している~entryたちを除去する。 ~size同等性は、 その後に検査される。 例えば，環境設定 `{ allow: ["div", "div"] }^c は、 その許容される要素たちが成す~list【 `elements$mb 】内に 1 個の要素を伴う `Sanitizer^I を作成してから， ~F を返して~call元に例外を投出させる†。 ◎ Note: This operation is defined in terms of the manipulation methods on the Sanitizer. Those methods remove matching entries from other lists. The size equality steps in the last step would then catch this. For example: { allow: ["div", "div"] } would create a Sanitizer with one element in the allow list. The final test would then return false, which would cause the caller to throw an exception.
【† 作成しないで ~F を返すだけでも足るように見えるが、 将来には例外を投出しない用法も見越されているのかもしれない。 】
この~algoは、［ 要素ごとの属性~list, 構文~error ］用の~error検査が依然として欠落である。 ◎ This is still missing error checks for the per-element attribute lists and syntax errors.
`環境設定の欠落~memberを初期化する@ ~algoは、 所与の ( `SanitizerConfig$I %環境設定 ) に対し：
- « "`elements$mb", "`removeElements$mb", "`replaceWithChildrenElements$mb", "`attributes$mb", "`removeAttributes$mb" » を成す ~EACH( %~key ) に対し ⇒ ~IF［ %環境設定[ %~key ] ~EQ ε ］ ⇒ %環境設定[ %~key ] ~SET 新たな`~list$
- %環境設定[ "`elements$mb" ] を成す ~EACH( %要素 ) に対し ⇒ « "`attributes$mbE", "`removeAttributes$mbE" » を成す ~EACH( %~key ) に対し ⇒ ~IF［ %要素[ %~key ] ~EQ ε ］ ⇒ %要素[ %~key ] ~SET 新たな`~list$
- « "`comments$mb", "`dataAttributes$mb" » を成す ~EACH( %~key ) に対し ⇒ %環境設定[ %~key ] ~SET ~IS［ %環境設定[ %~key ] ~EQ ~T ］
【 この~algoは、 %環境設定 に欠落~memberがある場合を取扱うための， この訳による追加。 】
`属性~群を伴う無毒化器~要素を正準-化する@ ~algoは、 所与の ( `SanitizerElementWithAttributes$I %要素 ) に対し： ◎ In order to canonicalize a sanitizer element with attributes a SanitizerElementWithAttributes element, do this:
- %結果 ~LET `無毒化器~要素を正準-化する$( %要素 ) ◎ Let result be the result of canonicalize a sanitizer element with element.
-
« "`attributes$mbE", "`removeAttributes$mbE" » を成す ~EACH( %~key ) に対し：
- %属性~群 ~LET %要素[ %~key ]
- ~IF［ %属性~群 ~EQ ε ］ ⇒ ~CONTINUE
-
%属性~群 を成す ~EACH( %属性 ) に対し：
- %属性 ~SET `無毒化器~属性を正準-化する$( %属性 )
- `環境設定に追加する$( %結果, %~key, %属性 )
- ~RET %結果 ◎ Return result.
`無毒化器~用の名前を正準-化する@ ~algoは、 所与の ( %名前, %既定の名前空間 ) に対し：
- ~Assert： %名前 は［ `文字列$ ／`辞書$ ］である。
- %名前空間 ~LET %既定の名前空間
-
~IF［ %名前 は`辞書$である ］：
- ~IF［ %名前[ `namespace^l ] ~NEQ ε ］ ⇒ %名前空間 ~SET %名前[ `namespace^l ]
- %名前 ~SET %名前[ `name^l ]
- ~Assert： %名前 ~NEQ ε
- ~RET «[ `name^l → %名前, `namespace^l → %名前空間 ]»
3.3. ~support用の~algo
この仕様において利用される`正準-化された＠#canonicalize-a-sanitizer-name$［ 要素~名（ `SanitizerElementNamespace$I ） ／ 属性~名（ `SanitizerAttributeNamespace$I ） ］たちが成す~list用には、 ~listを成す~memberであるか否かは［ `name^l, `namespace^l ］両~entryを照合すること（`同等な名前$か否か）に基づく。 ◎ For the canonicalized element and attribute name lists used in this spec, list membership is based on matching both "name" and "namespace" entries:
`正準-化された名前@ とは、 次を満たす`有順序~map$ %~map である ⇒ ［ %~map[ `name^l ] は文字列である ］~AND［ %~map[ `namespace^l ] は文字列である ］
【 この用語は、 明確化するための，この訳による追加。 】
所与の ( `正準-化された名前$ %A, `正準-化された名前$ %B ) が `同等な名前@ であるとは、 ~AND↓ が満たされることをいう：
- %A[ `name^l ] ~EQ %B[ `name^l ]【！`同等な集合$】
- %A[ `namespace^l ] ~EQ %B[ `namespace^l ]【！`同等な集合$】
この条件は、 “ %A ~EQ`名前$sub %B ” とも表記される。 ~EQ に代えて ~NEQ や ~IN と伴に利用された場合も、 それらの定義は，この同等性に基づくことになる。
【 この［ 用語／定義 ］は，原文では別の形で表現されているが、 この訳では，このように改める — そうした方が簡便に利用できるので。 】
◎ A Sanitizer name list contains an item if there exists an entry of list that is an ordered map, and where item["name"] equals entry["name"] and item["namespace"] equals entry["namespace"].`環境設定から除去する@ ~algoは、 所与の ( `有順序~map$ %~map, `文字列$ %~key, `正準-化された名前$ %名前 ) に対し：
- %~list ~LET %~map[ %~key ]
- ~IF［ %~list ~EQ ε ］ ⇒ ~RET
- ~Assert： %~list を成す各~itemは`正準-化された名前$である。
- %~list から次を満たす~itemを`除去する$ ⇒ 当の~item ~EQ`名前$sub %名前
- 【 一貫性を得るためには、 この段で，次を遂行する必要もあるかもしれない 】 ⇒ ~IF［ %~list は空である ］ ⇒ %~map[ %~key ] ~SET ε
`環境設定に追加する@ ~algoは、 所与の ( `有順序~map$ %~map, `文字列$ %~key, `正準-化された名前$ %名前 ) に対し：
- ~IF［ %~map[ %~key ] ~EQ ε ］ ⇒ %~map[ %~key ] ~SET 新たな`~list$
- %~list ~LET %~map[ %~key ]
- ~Assert： %~list を成す各~itemは`正準-化された名前$である。
- ~IF［ %名前 ~IN`名前$sub %~list ］ ⇒ ~RET
- %~list に %名前 を`付加する$
`有順序~集合$どうしの `同等性＠#set-equal@ は… ◎ Equality for ordered sets is equality of its members, but without regard to order: Ordered sets A and B are equal if both A is a superset of B and B is a superset of A.
【 この定義は利用されないので、 和訳は省略する。 原文にて，この用語を参照している箇所は、 実際には文字列どうしを比較しており，誤りであろう。 】
3.4. 既定
組込みの環境設定として、 次に挙げる 3 つがある ⇒＃ `組込みの安全な既定の環境設定$, `組込みの安全な最小限の環境設定$, `組込みの~navi用~URL属性~list$ ◎ There are three builtins: • The built-in safe default configuration, • the built-in safe baseline configuration, and • the built-in navigating URL attributes list.
`組込みの安全な既定の環境設定@ は、 次で与えられる： ◎ The built-in safe default configuration is as follows:
{
elements: [ ... ],
attributes: [ ... ],
}
【 “...” を成す部分は、 まだ指定されていない。 この仕様~以外の仕様 — `HTML$r など — にて指定されるかもしれない。 以下に現れる “...” も同様。 】
以下に現れる［ %HTMLNS は`~HTML名前空間$／ %SVGNS は`~SVG名前空間$ ］を表すとする。 ◎ ↓
`組込みの安全な最小限の環境設定@ は、 ~script内容だけを阻止することが意味され，次で与えられる： ◎ The built-in safe baseline configuration is meant to block only script-content, and nothing else. It is as follows:
{
removeElements: [
{ name: "script", namespace: %HTMLNS },
{ name: "script", namespace: %SVGNS }
],
removeAttributes: [....],
}
◎
{
removeElements: [
{ name: "script", namespace: "http://www.w3.org/1999/xhtml" },
{ name: "script", namespace: "http://www.w3.org/2000/svg" }
],
removeAttributes: [....],
}
`組込みの~navi用~URL属性~list@ は、 `javascript:＠~HTMLnav#the-javascript:-url-special-case$l ~naviが安全でないとされるものであり，次で与えられる ◎ The built-in navigating URL attributes list, for which "javascript:" navigations are "unsafe", are as follows:
[
[
{ name: "a", namespace: %HTMLNS },
{ name: "href", namespace: null }
],
[
{ name: "area", namespace: %HTMLNS },
{ name: "href", namespace: null }
],
[
{ name: "button", namespace: %HTMLNS },
{ name: "formaction", namespace: null }
],
[
{ name: "form", namespace: %HTMLNS },
{ name: "action", namespace: null }
],
[
{ name: "iframe", namespace: %HTMLNS },
{ name: "src", namespace: null }
],
[
{ name: "input", namespace: %HTMLNS },
{ name: "formaction", namespace: null }
],
]
◎
«[ [ { "name" → "a", "namespace" → HTML namespace }, { "name" → "href", "namespace" → null } ], [ { "name" → "area", "namespace" → HTML namespace }, { "name" → "href", "namespace" → null } ], [ { "name" → "button", "namespace" → HTML namespace }, { "name" → "formaction", "namespace" → null } ], [ { "name" → "form", "namespace" → HTML namespace }, { "name" → "action", "namespace" → null } ], [ { "name" → "iframe", "namespace" → HTML namespace }, { "name" → "src", "namespace" → null } ], [ { "name" → "input", "namespace" → HTML namespace }, { "name" → "formaction", "namespace" → null } ], ]»
4. ~securityの考慮点
`無毒化器~API^i に意図されるのは、 ~DOMに基づく~XSS（ `DOM-based Cross-Site Scripting^en ）を防止することである — 給された~HTML内容を辿って，環境設定に則って［ 要素／属性 ］を除去することにより。 この~APIの仕様は、［ ~script能力がある~markupを残すような `Sanitizer^I ~objの構築 【！この `Sanitizer^I は、現在の `Sanitizer$I とは別物かも？】 ］を~supportしてはナラナイ — そうすることは、 脅威~modelにおける~bugになろう。 ◎ The Sanitizer API is intended to prevent DOM-based Cross-Site Scripting by traversing a supplied HTML content and removing elements and attributes according to a configuration. The specified API must not support the construction of a Sanitizer object that leaves script-capable markup in and doing so would be a bug in the threat model.
とは言え、 `無毒化器~API^i の正しい用法では保護-可能でない，~securityの課題はある — 以下の下位節では、 そのような局面について~~述べる。 ◎ That being said, there are security issues which the correct usage of the Sanitizer API will not be able to protect against and the scenarios will be laid out in the following sections.
4.1. ~server側に反映され, 格納される~XSS
◎非規範的`無毒化器~API^i は、 もっぱら~DOM内で演算する — それは、 既存の `DocumentFragment$I を辿って~filterするための能力を追加する。 `無毒化器~API^i は、［ ~server側に反映され, 格納される~XSS ］には取組まない。 ◎ The Sanitizer API operates solely in the DOM and adds a capability to traverse and filter an existing DocumentFragment. The Sanitizer does not address server-side reflected or stored XSS.
4.2. ~DOM~clobbering
◎非規範的~DOM~clobbering【 “痛めつけ” 】は、 悪意的な~HTMLで~appを惑わす攻撃である — そこでは、［ 要素の［ `id^a や `name^a ］属性を命名することにより，［ ~DOM内の~HTML要素の `children^m の様な~prop ］が悪意的な内容により隠蔽される。 ◎ DOM clobbering describes an attack in which malicious HTML confuses an application by naming elements through id or name attributes such that properties like children of an HTML element in the DOM are overshadowed by the malicious content.
`無毒化器~API^i は、 既定の状態では，~DOM~clobbering攻撃を保護しないが、 `id^a 属性や `name^a 属性を除去するよう環境設定することはできる。 ◎ The Sanitizer API does not protect DOM clobbering attacks in its default state, but can be configured to remove id and name attributes.
4.3. ~script~gadgetを伴う~XSS
◎非規範的~script~gadgetは、 既存の［ 普及している~JS~libraryからの~app~code ］を利用して，攻撃者が自前の~codeを実行させる技法である。 これは、［ ある~frameworkに限り，構文解析され解釈される ］ような［ 見かけは潔白な~code／不活そうに見える~DOM~node ］を注入することにより行われることが多く、 その入力に基づいて~JSの実行を遂行する。 ◎ Script gadgets are a technique in which an attacker uses existing application code from popular JavaScript libraries to cause their own code to execute. This is often done by injecting innocent-looking code or seemingly inert DOM nodes that is only parsed and interpreted by a framework which then performs the execution of JavaScript based on that input.
`無毒化器~API^i は、 これらの攻撃を防止できないが，［ 次に挙げるものを許容するためには、 明示的に環境設定しなければナラナイ ］ことを~page作者に要求する： ◎ The Sanitizer API can not prevent these attacks, but requires page authors to explicitly allow unknown elements in general, and authors must additionally explicitly configure＼
- 未知な［ 属性／要素 ］ ◎ unknown attributes and elements＼
- ［ ~template化, ~framework ］に特有な~code用に広く利用されていることが既知な~markup — 次に挙げるものなど ⇒＃ `data-$a 属性, `slot$a 属性, `slot$e 要素, `template$e 要素 ◎ and markup that is known to be widely used for templating and framework-specific code, like data- and slot attributes and elements like <slot> and <template>.＼
これらの制約は、 網羅的でないと予見される。 ~page作者には、［ 自身が利用している第三者-主体~libraryを，この挙動に関して精査すること ］が奨励される。 ◎ We believe that these restrictions are not exhaustive and encourage page authors to examine their third party libraries for this behavior.
4.4. ~mXSS
◎非規範的~mXSS （ `mutated Cross-Site Scripting^en ／ `mutated XSS^en の略称）は、［ ~HTML~code片を不正な文脈の下で構文解析するとき，構文解析器【を遂行している】文脈が合致しないこと ］に基づく攻撃である。 特に，【ある親~要素の中で】~HTML素片を構文解析してから文字列に直列化した結果は、 異なる親~要素の中に挿入されるとき，~~元と正確に同じに［ 構文解析され, 解釈される ］ことは保証されない。 そのような攻撃を遂げる例には、［ 外来な内容や誤って入子にされた~tagに対し，構文解析の挙動が変化すること ］に依拠するものがある。 ◎ Mutated XSS or mXSS describes an attack based on parser context mismatches when parsing an HTML snippet without the correct context. In particular, when a parsed HTML fragment has been serialized to a string, the string is not guaranteed to be parsed and interpreted exactly the same when inserted into a different parent element. An example for carrying out such an attack is by relying on the change of parsing behavior for foreign content or mis-nested tags.
`無毒化器~API^i は、 文字列を~node~treeへ転化する機能しか提供しない。 すべての無毒化器~関数は、 文脈を暗黙的に給する： `Element$I の `setHTML()$mE は現在の要素を利用し， `Document$I の `parseHTML()$m は新たな文書を作成する。 したがって、 `無毒化器~API^i は，~mXSSにより直に影響されることは無い。 ◎ The Sanitizer API offers only functions that turn a string into a node tree. The context is supplied implicitly by all sanitizer functions: Element.setHTML() uses the current element; Document.parseHTML() creates a new document. Therefore Sanitizer API is not directly affected by mutated XSS.
開発者が無毒化された~node~treeを — 例えば `innerHTML$mE を介して — 文字列として検索取得してから，その結果を再び構文解析した場合、 ~mXSSが生じ得る — なので，この実施は忌避される。 それでも，~HTMLを文字列として［ 処理する／渡す ］ことが必要yな場合、 文字列を~DOMの中へ挿入するときには， 信用-済みでないのと見なすベキであり，（再び）無毒化するベキである。 言い換えれば、 無毒化されてから直列化された~HTML~treeは， もはや無毒化-済みとは見なせない。 ◎ If a developer were to retrieve a sanitized node tree as a string, e.g. via .innerHTML, and to then parse it again then mutated XSS may occur. We discourage this practice. If processing or passing of HTML as a string should be necessary after all, then any string should be considered untrusted and should be sanitized (again) when inserting it into the DOM. In other words, a sanitized and then serialized HTML tree can no longer be considered as sanitized.
~mXSSに対する，より完全な扱いは、 `MXSS$r にて見出せる。 ◎ A more complete treatment of mXSS can be found in [MXSS].
5. 謝辞
`Cure53^en の `DOMPURIFY$r による［ この文書が述べる~API ］用の明瞭な発想に。 `Internet Explorer^en の `window.toStaticHTML()＠https://msdn.microsoft.com/en-us/library/cc848922(v=vs.85).aspx$c にも。 ◎ Cure53’s [DOMPURIFY] is a clear inspiration for the API this document describes, as is Internet Explorer’s window.toStaticHTML().