Trasparenza degli APK dei servizi di sistema di Google

Nell'ambito del continuo investimento di Google nella trasparenza dei suoi prodotti, stiamo aggiungendo trasparenza a due nuovi APK di servizi di sistema Google: Android System SafetyCore (com.google.android.safetycore) e Android System Key Verifier (com.google.android.contactkeys). Questi APK sono alla base della funzionalità di avvisi per contenuti sensibili e verifica delle chiavi crittografiche in Google Messaggi rispettivamente. Il log di trasparenza che abbiamo pubblicato per verificare le dichiarazioni che facciamo in merito a questi APK.

Alla luce dei progressi dell'AI, ora stiamo aggiungendo trasparenza anche ai seguenti APK:

  • Private Compute Services (com.google.android.as.oss)

Pacchetti coperti

Questa sezione descrive i pacchetti coperti dal log di trasparenza e le relative chiavi di firma della trasparenza del codice.

Android System SafetyCore

Android System SafetyCore (com.google.android.safetycore) è un componente di sistema Android che fornisce un'infrastruttura di protezione degli utenti sul dispositivo che tutela la privacy per le app.

Il codice di questo APK è attualmente firmato con la seguente chiave descritta da questo certificato:

-----BEGIN CERTIFICATE-----
MIIFyDCCA7CgAwIBAgIUf3otg1DSj4EfxlP2OjAapoQ/moEwDQYJKoZIhvcNAQELBQAwdDELMAkG
A1UEBhMCVVMxEzARBgNVBAgTCkNhbGlmb3JuaWExFjAUBgNVBAcTDU1vdW50YWluIFZpZXcxFDAS
BgNVBAoTC0dvb2dsZSBJbmMuMRAwDgYDVQQLEwdBbmRyb2lkMRAwDgYDVQQDEwdBbmRyb2lkMCAX
DTI0MDcxNzIwNDQzMFoYDzIwNTQwNzE3MjA0NDMwWjB0MQswCQYDVQQGEwJVUzETMBEGA1UECBMK
Q2FsaWZvcm5pYTEWMBQGA1UEBxMNTW91bnRhaW4gVmlldzEUMBIGA1UEChMLR29vZ2xlIEluYy4x
EDAOBgNVBAsTB0FuZHJvaWQxEDAOBgNVBAMTB0FuZHJvaWQwggIiMA0GCSqGSIb3DQEBAQUAA4IC
DwAwggIKAoICAQCw93tMu9bD3tAfP1XDj2Y/vvBqDTvi86HesUK8gq0M7kxttep0BP2AkZS5AdVa
DNW6kuMhUN1XOao/Ib/mpgdi3pK6w0WDIlpHsg3coRuCxeniROw3+XUSLNox1mqfLSgHNg9gNoxK
dUyGf8nEIYVgLBUH8OX2oKeirRT7DyR64uVJmts0B0RvNt5VfP5vf6KFpa0prqCNGqQLHLyev3g/
35RH1oAVVsjZnylDYAm9qdAVugL0sgExY01vRNluZZKJuItNpdt+AMOTgStZAEwkhAg7pMbNF27g
AJDCC+XDS16/x1Jnxc+Exlw66aHB++1+dFK/rYkbB+ql4dHjs/LTGqPIeUuE3Xd7UkguKZRRLNtI
Ls9DP1UYuQGZ1IQ9kQamkxScNFgNmymkgTXhBajDKSPy4jb2t5yLHTIJn0OvyMLg2J7/ImHHmc99
07OuXCfy55aW99lqaYsc+rLPOHFi6GjvTUkkyxXqJlhQYb9uQznxkqsfbnBefxCCO924uVIwWDlt
rA+mQ3Bw7TNgb3NmKUmUrmFaRBmrAxnag/jj0N4ff7vXVBR0WkXpb3qRPlSvsEXGYOWPJtc2+U2Q
IFcNyEeu6zWD5yYIcnoX1go2zEVt99b1AFsN0zRWo0mNyeLizDNiDkGT9AtB8rdajhchDqfmZGGX
XqhhJVT9IRMBFQIDAQABo1AwTjAMBgNVHRMEBTADAQH/MB0GA1UdDgQWBBQY4GYL4FxVcxk2Euj8
otSQHVYz7zAfBgNVHSMEGDAWgBQY4GYL4FxVcxk2Euj8otSQHVYz7zANBgkqhkiG9w0BAQsFAAOC
AgEAoDuItwszr0yIPcvn/l3s5xZs+3rXe52KcY+ZgMVyM4q5CTEHwX89+K+hMFMTqp8vkrLhjnhz
/SYEY0ZXMQsQ0GWrMHbfIbzUsLhIoMBYn1JA+AH+CCZIYo9GbxaCqu4KJPQNC7sqA3goWf6UqHya
rj8wzXT5+qmOVwBUHgQUap5406/DaPqU0g+w4+hiV/zI67ugWU1z+6WElYIsXjN59zA5rVIJTdnV
w04RNK5fldWUsbkPGQ7hwoyJG4wZewCZ0sU4NUqVecb8z52hdlGj15+rUhDJq0pbDRjFEnulfUFJ
gA5s6iosSYyXrGQgE6NOszxu7nMvSg7MPrS7GQUMnaadQAye/7ELBY4jxlHMOAuj9iwz2Asjuy0a
ye64nfcYBbFSIzV7xRgeUJy42jyRq9ZoILU9fW/I4rHNIcntgB2POpzFOZrKXLC/B8rHKZT9AZOd
iXEKqFRBnHEaGy+MARO7guCQLO8XIVQixDHWS6OJRIvw0LKaf4dSlCxcUEpYSSHJmt6JMOujapCa
JmKz7K+wZWSClJnrc0HhJnZFt6S3TakZx7ALVi0SqxBaxHYFieSn9rmXHOWrSxEz5cmASnsfqnc0
w//Yhjm+gGOmLs/5TzrCyYvYt8Ynsd1G1GHipwc8JXGxLqbOPrNcUpjM65m+sshERIua30du0GOm
4ZM=
-----END CERTIFICATE-----

Android System Key Verifier

L'APK Android System Key Verifier (com.google.android.contactkeys) è un servizio per la verifica dei contatti su Android. Consente a un utente di verificare le chiavi pubbliche di un contatto per confermare che sta comunicando con la persona a cui intende inviare un messaggio. Il servizio è un sistema unificato per la verifica delle chiavi pubbliche in diverse app, che utilizza la verifica tramite la scansione del codice QR o il confronto dei numeri.

Il codice di questo APK è attualmente firmato con la seguente chiave descritta da questo certificato:

-----BEGIN CERTIFICATE-----
MIIFyDCCA7CgAwIBAgIUQwApn2X0vcGMw/VyRoUQkFXuekYwDQYJKoZIhvcNAQELBQAwdDELMAkG
A1UEBhMCVVMxEzARBgNVBAgTCkNhbGlmb3JuaWExFjAUBgNVBAcTDU1vdW50YWluIFZpZXcxFDAS
BgNVBAoTC0dvb2dsZSBJbmMuMRAwDgYDVQQLEwdBbmRyb2lkMRAwDgYDVQQDEwdBbmRyb2lkMCAX
DTI0MDczMTE5MzY0MVoYDzIwNTQwNzMxMTkzNjQxWjB0MQswCQYDVQQGEwJVUzETMBEGA1UECBMK
Q2FsaWZvcm5pYTEWMBQGA1UEBxMNTW91bnRhaW4gVmlldzEUMBIGA1UEChMLR29vZ2xlIEluYy4x
EDAOBgNVBAsTB0FuZHJvaWQxEDAOBgNVBAMTB0FuZHJvaWQwggIiMA0GCSqGSIb3DQEBAQUAA4IC
DwAwggIKAoICAQDKZqLKu5eeBir6muCiQ5vGQxIDzZcQhLZLpbAkVBNKcrpjgMB6ef0JvrKBnmzN
tHzgExjv4jzyZ1UnU8kaTinVWZF5F9unwuH/957zpc9Ja/JDioGn0V0Q4fgCfIaCLxj4GxK9ywby
TMBWg4ZN0nzcNTCX7ygSzZa24qSq/zOJd2wcO6RxO6MOS2TJPBABA1Wi6l7R/ldXDvzy/3doy5VU
4SElcwWosLFr4jORKGK4R0en96722skXCfl3kNz0J/aIUohdd3cggRnUX7N7tz1nlJpKmDFKeuKn
4lTITUf0MKWzs6PKabyoHzJZYf3XNN88cDy41wR9lsA33DSutuS2tQ2wUlXHfzikZVoI/kCANLW1
2ew3Wo+1D/qYhWXDzO8eM/c4R17vpzSt3kl/2IkYVuHvp1S4luY0DT3S9rKYg630BO+ubEg5NaMt
hGpCAcfMu8WUbdpWxIvdHPM8mQZbzSB2r5eON7ufzq3pB9pwKvslpdNtINvrKtZCrMSqTTqVI2dL
8d8YWIFHYySgKZFKNNcG0Y/OapbAy8zoQZT8oz4P0lWCTVcCoh/54jCBdAKUO+LOm3ATMzw/v57o
g1Lr0wTM7YjFkToGI/dytMyEFkG3fGxYcgzkn3pu0EoQ4FsrnL3jHcIKPCX6wSykXzODVwPLoO3z
YQHn1i0dxzIkKwIDAQABo1AwTjAMBgNVHRMEBTADAQH/MB0GA1UdDgQWBBQU/Oocht8Ntbcrqvx5
xljCPmYp1DAfBgNVHSMEGDAWgBQU/Oocht8Ntbcrqvx5xljCPmYp1DANBgkqhkiG9w0BAQsFAAOC
AgEAaWxz1VV1hUE+A/rQZNfNe2IH1B9f+4QCSF/VRmEOfSUB346cZgtSMkGpirXOczu0FExUAWzc
9GDV+w59P0YZ37IgB9l8nFh6qW9oCTBp3IOitvfKrz4x6GDhx6iU4j7WU60ezQZKnnchh4fIvraA
vy3m6/PLr6cbIvlHsUqCtt0gbNyj+fAgxJtbDSkqMwxYBOaOhQYQepkQuYD+juO08knwzMy5yFPL
MWBuhdB9Mqvv3l1MNcOB1Y+8RJGTp66ft1pVE2zuBDgix8m/Hizuewlws5xzLap/Rcx2BCHIFBlW
k4VbSZ6ERtkb/uh/q30psrBxcROxDR1LbynvPsayC+0pUjXCMVD7de3+HkeKiAT+OPQf8EAx2bMx
Nyz858lpVX9Eh92Q5jE/sxLvij3T6rBUBdatfpuE1dxGlpHNL7NVOEQpDOCZi9jSPstAoKYdtEzk
Im85maujM8udLoexXBTLgwYc/9Zz0nJXuVQJYyon70thXTrBc43gmi646rU4YFFhIei9N4dUQNgO
fxCGd8y8L8fTFAWQm9YQ7x7uxwjkalCh/ahRDtCdyk/ab8mHl/V1M5gkylUW6lt0Ba8Yw6j8PWqc
+io39beMlVWMfwj5mO2MTIKmUChUxULvQPcR46hve5mhSVZeBohPWnrc6B5XTf/4siWWRu0rYBD8
PLM=
-----END CERTIFICATE-----

Private Compute Services

L'APK Private Compute Services (com.google.android.as.oss) è un servizio di sistema che applica la protezione della privacy per i dati degli utenti utilizzati dalle funzionalità basate sull'AI su un dispositivo Android. Private Compute Services funge da gateway sicuro e controllabile per le applicazioni Private Compute Core (PCC) come Android System Intelligence (AiAi), che gestiscono dati sensibili sul dispositivo, per accedere alle risorse di rete. Fornendo API ben definite e incentrate sulla privacy per attività come i download HTTP e l'apprendimento federato e rendendo il suo codice disponibile pubblicamente, Astrea consente a utenti e ricercatori di verificare che i dati vengano gestiti in modo da tutelare la privacy.

Il codice di questo APK è attualmente firmato con la seguente chiave descritta da questo certificato:

-----BEGIN CERTIFICATE-----
MIIFyDCCA7CgAwIBAgIUPIfmnXD2AYeVSlyU47VpvrSddBYwDQYJKoZIhvcNAQELBQAwdDELMAkG
A1UEBhMCVVMxEzARBgNVBAgTCkNhbGlmb3JuaWExFjAUBgNVBAcTDU1vdW50YWluIFZpZXcxFDAS
BgNVBAoTC0dvb2dsZSBJbmMuMRAwDgYDVQQLEwdBbmRyb2lkMRAwDgYDVQQDEwdBbmRyb2lkMCAX
DTIwMTEwMjE2NDYxMFoYDzIwNTAxMTAyMTY0NjEwWjB0MQswCQYDVQQGEwJVUzETMBEGA1UECBMK
Q2FsaWZvcm5pYTEWMBQGA1UEBxMNTW91bnRhaW4gVmlldzEUMBIGA1UEChMLR29vZ2xlIEluYy4x
EDAOBgNVBAsTB0FuZHJvaWQxEDAOBgNVBAMTB0FuZHJvaWQwggIiMA0GCSqGSIb3DQEBAQUAA4IC
DwAwggIKAoICAQCo3fIiBMXusWZ08FYKRgvgwSELjnUaf/F7D5EwsDmVDRbetIb10S8o/Utk09Nu
5peG1ayrtVyYXV3vHEi6T/3VFniAnaRMOsBT0DsMilTzgTemZcelEMx6wr2TOH0jLtnrgNdcikfW
gmEv3ierkxVuT23fckwyjk5R9nNJkU7s3lLTVFnjRFt+Z5xFFYRrWVqLgS5RObvHMwbggmoTMUcv
cTFPEMKrZPmF8jJeg9JP4U28sL3Hk+eh3fwoVuahBfYnObHWR/bxqNvIsR1tH918cy7pNtfWfgdT
QQxOVz+xPYOv6AHh6CNwHWM2dhQH6EmIwyXdG3D/GKcde1OUrQp5C/F+ToD4rw+LMP0WCW//RIsR
mvCZKvPiii2lEJQh/+akwwUbovhXey6iGC9HYCQYxyYztu2LAkAEV2s5nLPgrV2s65AROy4qd3Bk
NxKgabqwls0Ho66Lb3OGbLNBcx7YOa/gA+AzwocftsJGPLcQCTf0R7eeDGbRnkJF8OihmU8kQ9L/
K/oLPhAyix197rzmsJyMn0M0e2l1ZhWFSrTVkW7mTbq2F8hHqBNkSQwRkHJqYp7Bpwgw9eo3HuJ/
cXZQMVFWZYPMIEJ4A4qhTAhR5MjhWm0NE/v+MjyDLqri9oNC4MlldbHp5qivufz61FNrSADSViub
DGjfrzxeqNOukwIDAQABo1AwTjAMBgNVHRMEBTADAQH/MB0GA1UdDgQWBBTNbZUz0f2Sk7M+FVHq
3n9q0zceWTAfBgNVHSMEGDAWgBTNbZUz0f2Sk7M+FVHq3n9q0zceWTANBgkqhkiG9w0BAQsFAAOC
AgEAgZg6oZVgXN1yU3Uc92NH/BnkSOkMwJzKFD9wyiHnjruGLl0pOa4C4cJDMvyfdg2BYDVmWLF+
Sx8z9KZH3ghfC5QVTaZARyS5k9rAOfpEndGXBHGZEcUYi1MHeRpsdeW2xxv6WtOgS53QaAd1PjF3
SFiKwspfVdjDIHiiAmCydCcKagqDvdvsQueAzHAZVOMTzKHfYaSLA5KkJF753SRuh4JnUAvbasYA
AdyDYe85ZS5/g6+3kF0bERA2226Rrm8r2QgLhn6lSq9G3Db69oqO2zIUdcBNsog9IBnTUrs9VRrY
9kz793vM9DM1RjEng454XXKg6MUB3xv2xchPBsLcZcn9pyoUhCiCObuawLB2IxnuHBfsAwqge5pX
EKND3jW3d3RBHYGu5EVBVk2nxc1EzJfO1uFk1AWaLMhWZMw49QIvp9PljJ57TB/6H1REtkxbhIDP
cf/JWMx6ugaPod75mJHiQLmBCJ1OcUMOKBsX5heB3GwVma28/wjraMb/30xsGKUHtNVm5r+TykKs
r56j6FXw3DTmcbNTKZ926Z6+GzkBhY87mY3PLzFBtkAV8kGcXUgBOrXPHiVsBPLq3N3rM2pjfsMu
d7chNImj0JZvQ0xRieCyp31fy9BaFxdXesTw7xg7lRjHQ9ZVRqnbAwVdAQGFbRp9ndOkTr7i+xzC
asY=
-----END CERTIFICATE-----

Modello di minaccia

I sistemi di trasparenza possono essere utilizzati per rilevare e quindi scoraggiare gli attacchi alla supply chain. Illustriamo il concetto con alcuni esempi.

Supponiamo che un malintenzionato modifichi in modo dannoso un APK dei servizi di sistema Google e riesca persino a firmarlo con la chiave di firma utilizzata da Google Play. Chiunque riceva l'APK dannoso può eseguire query sul log di trasparenza dei binari per verificare l'autenticità dell'APK. Scopriranno che Google non ha aggiunto i metadati APK corrispondenti al log e sapranno di non fidarsi dell'APK compromesso.

Poiché la pubblicazione nel log è un processo separato da quello di rilascio con la firma (come illustrato nel diagramma dell'ecosistema), ciò aumenta il livello di difficoltà per l'autore dell'attacco, che non si limita a compromettere la chiave.

Sebbene prevediamo di integrare questo log anche in una rete pubblica di testimoni utilizzando un protocollo di testimonianza standard, incoraggiamo parti esterne e indipendenti a monitorare l'integrità di questo log disponibile pubblicamente. Queste parti possono attestare la proprietà di sola aggiunta del log e segnalare qualsiasi manomissione.

L'esistenza di un sistema di trasparenza e la maggiore rilevabilità degli attacchi scoraggiano le attività dannose. Se un APK è compromesso, ma gli utenti si fidano solo di quelli presenti nel log, l'APK compromesso deve essere esposto pubblicamente. In questo modo è più probabile scoprire l'esistenza dell'APK compromesso e si possono intraprendere azioni per interromperne la distribuzione.

Modello di autore della rivendicazione

Il modello del richiedente è un framework utilizzato per definire ruoli e artefatti in un sistema verificabile. Nel caso di trasparenza degli APK dei servizi di sistema di Google, l'affermazione che facciamo è che l'hash dei binari firmati registrati in questo log rappresenta il codice ufficiale per i rispettivi APK dei servizi di sistema di Google.

  • RivendicazioneGoogleSystemServicesApk: (Io, Google, dichiaro che $codeSignature è per $googleSystemServicesApk), dove:
    • $codeSignature è un JSON Web Token (JWT) firmato che contiene un elenco di file DEX e librerie native e i relativi hash inclusi in una versione specifica di $googleSystemServicesApk.
    • $googleSystemServicesApk è un pacchetto Android (APK) del seguente insieme di pacchetti: {Android System SafetyCore (com.google.android.safetycore), Android System Key Verifier (com.google.android.contactkeys)}

Chiunque abbia una copia di $googleSystemServicesApk può verificare l'affermazione riportata sopra. Descriviamo questa procedura in dettaglio nella pagina di verifica.

Contenuti del log

Quando Google rilascia una nuova versione degli APK elencati sopra, aggiunge una voce corrispondente al log di trasparenza degli APK dei servizi di sistema di Google.

Ogni voce di questo log contiene quattro tipi di metadati dell'APK:

  1. L'hash della firma del codice di un APK sviluppato da Google. Si tratta di una stringa esadecimale del digest SHA256 di un token di trasparenza del codice (noto anche come JWT di trasparenza del codice).
  2. La descrizione del tipo di hash riportata sopra. Questa è una stringa.
  3. Il nome del pacchetto dell'APK. Questa è una stringa.
  4. Il numero di versione (versionCode) dell'APK. Si tratta di un numero intero.

Il formato di una voce di log è la concatenazione delle quattro informazioni con un carattere di nuova riga (\n), come illustrato di seguito:

hash\nSHA256(Signed Code Transparency JWT)\npackage_name\npackage_version\n

Tieni presente che in questa release stiamo sperimentando l'utilizzo della trasparenza del codice. Ciò significa che, anziché l'hash dell'APK, registriamo il digest del token di trasparenza del codice. Pertanto, la descrizione dell'hash è attualmente impostata su SHA256(Signed Code Transparency JWT).

Inoltre, questo dimostra un modo in cui la trasparenza del codice può essere utilizzata dagli sviluppatori di app quando le chiavi di firma dell'app sono gestite da Google Play.

Diagramma dell'ecosistema

Diagramma dell'ecosistema dei log verificabili