Pixel バイナリ透明性の技術詳細ページ

Google Pixel のバイナリ透明性ログでは、透明性ログ技術が活用されています。

透明性ログの有用性は Certificate Transparency（証明書の透明性）: 証明書の公開を必須にするプロトコルを Certificate Transparency（証明書の透明性）ログで公開されました。このプロセスによって証明書の誤発行を抑制できるため、組織のセキュリティがあります。多くの Certificate Transparency（証明書の透明性）ログオペレーターは transparency.dev にある透明性ログがあります。

透明性ログはマークルツリーを使用して実装されます。このページは、マークルツリーとバイナリ透明性に関する知識が必要です詳しくは、検証可能なデータ構造を使用して、マークルツリーの概要とバイナリの概要のランディングページ説明します。

ログの実装

Google Pixel のバイナリ透明性ログは、タイルベースのマークルツリー。ルートが配信されます。 https://developers.google.com/android/binary_transparency/tile.注: これは通常のウェブページではないことそのサブディレクトリに含まれるログエントリは、 Golang SumDB を使用してプログラマティックに読み取ることができます TLog ライブラリであり、できます。

詳しくは、ログの内容を参照してください。エントリの内容の説明です。

チェックポイントに含まれるログのマークルツリーのルートハッシュは、 https://developers.google.com/android/binary_transparency/checkpoint.txt. このモジュールのチェックポイント形式。このマークルツリーのリーフは https://developers.google.com/android/binary_transparency/image_info.txt で提供されます。チェックポイントの署名は、次の公開鍵で検証できます。

検証プロセスでチェックポイントとタイルを読み取るログエントリが含まれます

適格性の確認プロセス

透明性ログは、ハッシュで構成されたマークルツリーで実装されます。リーフノードにはデータが含まれ、親ノードはその子のハッシュを含みます。

マークルツリーに対して 2 つの計算を行い、改ざん検出可能包含証明と整合性証明という、透明性ログの特性です。「イメージのバージョンに対応するエントリがログに含まれていることを証明し、つまりこのログエントリには、 VBMeta ダイジェスト OS イメージを表すハッシュで、デバイスから返すことができます。「後者は、新しいエントリがツリーに追加されると、新しいチェックポイントが以前のバージョンと同じ結果になります。

Google Pixel の画像を確認するには、インクルージョン証明を行います。実施整合性証明の計算は任意です。これは、サードパーティが継続的にできます。

Google Pixel での検証のコンセプトについて理解を深めたい場合バイナリ透明性。以下の手順に沿って画像を使用できます確認しましょうGoogle Pixel のファームウェアを最新のソフトウェアバージョン検証プロセスについては、このモジュールの Pixel Binary Transparency Full Verification（Pixel バイナリ透明性の完全検証）。

前提条件

次の依存関係が使用可能であることを確認します。

Golang: 検証ツールは、Go 1.17 以降でビルドする必要があります。 Go のサイトをご覧ください。
Android Debug Bridge（adb）: Android デバイスと通信して検査するその画像を Android SDK Platform Tools のウェブサイト。
インクルージョン証明の検証: ログと連携して、Google Pixel がバイナリ透明性ログにあります。

# Source code for the inclusion proof verifier is found at avb/tools/transparency/verify
git clone https://android.googlesource.com/platform/external/avb

インクルージョンの証明

Pixel の所有者は、最初に次に、再計算されたルートハッシュと、そのルートハッシュを含まれるチェックポイントを公開します。一致している場合、Google Pixel の所有者は保護が保証される例で示されていますが、脅威モデル。

Pixel デバイスの画像が透明度ログに記録されていることを確認するには、次の操作を行います。 adb でデバイスに接続する次のコマンドを実行します。

FINGERPRINT=$(adb shell getprop ro.build.fingerprint)
VBMETA_DIGEST=$(adb shell getprop ro.boot.vbmeta.digest)
LOG_ENTRY="${FINGERPRINT}\n${VBMETA_DIGEST}\n"
PAYLOAD_PATH="/tmp/log_payload.txt"
echo -e $LOG_ENTRY >> $PAYLOAD_PATH

cd avb/tools/transparency/verify/
go build cmd/verifier/verifier.go
./verifier --payload_path=$PAYLOAD_PATH

1 つ目のスタンザは、メタデータを Pixel デバイスから /tmp/log_payload.txt に保存します。

2 つ目のスタンザは、 Android 確認付きブートリポジトリ。このツールは、候補のログエントリのハッシュを計算し、もう一方のチェックポイントを再計算するために必要なハッシュを生成し、チェックポイントの総計をカウントします。

コマンドの出力は stdout に書き込まれます。

イメージがログに含まれている場合は OK、
そうでない場合は FAILURE。

一貫性の証明（任意）

Google は Google Pixel ファクトリーイメージの新しいバージョンを定期的にリリースしているため、増え続けています目撃者が木の成長を確認します。以前のリーフと同じ方法で取得されます。監視者は生成され、新しいルートのハッシュをリクエストして次の候補ルートハッシュをリーフハッシュが生成されます。透明性ログを改ざんすると、そのログを整合性が継続的にチェックされます

透明性ログの追加専用の動作は、サードパーティによってアクティブにチェックされます。ほとんどのユーザーは自分で行う必要がありますが、誰でもログの整合性をモニタリングできます。Google はオープンソース監視を実装することもできます。 GitHub リポジトリ。必要なのは、使用構成（Pixel Binary Transparency（PixelBT）ログに固有のものです）