Suponga que es un paranoico que tiene un sistema operativo de código abierto del 100% con controladores, etc., pero no tiene una alternativa a su BIOS de código cerrado. ¿Cómo puede estar seguro de que la BIOS no insertó código malicioso en, por ejemplo, algunos programas? No puedes confiar en un programa que calcula el hash de la memoria, ya que también puede haber sido manipulado.
He resaltado la parte clave de tu pregunta:
Suponga que es un paranoico que tiene un sistema operativo de código abierto del 100% con controladores etc., pero usted no tiene una alternativa a su BIOS de código cerrado . Cómo ¿Puede estar seguro de que el BIOS no insertó código malicioso en, por ejemplo, algunos? programas? No puedes confiar en un programa que calcula el hash del memoria, ya que puede haber sido manipulado también.
Si pudiera aplicar ingeniería inversa a su BIOS y demostrar sus capacidades, debería poder saber si podría inyectar código malicioso, etc. Esto requeriría mucho tiempo y habilidad, pero podría ser posible , eventualmente.
Mientras tanto, la respuesta es no: no puedes probar que el sistema operativo cargado por tu BIOS es el sistema operativo que querías.
Para trabajos relacionados, vea:
tpmtotp de Matthew Garrett
tpmtotp , especialmente Heads. Lea otras preguntas en las etiquetas operating-systems audit bios