ISO/IEC 42001:2023 — vue de l'état de préparation du système de management de l'IA
Cette page est générée à partir de la table d'exigences que le moteur AiSSAY livre pour ce référentiel. Quand le moteur produit un dossier de preuves, chaque ligne ci-dessous reçoit un statut calculé à partir des propres enregistrements de l'opérateur à ce moment-là. Cette page montre la table, pas les résultats de qui que ce soit.
Mise en correspondance à titre informatif, établie par les propres outils de l'opérateur. Ce n'est ni un avis juridique, ni une certification, ni un substitut au conseil d'un avocat. Elle organise les enregistrements de l'opérateur au regard des exigences citées ; la question de savoir si ces enregistrements satisfont aux exigences relève de l'appréciation de l'opérateur, de son conseil juridique et du contrôleur.
ISO 42001 certifie un système de management de l'IA. C'est sur les articles opérationnels qu'un stockage de preuves peut parler ; les articles de management sont organisationnels, et cela est indiqué ci-dessous.
La table d'exigences
9 lignes : 5 mécanismes, 2 organisationnelles, 1 lacune nommée, 1 calculée
| Exigence | Mécanisme, obligation ou lacune | Type |
|---|---|---|
| Art. 4–5 — contexte de l'organisme, leadership, politique en matière d'IA | organisationnel | organisationnel |
| Art. 6 / A.5 — appréciation et traitement des risques liés à l'IA | constats par exécution, taxonomie de gravité, dérive par type de tâche, et taux d'échec mesurés par l'étude de complexité, comme données d'entrée sur les risques | mécanisme |
| A.6 — cycle de vie du système d'IA : enregistrements de vérification et de validation | chaque exécution est scellée avec le rapprochement, les contrôles adverses et la couverture du livrable ; enregistrements estampillés avec les versions du code et de l'instrument | mécanisme |
| A.7 — données des systèmes d'IA : enregistrements de provenance et de qualité | enregistrements fondés sur la trace ; entrées non vérifiées et hypothèses énumérées pour chaque exécution par le jeu de questions | mécanisme |
| A.8 — informations destinées aux parties intéressées : signalement des incidents | les lacunes de capture, les accusés de réception de bifurcation et les constats de gravité élevée sont scellés, signalés et exportables | mécanisme |
| A.9 — contrôle humain des systèmes d'IA | indicateurs « à revoir », contre-signatures nominatives avec des clés propres à chaque réviseur, retenues au point de contrôle exigeant des jetons humains | mécanisme |
| Art. 9–10 — évaluation des performances et amélioration | PARTIEL. Les rapports de dérive, la calibration et le banc d'étude sont des données de mesure, et ils sont réels ; l'audit interne, la revue de direction à intervalles planifiés et les actions correctives documentées sont des processus organisationnels qu'aucun logiciel ne remplace. | organisationnel |
| A.4.2 — ressources : contrôle d'accès aux données du système d'IA | DÉLÉGUÉ lorsque le stockage est scellé par votre gestionnaire de clés (le fournisseur kms) : toute personne que votre gestionnaire de clés refuse ne peut pas ouvrir le stockage du tout, et chaque ouverture apparaît dans le propre journal d'audit de votre gestionnaire de clés. Le stockage lui-même n'a ni authentification, ni rôles, ni permissions, et ne refuse aucune lecture : une fois une clé désencapsulée, le processus qui la détient peut lire chaque enregistrement. Avec tout autre fournisseur, NON IMPLÉMENTÉ — les permissions de fichiers du système d'exploitation sont le seul contrôle d'accès. Le statut est calculé à partir du fournisseur que déclare ce stockage, et non supposé. | calculé |
| A.10 — assurance par des tiers et assurance indépendante | NON IMPLÉMENTÉ. Aucun audit externe, aucun test d'intrusion et aucune revue indépendante de la conception cryptographique. Chaque assurance de ce dossier provient des propres outils de l'opérateur qui se décrivent eux-mêmes. | lacune nommée |
Comment un statut s'obtient
- Étayé
- une vérification déterministe a été exécutée sur vos enregistrements et les décomptes étayent la ligne. Un stockage ne contenant aucun enregistrement pertinent apparaît comme non étayé — une affirmation vraie, pas une validation. Vide ne compte jamais comme conforme.
- Délégué
- le mécanisme est appliqué par un système auquel vous faites déjà confiance — un stockage scellé par votre propre gestionnaire de clés lui délègue le contrôle d'accès, et le dossier indique que le journal qui fait foi est celui de votre gestionnaire de clés, pas le nôtre. Le dossier nomme le point de terminaison par lequel le gestionnaire de clés a été joint. Un point de terminaison AWS autre que celui qu'AWS utilise par défaut pour la région apparaît comme délégué à ce point de terminaison, avec une demande de confirmation qu'il s'agit bien de votre service de gestion des clés. Un seul backend — AWS KMS — a été exécuté sur le service AWS KMS réel ; aucun autre backend ne l'a été.
- Point d'intégration de test
- scellé par un backend de test interne au processus — un bouchon (stub), ou un substitut du client AWS — et le statut précise lequel. Aucun gestionnaire de clés n'applique le contrôle d'accès. Le point d'intégration est construit et testé, et le dossier refuse d'appeler cela une délégation.
- Partiellement étayé
- le mécanisme est construit et certaines de vos exécutions en portent la preuve, mais pas toutes — généralement parce qu'elles ont été scellées avant que le mécanisme n'existe. Le dossier indique combien d'exécutions se trouvent dans chaque groupe, et ne compte jamais celles qui manquent comme validées.
- Organisationnel
- l'exigence est une procédure que seules des personnes peuvent accomplir. Le dossier la désigne comme la vôtre au lieu de déguiser une politique en mécanisme.
- Lacune nommée
- le dossier ne peut pas l'étayer — soit le mécanisme n'est pas construit, soit aucun logiciel ne peut le fournir — et il précise lequel des deux. La lacune est imprimée, parce qu'un examinateur doit la lire ici plutôt que la découvrir.
Aucun statut n'est saisi à la main : chaque statut est recalculé à partir du stockage chaque fois qu'un dossier est produit, le texte des exigences et des mécanismes est rédigé et relu dans le cadre du moteur, et les preuves relatives aux dépendances proviennent de notre analyse de version. Un mécanisme en échec ne peut jamais être lu comme la preuve que le contrôle fonctionne.
Les lignes marquées « calculé » sont les lignes relatives au contrôle d'accès. Leur statut est calculé à partir du fournisseur que déclare votre stockage : une lacune, sauf si votre gestionnaire de clés scelle le stockage ; « point d'intégration de test » avec un backend bouchon ou de substitution ; « délégué » uniquement avec un backend réel. Aujourd'hui, elles ne peuvent jamais apparaître comme étayées, et les présenter comme un mécanisme construit les surestimerait.