Trasparenza binaria

La trasparenza dei binari di Android consente agli utenti di guadagnare fiducia nei binari (ad es. app, sistema operativo, firmware) in esecuzione sui loro dispositivi. Ciò è possibile quando gli utenti possono risalire alla fonte originale (se disponibile) di un file binario specifico (incluso il firmware stesso) in esecuzione sui loro dispositivi e verificare che non sia stato modificato o manomesso, anche da avversari che potrebbero avere accesso alle chiavi di firma del file binario.

Panoramica

Le catene di fornitura del software sono sempre più vulnerabili agli attacchi, che vanno dalle chiavi di firma compromesse all'iniezione di codice subdola fino agli attacchi di tipo insider.

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

  • Solo accodamento: i contenuti del log non possono essere eliminati, modificati o inseriti in modo retroattivo in modo non rilevabile
  • Garantito tramite crittografia: garantisce la proprietà di sola aggiunta sfruttando la struttura di dati dell'albero Merkle
  • Verificabile pubblicamente: chiunque può eseguire query sui contenuti del log

La pubblicazione dei metadati del software come contenuti dei log può aumentare l'affidabilità dei file binari che consideriamo attendibili ed eseguiamo fornendo un record verificabile della loro provenienza.

Progetti

Finora abbiamo lanciato due log: