J’élabore: c’est une condition nécessaire, mais pas suffisante. Il faudrait coupler à cela différentes choses: - une revue de code indépendante (souvent long et couteux) - un système de build déterministe libre - un moyen de lire le logiciel installé dans les calculateurs et de le comparer avec ce qu’on a re-généré à partir des sources.