Trasparenza binaria

La trasparenza dei file binari Android consente agli utenti di considerare attendibili i file binari (ad es. app, sistema operativo, firmware) in esecuzione sui propri dispositivi e di avere maggiore fiducia in questi file. Ciò è possibile quando gli utenti possono risalire all'origine di un file binario specifico (incluso il firmware stesso) in esecuzione sui propri dispositivi (se disponibile) e verificare che non sia stato modificato o manomesso, nemmeno da avversari che potrebbero avere accesso alle chiavi di firma del file binario.

Panoramica

Le supply chain di software sono sempre più vulnerabili agli attacchi, che vanno dalle chiavi di firma compromesse all'inserimento di codice furtivo fino agli attacchi interni.

Per aumentare la fiducia nel software su cui facciamo affidamento, possiamo creare un log di trasparenza con le seguenti proprietà:

  • Solo aggiunta: i contenuti del log non possono essere eliminati, modificati o inseriti retroattivamente in modo non rilevabile
  • Crittograficamente garantito: garantisce la proprietà di sola aggiunta sfruttando la struttura dati dell'albero di Merkle
  • Audit pubblico: chiunque può eseguire query sui contenuti del log

La pubblicazione dei metadati del software come contenuti del log può aumentare la fiducia nei file binari che consideriamo attendibili ed eseguiamo, fornendo una registrazione verificabile della loro provenienza.

Progetti

Finora abbiamo lanciato due log: