安全な文字列であると型で検証する Trusted Types について

Intro

脆弱性の原因となる DOM 操作の代表例として elem.innerHTML や location.href などが既に知られている。

こうした操作対象(sink) に対して、文字列ベースの代入処理を行う際に、一律して検証をかけることができれば、脆弱性の発見や防止に役立つだろう。

そこで処理前の文字列に対し、処理後の文字列を安全であるとして明示的に型付ける TrustedTypes という提案がされている。

まだ未解決の部分が多い提案だが、現時点での仕様と実装を元に、このアイデアについて解説する。

• WICG/trusted-types
• Intent to Experiment: Trusted Types

Sink

XSS などの原因となる DOM 操作として、 DOM に直接文字列を展開する処理がある。

• element.innerHTML
• location.href
• script.src
• script.textContent

こうした API は WebIDL でいう DOMString を許容しており、おおよそ任意の文字列を受け入れる。

そこで、開発者は意図しない文字列が代入されないように、エスケープなど事前処理を行う必要がある。

しかし、適切な前処理はあくまで開発者側が担保するものなので、往々にして抜けが出る。

Trusted Types は、文字列を「処理済み」と型付けし、ブラウザ自体にその型を認識させることで、処理の漏れを見つけ出すことが目的とされている。

CSP trusted-types

TrustedTypes は CSP により Opt-In で利用する。

Content-Security-Policy: trusted-types

これにより、現時点では以下のような処理がエラーとなる。

• element.innerHTML
• location.href
• script.src
• script.textContent

const $ = document.querySelector.bind(document);

// Uncaught TypeError: Failed to set the 'innerHTML' property on 'Element': This document requires `TrustedHTML` assignment.
$('div').innerHTML = '<img src=/ onerror="alert(10)">'

// Uncaught TypeError: Failed to set the 'href' property on 'Location': This document requires `TrustedURL` assignment.
location.href = 'https://fishing.example.com';

// Uncaught TypeError: Failed to set the 'src' property on 'HTMLScriptElement': This document requires `TrustedScriptURL` assignment.
const $script = document.createElement('script')
$script.src = 'https://attack.example.com/script.js'

// Uncaught TypeError: Failed to set the 'textContent' property on 'Node': This document requires `TrustedScript` assignment.
$('script').textContent = 'alert(0)'

エラーを見るとわかるように、それぞれの処理は単なる文字列、 WebIDL でいう DOMString ではなく、それぞれ以下の型を要求していることがわかる。

• TrustedHTML
• TrustedURL
• TrustedScriptURL
• TrustedScript

各処理は、対象の DOMString をこれらの型に変換してから行う必要がある。

逆に変更されてない DOMString は TypeError になるため、未処理の文字列が sink に流れるのを防ぐことができるのだ。

Trusted Types

DOMString を TrustedTypes に変換するには、まず TrustedTypePolicy を生成する必要がある。

これは、以下のように createPolicy() を用いて生成する。

const escapePolicy = TrustedTypes.createPolicy('application-policy', {
  createHTML:      (unsafe) => {/*..*/},
  createURL:       (unsafe) => {/*..*/},
  createScriptURL: (unsafe) => {/*..*/},
  createScript:    (unsafe) => {/*..*/},
})

例えば innerHTML できる TrustedHTML は、この Policy に定義した createHTML() を通して取得することができる。

const trustedHTML = escapePolicy.createHTML('<img src=/ onerror="alert(10)">')
$('div').innerHTML = trustedHTML

つまり、 innerHTML の前には HTML Special Chars のエスケープを必須としたいという場合は、 createPolicy() の引数に渡す関数にその処理を入れれば良い。

const escapePolicy = TrustedTypes.createPolicy('application-policy', {
  createHTML: (unsafe) => {
    return unsafe
      .replace(/&/g, "&")
      .replace(/</g, "&lt;")
      .replace(/>/g, "&gt;")
      .replace(/"/g, "&quot;")
      .replace(/'/g, "&#039;")
  }
})

const trustedHTML = escapePolicy.createHTML('<img src=/ onerror="alert(10)">')
$('div').innerHTML = trustedHTML // html special chars escaped

これで全ての innerHTML は確実にエスケープされていることを保証できる。

このように Trusted Types は、安全に処理されたことを型として定義し、それをブラウザが認識することで、安全で無い処理を防ぐことを目的としている。

Opt-In Policy

先のように createPolicy('application-policy') で定義した Policy を利用するためには、必ず CSP に「利用を許可する Policy の名前」の指定が必要だ。

これをしなければポリシーを利用した時点で CSP エラーとなる。

Content-Security-Policy: trusted-types application-policy

これは Policy から createHTML すれば型としては TrustedType であるため、なんらかの方法で Policy も仕込まれてしまうことを防ぐ目的もある。

const dummyPolicy = TrustedTypes.createPolicy('dummy', {
  createHTML: (unsafe) => unsafe
})

// CSP で dummy が定義されていなければ使えない
const trustedHTML = dummyPolicy.createHTML('<img src=/ onerror="alert(10)">')
document.querySelector('div').innerHTML = trustedHTML

ここで定義した Policy 名の dummy は、 CSP で指定されていないため使うことができない。

名前空間

Policy オブジェクトは戻り値でしか取得できないため、広く参照される場合は expose によって明示的に公開することができる。

TrustedTypes.createPolicy('escape', {
  createHTML: (unsafe) => {/*...*/}
}, true); // expose = true

expose された Policy は getExposedPolicy(name) で取得が可能だ。

const escapePolicy = TrustedTypes.getExposedPolicy('escape')
const escapedValue = escapePolicy.createHTML('<b>escape me</b>');

Global に Policy が定義されるため、名前が衝突する再定義はエラーになる。

基本は expose せずに閉じた範囲で利用し、ライブラリなどによって提供される Policy の場合は Prefix をつけるなどした方が良さそうだ。

Example

アプリケーション全体で共通するポリシー例を考察する。

• createHTML: HTML Special Chars をエスケープする
• createURL: 同じオリジンでない場合はエラーとする
• createScriptURL: セーフリストに無いオリジンはエラーとする
• createScript: 定義しないことで利用そのものをエラーとする

TrustedTypes.createPolicy('https://labs.jxck.io', {
  createHTML: (unsafe) => {
    console.log('createHTML')
    return unsafe
      .replace(/&/g, "&")
      .replace(/</g, "&lt;")
      .replace(/>/g, "&gt;")
      .replace(/"/g, "&quot;")
      .replace(/'/g, "&#039;");
  },
  createURL: (unsafe) => {
    console.log('createURL')
    const unsafeurl = new URL(unsafe)
    const currenturl = new URL(location.href)

    if (unsafeurl.origin !== currenturl.origin) {
      throw new Error('url of unexpected origin')
    }
    return unsafeurl
  },
  createScriptURL: (unsafe) => {
    console.log('createScriptURL')
    const unsafeurl = new URL(unsafe)
    const currenturl = new URL(location.href)

    const safelist = [
      currenturl.origin,
      'https://unpkg.com',
      'https://www.google-analytics.com',
    ]

    if (safelist.includes(unsafeurl.origin) === false) {
      throw new Error('url of unexpected origin')
    }

    return unsafe
  },
  /* not define createScript */
}, true);

考察

TrustedTypePolicy createPolicy(DOMString policyName, TrustedTypeInnerPolicy policy, optional boolean expose = false);

Outro

開発の場面でフレームワークを使うことが一般的となり、今回解説したような Sink を直接操作する機会はかなり減ってきた。

直接操作せず FW に任せることにより、安全性を担保し、特に innerHTML に起因する典型的な XSS については滅多に発生しない状況まできていると筆者は考える。

(それでも location.href などは FW のスコープ外にあり、穴が開きやすいところでもあるとは思う)

その点では、現状でこの API に注目できる程度に対策が行えているプロジェクトにおいて、導入するコストに対して堅牢性がどの程度向上するかは、なんとも言えなさそうだというのが最初の印象だ。

特にユーザが拡張等を利用できなくなることは、脆弱性以上のデメリットをもたらす可能性もあるだろう。

一方、エスケープの所在の標準化や、標準型の導入による静的解析の支援などは、標準化に至ればエコシステムの共通言語として使われる可能性は無くはなさそうだ。

それを踏まえて、現状の設計を見直す際に、参考にするのは現状の適切な距離の取り方かもしれない。

あとは、ビルド時の静的な型検査、ステージングなどでのランタイム検査の恩恵を受ければ、 CSP Report Only や off でデプロイでも一定の効果は予想され、当面はそこが現実的な気もする。

実際に TrustedTypes を使うかどうかを別としても、「型によるランタイム検証」の方針は W3C では新しい試みなので、この波が今後の API 設計にどう影響していくかは興味がある。

それらを踏まえ、検証とフィードバックが行っていければと考える。

DEMO

動作するデモを以下に用意した。

• https://labs.jxck.io/trusted-types/

動作は Chrome Canary 74.0.3684.0 で確認している。

本サイトへの適用

本サイトは JS による DOM 操作を行なっていない。

また、閲覧者の拡張による変更を許容したいため、適用はしない。

しかし、 Reporting が対応した後の Report の中身には興味がある。

これを収集するため、 Policy 無しの trusted-types を Report-Only のディレクティブに追加し、レポートを収集して観測を行う。

Links

• WICG/trusted-types: Polyfill implementation of Trusted Types - a proposal to get rid of DOM XSS vulnerabilities in the web platform.
• Intent to Experiment: Trusted Types
• Trusted Types issue #20 mozilla/standards-positions
• Trusted Types issue #198 w3ctag/design-reviews