TOUTLINK — Intégrité vérifiable

Mission

Nous concevons des systèmes qui produisent des preuves indépendamment vérifiables de l’intégrité des systèmes et des données.

Au repos, en transit et en cours d’exécution.

La Norme

Au repos

Données stockées

Les octets apportent eux-mêmes la preuve de leur intégrité. Chaque artefact intègre une preuve que toute partie indépendante peut vérifier — aucune confiance dans la couche de stockage n’est requise.

En transit

Données en transit

L’intégrité accompagne les données. Les données reçues sont identiques aux données envoyées, et la preuve de cette intégrité les accompagne.

En cours d’exécution

Systèmes en cours d’exécution

Les systèmes en cours d’exécution fournissent une preuve de leur état d’exécution. L’intégrité est vérifiée pendant le fonctionnement, et pas uniquement avant le déploiement.

Systèmes

Informatique · Embarqué · Industriel · Haute assurance

Fonctionnement

  1. Observer

    Capturer l’état actuel du système.

  2. Référence

    Établir l’état de référence fiable auquel le système est censé correspondre.

  3. Surveiller

    Surveiller le système afin de détecter les changements par rapport à l’état de référence fiable.

  4. Comparer

    Comparer l’état actuel à l’état de référence fiable.

  5. Vérifier

    Déterminer si l’état observé correspond à l’état de référence fiable.

  6. Preuve

    Produire une preuve du résultat de la vérification, vérifiable de manière indépendante.

Ingénierie en cours

  1. BCIE

    Baseline Configuration Integrity Engine

    Établir des références fiables, surveiller l’état du système, détecter les changements, vérifier l’intégrité et produire des preuves vérifiables de manière indépendante.

    En développement

    BCIE est actuellement en développement.