{"id":1577,"date":"2026-05-28T10:23:52","date_gmt":"2026-05-28T10:23:52","guid":{"rendered":"https:\/\/cortexorigin.com\/?page_id=1577"},"modified":"2026-07-24T08:33:28","modified_gmt":"2026-07-24T08:33:28","slug":"attestation-et-orchestration-post-quantique","status":"publish","type":"page","link":"https:\/\/cortexorigin.com\/index.php\/attestation-et-orchestration-post-quantique\/","title":{"rendered":""},"content":{"rendered":"\n<meta charset=\"UTF-8\">\n<meta name=\"viewport\" content=\"width=device-width, initial-scale=1.0\">\n<title>Menu ORIGIN\u2122<\/title>\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=DM+Sans:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500&display=swap');\n \nbody { margin: 0; padding: 0; background: #F4F0EB; font-family: 'DM Sans', sans-serif; min-height: 600px; }\n \n\/* Wrapper full-width \u2014 isolation stricte (all:initial) + 100vw, identique \u00e0 .cidor-page\n   pour \u00e9chapper aux contraintes de largeur du th\u00e8me WordPress et garantir le bandeau jusqu'aux bords. *\/\n.menu-bar-wrapper {\n  all: initial;\n  display: block;\n  box-sizing: border-box;\n  width: 100vw;\n  position: relative;\n  left: calc(50% - 50vw);\n  background: #0C1829;\n  z-index: 9999;\n  font-family: 'DM Sans', sans-serif;\n}\n \n.menu-bar {\n  width: 100%;\n  background: #0C1829;\n  padding: 0 2rem;\n  display: flex;\n  align-items: center;\n  justify-content: space-between;\n  position: relative;\n  z-index: 100;\n  box-sizing: border-box;\n}\n.menu-logo {\n  font-family: 'DM Sans', sans-serif; font-weight: 700; font-size: 0.95rem;\n  color: #fff; padding: 1rem 0; letter-spacing: 0.03em; white-space: nowrap;\n}\n.menu-logo span { color: #C9A96E; }\n.menu-items { display: flex; align-items: center; gap: 0; }\n \n\/* \u2500\u2500 EAS \u00b7 EXPOSITION BUTTON (avec dropdown) \u2500\u2500 *\/\n.menu-eas-wrap {\n  position: relative;\n  display: flex;\n  align-items: center;\n  padding: 1rem 0;\n  margin-right: 0.5rem;\n}\n.menu-eas {\n  display: flex; align-items: center;\n  padding: 0.45rem 1rem;\n  background: rgba(201,169,110,0.12);\n  border: 1px solid rgba(201,169,110,0.35);\n  border-radius: 3px;\n  font-family: 'JetBrains Mono', monospace;\n  font-size: 0.65rem; font-weight: 500;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  color: #C9A96E;\n  text-decoration: none;\n  transition: all 0.25s;\n  white-space: nowrap;\n  gap: 0.5rem;\n}\n.menu-eas::before {\n  content: '\u25ce';\n  font-size: 0.75rem;\n  opacity: 0.7;\n}\n.menu-eas::after {\n  content: '\u25be';\n  margin-left: 0.4rem;\n  font-size: 0.6rem;\n  opacity: 0.55;\n}\n.menu-eas:hover {\n  background: rgba(201,169,110,0.25);\n  border-color: rgba(201,169,110,0.6);\n  color: #fff;\n}\n.menu-eas-wrap:hover .menu-dropdown-eas { display: block; }\n.menu-dropdown-eas {\n  display: none; position: absolute; top: 100%; left: 0;\n  background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n  border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n  min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n  box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n \n\/* \u2500\u2500 AETZU ARROW AI BUTTON \u2500\u2500 *\/\n.menu-aetzu {\n  display: flex; align-items: center;\n  padding: 0.45rem 1rem;\n  background: rgba(201,169,110,0.12);\n  border: 1px solid rgba(201,169,110,0.35);\n  border-radius: 3px;\n  font-family: 'JetBrains Mono', monospace;\n  font-size: 0.65rem; font-weight: 500;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  color: #C9A96E;\n  text-decoration: none;\n  transition: all 0.25s;\n  white-space: nowrap;\n  gap: 0.5rem;\n}\n.menu-aetzu::before {\n  content: '\u2b21';\n  font-size: 0.75rem;\n  opacity: 0.7;\n}\n.menu-aetzu::after {\n  content: '\u25be';\n  margin-left: 0.4rem;\n  font-size: 0.6rem;\n  opacity: 0.55;\n}\n.menu-aetzu-wrap {\n  position: relative;\n  display: flex;\n  align-items: center;\n  padding: 1rem 0;\n  margin-right: 0.5rem;\n}\n.menu-aetzu-wrap:hover .menu-dropdown-aetzu { display: block; }\n.menu-dropdown-aetzu {\n  display: none; position: absolute; top: 100%; left: 0;\n  background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n  border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n  min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n  box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-aetzu:hover {\n  background: rgba(201,169,110,0.25);\n  border-color: rgba(201,169,110,0.6);\n  color: #fff;\n}\n \n\/* \u2500\u2500 CORTEX WEB & API BUTTON \u2500\u2500 *\/\n.menu-webapi {\n  display: flex; align-items: center;\n  padding: 0.45rem 1rem;\n  background: rgba(201,169,110,0.12);\n  border: 1px solid rgba(201,169,110,0.35);\n  border-radius: 3px;\n  font-family: 'JetBrains Mono', monospace;\n  font-size: 0.65rem; font-weight: 500;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  color: #C9A96E;\n  text-decoration: none;\n  transition: all 0.25s;\n  white-space: nowrap;\n  gap: 0.5rem;\n}\n.menu-webapi::before {\n  content: '\u25a3';\n  font-size: 0.75rem;\n  opacity: 0.7;\n}\n.menu-webapi::after {\n  content: '\u25be';\n  margin-left: 0.4rem;\n  font-size: 0.6rem;\n  opacity: 0.55;\n}\n.menu-webapi-wrap {\n  position: relative;\n  display: flex;\n  align-items: center;\n  padding: 1rem 0;\n  margin-right: 0.5rem;\n}\n.menu-webapi-wrap:hover .menu-dropdown-webapi { display: block; }\n.menu-dropdown-webapi {\n  display: none; position: absolute; top: 100%; left: 0;\n  background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n  border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n  min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n  box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-webapi:hover {\n  background: rgba(201,169,110,0.25);\n  border-color: rgba(201,169,110,0.6);\n  color: #fff;\n}\n \n\/* \u2500\u2500 CORTEX APP\u00c2T & LEURRE BUTTON (avec dropdown \u2014 BAITS) \u2500\u2500 *\/\n.menu-appat-wrap {\n  position: relative;\n  display: flex;\n  align-items: center;\n  padding: 1rem 0;\n  margin-right: 0.5rem;\n}\n.menu-appat {\n  display: flex; align-items: center;\n  padding: 0.45rem 1rem;\n  background: rgba(201,169,110,0.12);\n  border: 1px solid rgba(201,169,110,0.35);\n  border-radius: 3px;\n  font-family: 'JetBrains Mono', monospace;\n  font-size: 0.65rem; font-weight: 500;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  color: #C9A96E;\n  text-decoration: none;\n  transition: all 0.25s;\n  white-space: nowrap;\n  gap: 0.5rem;\n}\n.menu-appat::before {\n  content: '\u2b22';\n  font-size: 0.7rem;\n  opacity: 0.7;\n}\n.menu-appat::after {\n  content: '\u25be';\n  margin-left: 0.4rem;\n  font-size: 0.6rem;\n  opacity: 0.55;\n}\n.menu-appat:hover {\n  background: rgba(201,169,110,0.25);\n  border-color: rgba(201,169,110,0.6);\n  color: #fff;\n}\n.menu-appat-wrap:hover .menu-dropdown-appat { display: block; }\n.menu-dropdown-appat {\n  display: none; position: absolute; top: 100%; left: 0;\n  background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n  border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n  min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n  box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n \n\/* \u2500\u2500 CORTEX NK BUTTON (avec dropdown) \u2500\u2500 *\/\n.menu-cortexnk-wrap {\n  position: relative;\n  display: flex;\n  align-items: center;\n  padding: 1rem 0;\n  margin-right: 0.5rem;\n}\n.menu-cortexnk {\n  display: flex; align-items: center;\n  padding: 0.45rem 1rem;\n  background: rgba(201,169,110,0.12);\n  border: 1px solid rgba(201,169,110,0.35);\n  border-radius: 3px;\n  font-family: 'JetBrains Mono', monospace;\n  font-size: 0.65rem; font-weight: 500;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  color: #C9A96E;\n  text-decoration: none;\n  transition: all 0.25s;\n  white-space: nowrap;\n  gap: 0.5rem;\n}\n.menu-cortexnk::before {\n  content: '\u25c6';\n  font-size: 0.7rem;\n  opacity: 0.7;\n}\n.menu-cortexnk::after {\n  content: '\u25be';\n  margin-left: 0.4rem;\n  font-size: 0.6rem;\n  opacity: 0.55;\n}\n.menu-cortexnk:hover {\n  background: rgba(201,169,110,0.25);\n  border-color: rgba(201,169,110,0.6);\n  color: #fff;\n}\n.menu-cortexnk-wrap:hover .menu-dropdown-cortexnk { display: block; }\n.menu-dropdown-cortexnk {\n  display: none; position: absolute; top: 100%; left: 0;\n  background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n  border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n  min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n  box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n \n\/* \u2500\u2500 BENCHMARK & V\u00c9RIFICATION BUTTON (m\u00e9ga-d\u00e9roulant fusionn\u00e9) \u2500\u2500 *\/\n.menu-benchmark-wrap {\n  position: relative;\n  display: flex;\n  align-items: center;\n  padding: 1rem 0;\n  margin-right: 0.5rem;\n}\n.menu-benchmark {\n  display: flex; align-items: center;\n  padding: 0.45rem 1rem;\n  background: rgba(74,144,217,0.10);\n  border: 1px solid rgba(74,144,217,0.30);\n  border-radius: 3px;\n  font-family: 'JetBrains Mono', monospace;\n  font-size: 0.65rem; font-weight: 500;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  color: rgba(184,212,240,0.85);\n  text-decoration: none;\n  transition: all 0.25s;\n  white-space: nowrap;\n  gap: 0.5rem;\n}\n.menu-benchmark::before {\n  content: '\u25c8';\n  font-size: 0.7rem;\n  opacity: 0.65;\n}\n.menu-benchmark::after {\n  content: '\u25be';\n  margin-left: 0.4rem;\n  font-size: 0.6rem;\n  opacity: 0.55;\n}\n.menu-benchmark:hover {\n  background: rgba(74,144,217,0.22);\n  border-color: rgba(74,144,217,0.55);\n  color: #fff;\n}\n.menu-benchmark-wrap:hover .mega-dropdown { display: block; }\n \n.menu-item {\n  position: relative; padding: 1rem 1rem;\n  font-size: 0.78rem; font-weight: 500; color: rgba(184,212,240,0.75);\n  cursor: pointer; letter-spacing: 0.02em; transition: color 0.2s;\n  white-space: nowrap;\n}\n.menu-item:hover { color: #fff; }\n.menu-item::after {\n  content: '\u25be'; margin-left: 0.3rem; font-size: 0.6rem; opacity: 0.5;\n}\n.menu-item.no-drop::after { content: ''; }\n.menu-cta {\n  font-family: 'JetBrains Mono', monospace; font-size: 0.65rem; font-weight: 500;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  padding: 0.5rem 1.2rem; border-radius: 2px;\n  background: rgba(201,169,110,0.15); color: #C9A96E; border: 1px solid rgba(201,169,110,0.3);\n  cursor: pointer; transition: all 0.3s; white-space: nowrap;\n}\n.menu-cta:hover { background: rgba(201,169,110,0.25); color: #fff; }\n \n.menu-dropdown {\n  display: none; position: absolute; top: 100%; left: 0;\n  background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n  border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n  min-width: 320px; padding: 0.8rem 0; z-index: 99999;\n  box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-item:hover .menu-dropdown { display: block; }\n.menu-dropdown a {\n  display: block; padding: 0.5rem 1.5rem; font-size: 0.8rem; color: rgba(184,212,240,0.6);\n  text-decoration: none; transition: all 0.2s; line-height: 1.5;\n}\n.menu-dropdown a:hover { color: #fff; background: rgba(74,144,217,0.08); }\n.menu-dropdown .drop-label {\n  font-family: 'JetBrains Mono', monospace; font-size: 0.58rem; font-weight: 600;\n  letter-spacing: 0.15em; color: #C9A96E; text-transform: uppercase;\n  padding: 0.6rem 1.5rem 0.3rem; display: block;\n}\n.menu-dropdown .drop-sep {\n  border: none; border-top: 1px solid rgba(74,144,217,0.08);\n  margin: 0.5rem 1.5rem;\n}\n \n.menu-dropdown a.drop-highlight {\n  display: flex; align-items: center; justify-content: space-between;\n  margin: 0.4rem 0.8rem 0.2rem;\n  padding: 0.55rem 1rem;\n  background: rgba(201,169,110,0.08);\n  border: 1px solid rgba(201,169,110,0.2);\n  border-radius: 3px;\n  color: #C9A96E;\n  font-weight: 600; font-size: 0.78rem;\n  transition: all 0.2s;\n}\n.menu-dropdown a.drop-highlight:hover {\n  background: rgba(201,169,110,0.18); color: #fff; border-color: rgba(201,169,110,0.45);\n}\n.drop-highlight-arrow { font-size: 0.65rem; opacity: 0.6; margin-left: 8px; }\n \n.menu-dropdown a.drop-sim {\n  display: flex; align-items: center; justify-content: space-between;\n  margin: 0.25rem 0.8rem;\n  padding: 0.5rem 1rem;\n  background: rgba(74,144,217,0.06);\n  border: 1px solid rgba(74,144,217,0.18);\n  border-radius: 3px;\n  color: rgba(184,212,240,0.85);\n  font-size: 0.78rem;\n  transition: all 0.2s;\n}\n.menu-dropdown a.drop-sim:hover {\n  background: rgba(74,144,217,0.14); color: #fff; border-color: rgba(74,144,217,0.4);\n}\n.drop-sim-icon { font-size: 0.7rem; opacity: 0.55; margin-left: 8px; }\n.mega-dropdown {\n  display: none; position: absolute; top: 100%; left: auto; right: 0;\n  background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n  border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n  width: 680px; padding: 1.5rem; z-index: 99999;\n  box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-item:hover .mega-dropdown { display: block; }\n.mega-cols { display: grid; grid-template-columns: 1fr 1fr; gap: 0 2rem; }\n.mega-col .drop-label { padding: 0 0 0.3rem; }\n.mega-col .drop-label {\n  font-family: 'JetBrains Mono', monospace; font-size: 0.58rem; font-weight: 600;\n  letter-spacing: 0.15em; color: #C9A96E; text-transform: uppercase;\n  display: block;\n}\n.mega-col a {\n  display: block; padding: 0.35rem 0; font-size: 0.78rem; color: rgba(184,212,240,0.6);\n  text-decoration: none; transition: color 0.2s;\n}\n.mega-col a:hover { color: #fff; }\n.mega-col .drop-sep {\n  border: none; border-top: 1px solid rgba(74,144,217,0.08);\n}\n.mega-col a.drop-highlight {\n  margin: 0.5rem 0 0.2rem; padding: 0.5rem 0.8rem;\n  background: rgba(201,169,110,0.08); border: 1px solid rgba(201,169,110,0.2);\n  border-radius: 3px; color: #C9A96E; font-weight: 600;\n  display: flex; align-items: center; justify-content: space-between;\n}\n.mega-col a.drop-highlight:hover {\n  background: rgba(201,169,110,0.18); color: #fff; border-color: rgba(201,169,110,0.45);\n}\n.mega-col a.drop-sim {\n  margin: 0.35rem 0; padding: 0.45rem 0.8rem;\n  background: rgba(74,144,217,0.06); border: 1px solid rgba(74,144,217,0.18);\n  border-radius: 3px; color: rgba(184,212,240,0.85);\n  display: flex; align-items: center; justify-content: space-between;\n  font-size: 0.78rem;\n}\n.mega-col a.drop-sim:hover {\n  background: rgba(74,144,217,0.14); color: #fff; border-color: rgba(74,144,217,0.4);\n}\n\/* \u2500\u2500 BOUTON INVESTISSEURS (CTA primaire, dor\u00e9 plein) \u2500\u2500 *\/\n.menu-investor {\n  font-family: 'JetBrains Mono', monospace; font-size: 0.65rem; font-weight: 600;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  padding: 0.5rem 1.2rem; border-radius: 2px;\n  background: #C9A96E; color: #0C1829; border: 1px solid #C9A96E;\n  cursor: pointer; transition: all 0.3s; white-space: nowrap; margin-right: 0.6rem;\n  text-decoration: none; display: inline-block;\n}\n.menu-investor:hover { background: #d9bd87; border-color: #d9bd87; }\n.preview-hint {\n  text-align: center; color: #6b7280; font-family: 'JetBrains Mono', monospace;\n  font-size: 0.7rem; padding: 3rem 1rem 1rem; letter-spacing: 0.05em;\n}\n.preview-hint strong { color: #C9A96E; }\n<\/style>\n \n \n \n<div class=\"menu-bar-wrapper\">\n<div class=\"menu-bar\">\n  <div class=\"menu-logo\"><span>ORIGIN\u2122<\/span><\/div>\n  <div class=\"menu-items\">\n \n    <!-- EAS \u00b7 EXPOSITION (entr\u00e9e de premier niveau) -->\n    <div class=\"menu-eas-wrap\">\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/\" class=\"menu-eas\">\n        EAS \u00b7 EXPOSITION\n      <\/a>\n      <div class=\"menu-dropdown menu-dropdown-eas\">\n        <span class=\"drop-label\">Plateforme CTEM<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/\" class=\"drop-highlight\">\n          EAS \u00b7 Exposition externe et interne\n          <span class=\"drop-highlight-arrow\">\u2197<\/span>\n        <\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Ce que la plateforme mesure<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#interne\" class=\"drop-sim\">\n          P\u00e9rim\u00e8tre interne \u00b7 annuaire LDAP \/ AD\n          <span class=\"drop-sim-icon\">\u2197<\/span>\n        <\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#gouvernance\" class=\"drop-sim\">\n          Gouvernance &amp; trace de d\u00e9cision\n          <span class=\"drop-sim-icon\">\u2197<\/span>\n        <\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#concurrence\" class=\"drop-sim\">\n          Paysage concurrentiel\n          <span class=\"drop-sim-icon\">\u2197<\/span>\n        <\/a>\n        <hr class=\"drop-sep\">\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#contact\" class=\"drop-highlight\">\n          Demander une cartographie\n          <span class=\"drop-highlight-arrow\">\u2197<\/span>\n        <\/a>\n      <\/div>\n    <\/div>\n \n    <!-- AETZU ARROW AI (avec dropdown) -->\n    <div class=\"menu-aetzu-wrap\">\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/aetzu-arrow-ai\/\" class=\"menu-aetzu\">\n        AETZU ARROW AI\u2122\n      <\/a>\n      <div class=\"menu-dropdown menu-dropdown-aetzu\">\n        <span class=\"drop-label\">AETZU ARROW AI<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/aetzu-arrow-ai\/\" class=\"drop-sim\">\n          AETZU ARROW AI\u2122 \u00b7 D\u00e9fense active\n          <span class=\"drop-sim-icon\">\u2197<\/span>\n        <\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/marche-et-positionnement-2\/\" class=\"drop-highlight\">\n          March\u00e9 et positionnement\n          <span class=\"drop-highlight-arrow\">\u2197<\/span>\n        <\/a>\n      <\/div>\n    <\/div>\n \n    <!-- WEB & API (avec dropdown) -->\n    <div class=\"menu-webapi-wrap\">\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-idor\/\" class=\"menu-webapi\">\n        WEB &amp; API\n      <\/a>\n      <div class=\"menu-dropdown menu-dropdown-webapi\">\n        <span class=\"drop-label\">Web &amp; API<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-idor\/\" class=\"drop-sim\">\n          IDOR \u00b7 Passerelle d&rsquo;autorisation\n          <span class=\"drop-sim-icon\">\u2197<\/span>\n        <\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/1689-2\/\" class=\"drop-highlight\">\n          March\u00e9 et positionnement\n          <span class=\"drop-highlight-arrow\">\u2197<\/span>\n        <\/a>\n      <\/div>\n    <\/div>\n \n    <!-- APP\u00c2T & LEURRE (avec dropdown \u2014 BAITS) -->\n    <div class=\"menu-appat-wrap\">\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/appat-leurre-lanterne\/\" class=\"menu-appat\">\n        APP\u00c2T &amp; LEURRE\n      <\/a>\n      <div class=\"menu-dropdown menu-dropdown-appat\">\n        <span class=\"drop-label\">Famille App\u00e2t &amp; Leurre<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/appat-leurre-lanterne\/\" class=\"drop-sim\">\n          App\u00e2t &amp; Leurre \u00b7 Vue d&rsquo;ensemble\n          <span class=\"drop-sim-icon\">\u2197<\/span>\n        <\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/baist\/\" class=\"drop-highlight\">\n          BAITS \u00b7 D\u00e9ception active\n          <span class=\"drop-highlight-arrow\">\u2197<\/span>\n        <\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/marche-positionnement\/\" class=\"drop-sim\">\n          March\u00e9 &amp; positionnement\n          <span class=\"drop-sim-icon\">\u2197<\/span>\n        <\/a>\n      <\/div>\n    <\/div>\n \n    <!-- NK (avec dropdown) -->\n    <div class=\"menu-cortexnk-wrap\">\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk\/\" class=\"menu-cortexnk\">\n        NOYAU NK\n      <\/a>\n      <div class=\"menu-dropdown menu-dropdown-cortexnk\">\n        <span class=\"drop-label\">Famille NK<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk\/\" class=\"drop-sim\">\n          NK \u00b7 Micronoyau souverain\n          <span class=\"drop-sim-icon\">\u2197<\/span>\n        <\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk-3d\/\" class=\"drop-highlight\">\n          NK 3D \u00b7 Cybers\u00e9curit\u00e9 active\n          <span class=\"drop-highlight-arrow\">\u2197<\/span>\n        <\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Secure Boot<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk-secure-boot\/\" class=\"drop-sim\">\n          Secure Boot S1-S10 \u00b7 Module natif\n          <span class=\"drop-sim-icon\">\u2197<\/span>\n        <\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/secure-boot-tf-a-post-quantique\/\" class=\"drop-highlight\">\n          Secure Boot TF-A \u00b7 Post-Quantique\n          <span class=\"drop-highlight-arrow\">\u2197<\/span>\n        <\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/marche-et-positionnement\/\" class=\"drop-sim\">\n          March\u00e9 &amp; positionnement\n          <span class=\"drop-sim-icon\">\u2197<\/span>\n        <\/a>\n      <\/div>\n    <\/div>\n \n    <!-- BENCHMARK & V\u00c9RIFICATION (m\u00e9ga-d\u00e9roulant fusionn\u00e9) -->\n    <div class=\"menu-benchmark-wrap\">\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/mttd-benchmark-v2-0-aetzu-arrow-ai\/\" class=\"menu-benchmark\">\n        Benchmark\n      <\/a>\n      <div class=\"mega-dropdown\">\n        <div class=\"mega-cols\">\n \n          <div class=\"mega-col\">\n            <span class=\"drop-label\">D\u00e9monstration<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/demonstration-cortex-nk-2\/\" class=\"drop-highlight\">\n              D\u00c9MONSTRATION NK\n              <span class=\"drop-highlight-arrow\">\u2197<\/span>\n            <\/a>\n            <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n            <span class=\"drop-label\">Capacit\u00e9s mesur\u00e9es<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cryptographie\/\">Cryptographie<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/secure-boot\/\">Secure Boot<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/auto-containment-2\/\">Auto-Containment<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/audit-log-immuable\/\">Audit Log Immuable<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/attestation-et-orchestration-post-quantique\/\">Mesh v1<\/a>\n            <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n            <span class=\"drop-label\">Tableaux de bord<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/mttd-benchmark-v2-0-aetzu-arrow-ai\/\" class=\"drop-highlight\">\n              MTTD Benchmark v2.0\n              <span class=\"drop-highlight-arrow\">\u2197<\/span>\n            <\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/1043-2\/\" class=\"drop-highlight\">\n              Evaluation Dashboard\n              <span class=\"drop-highlight-arrow\">\u2197<\/span>\n            <\/a>\n          <\/div>\n \n          <div class=\"mega-col\">\n            <span class=\"drop-label\">CFVL \u2014 Laboratoire formel<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL \u2014 Page principale<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\">Journal R&amp;D<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\">Publications &amp; \u00e9valuations<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/827-2\/\">M\u00e9thodologie<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/rapport-mttd-mttb\/\">Rapport MTTD \/ MTTB<\/a>\n            <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n            <span class=\"drop-label\">Simulations interactives<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/test\/\" class=\"drop-sim\">\n              Simulations Attaque\n              <span class=\"drop-sim-icon\">\u26a1<\/span>\n            <\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/simulation\/\" class=\"drop-sim\">\n              Sch\u00e9ma &amp; Simulations\n              <span class=\"drop-sim-icon\">\u25ce<\/span>\n            <\/a>\n            <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n            <span class=\"drop-label\">Recherche<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/604-2\/\">AGI Exp\u00e9rimental<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-2\/\">MVP<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/814-2\/\">IA expliqu\u00e9e simplement<\/a>\n          <\/div>\n \n        <\/div>\n      <\/div>\n    <\/div>\n \n    <!-- INVESTISSEURS -->\n    <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires-strategiques\/\" class=\"menu-investor\">Investisseurs<\/a>\n \n    <!-- CTA -->\n    <a href=\"mailto:press@cortexorigin.com\" style=\"text-decoration:none\">\n      <div class=\"menu-cta\">Contact<\/div>\n    <\/a>\n \n  <\/div>\n<\/div>\n<\/div>\n \n\n\n\n<!-- ================================================================\n     SECTION 10 \u2014 MODULE MESH v1 \u00b7 CORTEX NK\n     Bloc HTML autonome \u00b7 CSS embarqu\u00e9 \u00b7 \u00e0 coller dans WordPress\n     CFVL-EVAL-NK-MESH-001 v1.0 \u00b7 24 mai 2026 \u00b7 LARGEUR FORC\u00c9E 100vw\n     ================================================================ -->\n<div class=\"al10-wrap\">\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=IBM+Plex+Sans:ital,wght@0,300;0,400;0,500;0,600;1,300;1,400&family=IBM+Plex+Mono:wght@300;400;500&family=IBM+Plex+Serif:ital,wght@0,400;0,500;1,400&display=swap');\n.al10-wrap{all:initial;display:block;width:100vw;position:relative;left:calc(50% - 50vw);font-family:'IBM Plex Sans','Helvetica Neue',Arial,sans-serif;font-size:15px;line-height:1.6;color:#1A1A2E;background:#FAFAF8;box-sizing:border-box;}\n.al10-wrap *{box-sizing:border-box;}\n.al10-hdr{background:#00205B;padding:10px 5%;display:flex;align-items:center;gap:16px;}\n.al10-num{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:0.2em;color:rgba(255,255,255,0.35);flex-shrink:0;}\n.al10-label{font-family:'IBM Plex Mono',monospace;font-size:11px;letter-spacing:0.15em;text-transform:uppercase;color:rgba(255,255,255,0.85);font-weight:500;}\n.al10-line{flex:1;height:1px;background:rgba(255,255,255,0.1);}\n.al10-sec{padding:52px 5%;background:#FAFAF8;border-bottom:1px solid #D0CEC8;}\n.al10-title{font-family:'IBM Plex Serif',Georgia,serif;font-size:clamp(26px,3vw,38px);font-weight:500;color:#00205B;margin:0 0 8px 0;line-height:1.15;}\n.al10-title em{font-style:italic;color:#003F8A;}\n.al10-desc{font-family:'IBM Plex Sans',sans-serif;font-size:14px;font-weight:300;color:#5A5E70;max-width:700px;line-height:1.8;margin-bottom:36px;}\n.al10-badge{margin:16px 0 24px;background:linear-gradient(90deg,rgba(176,135,40,0.10) 0%,rgba(176,135,40,0.03) 100%);border-left:4px solid #B08728;padding:16px 22px;display:flex;align-items:center;gap:16px;flex-wrap:wrap;}\n.al10-badge-icon{font-size:24px;}\n.al10-badge-body{flex:1;min-width:260px;}\n.al10-badge-title{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:0.18em;text-transform:uppercase;color:#8A5A00;font-weight:600;margin-bottom:4px;}\n.al10-badge-text{color:#1A1A2E;font-size:13.5px;line-height:1.55;}\n.al10-cgrid{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:3px;margin-top:36px;}\n.al10-cc{background:#FFFFFF;border:1px solid #D0CEC8;border-top:3px solid #B8B4AC;padding:22px 20px;transition:.2s;}\n.al10-cc:hover{box-shadow:0 4px 16px rgba(0,63,138,.07);}\n.al10-cc.hc{border-top-color:#00205B;background:#E8EFF8;}\n.al10-cc-n{font-family:'IBM Plex Sans',sans-serif;font-size:14px;font-weight:600;color:#00205B;margin-bottom:2px;}\n.al10-cc-v{font-family:'IBM Plex Mono',monospace;font-size:9.5px;letter-spacing:.12em;color:#5A5E70;margin-bottom:16px;}\n.al10-cc-lat{font-family:'IBM Plex Mono',monospace;font-size:22px;font-weight:500;color:#1A1A2E;line-height:1;margin-bottom:3px;}\n.al10-cc.hc .al10-cc-lat{color:#0055B3;}\n.al10-cc-rat{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:.1em;color:#5A5E70;margin-bottom:10px;}\n.al10-cc.hc .al10-cc-rat{color:#0055B3;font-weight:500;}\n.al10-cc-eal{font-family:'IBM Plex Mono',monospace;font-size:9.5px;letter-spacing:.12em;color:#5A5E70;}\n.al10-kpi{margin-top:48px;background:linear-gradient(135deg,#00205B 0%,#003F8A 100%);padding:32px 36px;border-left:6px solid #B08728;display:flex;align-items:center;gap:32px;flex-wrap:wrap;}\n.al10-kpi-block{flex-shrink:0;}\n.al10-kpi-block.sep{border-left:1px solid rgba(255,255,255,0.2);padding-left:32px;}\n.al10-kpi-l{font-family:'IBM Plex Mono',monospace;font-size:11px;letter-spacing:0.22em;text-transform:uppercase;color:#B08728;margin-bottom:8px;}\n.al10-kpi-big{font-family:'IBM Plex Mono',monospace;font-size:56px;font-weight:500;color:#FFFFFF;line-height:1;}\n.al10-kpi-mid{font-family:'IBM Plex Mono',monospace;font-size:42px;font-weight:500;color:#FFFFFF;line-height:1;}\n.al10-kpi-u{font-size:24px;color:rgba(255,255,255,0.7);}\n.al10-kpi-um{font-size:20px;color:rgba(255,255,255,0.7);}\n.al10-kpi-s{font-family:'IBM Plex Mono',monospace;font-size:11px;color:rgba(255,255,255,0.5);margin-top:8px;}\n.al10-kpi-text{flex:1;min-width:280px;color:rgba(255,255,255,0.85);font-size:14px;line-height:1.7;}\n.al10-kpi-text strong{color:#FFFFFF;}\n.al10-h3{font-family:'IBM Plex Serif',Georgia,serif;font-size:24px;font-weight:500;color:#00205B;margin:56px 0 8px 0;line-height:1.15;}\n.al10-h3 em{font-style:italic;color:#003F8A;}\n.al10-tw{overflow-x:auto;border:1px solid #D0CEC8;margin-top:0;}\n.al10-bt{width:100%;border-collapse:collapse;font-family:'IBM Plex Mono',monospace;font-size:12.5px;background:#FFFFFF;}\n.al10-bt thead tr{background:#00205B;}\n.al10-bt thead th{padding:12px 16px;font-family:'IBM Plex Mono',monospace;font-size:9.5px;letter-spacing:0.2em;text-transform:uppercase;color:rgba(255,255,255,0.55);font-weight:400;text-align:left;}\n.al10-bt thead th.r{text-align:right;}\n.al10-bt thead th.c{text-align:center;}\n.al10-bt .grp td{padding:8px 16px;font-family:'IBM Plex Mono',monospace;font-size:9px;letter-spacing:0.24em;text-transform:uppercase;color:#0055B3;font-weight:500;background:#E8EFF8;border-top:1px solid #D0CEC8;border-bottom:1px solid #D0CEC8;}\n.al10-bt tbody tr{border-bottom:1px solid #ECEAE4;}\n.al10-bt tbody tr:hover{background:rgba(0,63,138,0.03);}\n.al10-bt tbody td{padding:9px 16px;color:#1A1A2E;}\n.al10-bt td.val{text-align:right;color:#0055B3;font-weight:500;}\n.al10-bt td.p99{text-align:right;color:#5A5E70;}\n.al10-bt td.lay{text-align:center;}\n.al10-bt .tcbr{background:#FDF0D5;}\n.al10-bt .tcbr td{font-weight:500;}\n.al10-bt .tcbr td.fn{color:#00205B;}\n.al10-bdg{display:inline-block;font-family:'IBM Plex Mono',monospace;font-size:9px;letter-spacing:0.14em;text-transform:uppercase;padding:2px 7px;border:1px solid;}\n.al10-bdg.tcb{color:#8A5A00;border-color:rgba(138,90,0,0.35);background:#FDF0D5;}\n.al10-bdg.nw{color:#1A6B3C;border-color:rgba(26,107,60,0.3);background:#E4F3EB;}\n.al10-bdg.crypto{color:#6B2D8C;border-color:rgba(107,45,140,0.3);background:#F0E4F5;}\n.al10-mgrid{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:3px;margin-top:36px;}\n.al10-mc{padding:26px 22px;background:#FFFFFF;border:1px solid #D0CEC8;border-top:3px solid #B8B4AC;}\n.al10-mi{font-family:'IBM Plex Mono',monospace;font-size:20px;color:#0055B3;margin-bottom:14px;}\n.al10-mt{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:.2em;text-transform:uppercase;color:#00205B;margin-bottom:8px;font-weight:500;}\n.al10-md{font-family:'IBM Plex Sans',sans-serif;font-size:13px;font-weight:300;color:#5A5E70;line-height:1.7;}\n.al10-mv{font-family:'IBM Plex Mono',monospace;font-size:10.5px;color:#0055B3;margin-top:12px;}\n.al10-term{margin-top:36px;background:#00205B;color:rgba(255,255,255,0.85);padding:24px 28px;font-family:'IBM Plex Mono',monospace;font-size:12px;line-height:1.9;overflow-x:auto;}\n.al10-term .tp{color:rgba(255,255,255,0.35);}\n.al10-term .tc{color:#FFFFFF;}\n.al10-term .to{color:rgba(255,255,255,0.4);}\n.al10-term .th{color:#FFD080;font-weight:500;}\n.al10-term .tok{color:#6DD98A;}\n.al10-term .tw2{color:#FFB347;}\n.al10-nota{margin-top:16px;padding:12px 16px;background:#F5EDD5;border-left:3px solid #B08728;font-family:'IBM Plex Sans',sans-serif;font-size:12.5px;font-weight:300;color:#8A5A00;line-height:1.65;}\n.al10-prob{margin:24px 0 8px;background:#FFFFFF;border:1px solid #D0CEC8;border-left:4px solid #00205B;padding:28px 32px;}\n.al10-prob-l{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:0.22em;text-transform:uppercase;color:#0055B3;font-weight:600;margin-bottom:12px;}\n.al10-prob-t{font-family:'IBM Plex Serif',Georgia,serif;font-size:22px;font-weight:500;color:#00205B;margin:0 0 14px 0;line-height:1.25;}\n.al10-prob-t em{font-style:italic;color:#003F8A;}\n.al10-prob-i{font-family:'IBM Plex Sans',sans-serif;font-size:14.5px;font-weight:300;color:#1A1A2E;line-height:1.75;margin-bottom:20px;}\n.al10-prob-i strong{font-weight:500;color:#00205B;}\n.al10-qgrid{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:14px;margin:18px 0 22px;}\n.al10-qc{background:#F5F5F0;border-left:3px solid #B08728;padding:14px 16px;}\n.al10-qn{font-family:'IBM Plex Mono',monospace;font-size:9px;letter-spacing:0.2em;text-transform:uppercase;color:#8A5A00;font-weight:600;margin-bottom:6px;}\n.al10-qq{font-family:'IBM Plex Serif',Georgia,serif;font-size:14px;font-style:italic;color:#1A1A2E;line-height:1.5;}\n.al10-prob-r{font-family:'IBM Plex Sans',sans-serif;font-size:13.5px;font-weight:300;color:#5A5E70;line-height:1.75;border-top:1px solid #ECEAE4;padding-top:18px;}\n.al10-prob-r strong{font-weight:500;color:#00205B;}\n.al10-prob-r .check{color:#1A6B3C;font-weight:500;}\n<\/style>\n<div class=\"al10-hdr\"><div class=\"al10-num\">10<\/div><div class=\"al10-line\"><\/div><div class=\"al10-label\">Module Mesh v1 CORTEX NK\u2122 \u2014 Module 17 du TCB \u00b7 CFVL-EVAL-NK-MESH-001 v1.0 \u2014 attestation PQC hybride AND-strict prouv\u00e9e<\/div><div class=\"al10-line\"><\/div><\/div>\n<div class=\"al10-sec\">\n<h3 class=\"al10-title\">Mesh v1 <em>attestation et orchestration post-quantique<\/em><\/h3>\n<div class=\"al10-badge\">\n<span class=\"al10-badge-icon\">\ud83d\udee1\ufe0f<\/span>\n<div class=\"al10-badge-body\">\n<div class=\"al10-badge-title\">Attestation hybride PQC \u00b7 18 th\u00e9or\u00e8mes 0 sorry \u00b7 v\u00e9rification 137 ns<\/div>\n<div class=\"al10-badge-text\">Le Module Mesh CORTEX NK\u2122 est aujourd&rsquo;hui le seul au monde \u00e0 int\u00e9grer nativement une signature hybride <strong>AND-strict Ed25519 + ML-DSA-87<\/strong> (HACL* INRIA + liboqs NIST FIPS 204) avec propri\u00e9t\u00e9 <strong>PQC quantum-safe formellement prouv\u00e9e<\/strong> par 2 th\u00e9or\u00e8mes Isabelle\/HOL d\u00e9di\u00e9s. Score Frama-C\/WP <strong>881\/1151 = 76,5 %<\/strong>, <strong>18 th\u00e9or\u00e8mes Isabelle\/HOL (0 sorry)<\/strong> dont 4 partitions et 2 PQC forward-security, 119\/119 tests E2E PASS. <strong>V\u00e9rification d&rsquo;attestation 137 ns \u00b7 check d&rsquo;invariants 3,87 ns \u00b7 10 fonctions benchmark\u00e9es evidence-grade.<\/strong> PR #19 ouverte sur master \u00b7 commit 04ed140 \u00b7 24 mai 2026.<\/div>\n<\/div>\n<\/div>\n \n<!-- ============================================================\n     NOUVELLE SECTION : LE PROBL\u00c8ME QU'IL R\u00c9SOUT\n     ============================================================ -->\n<div class=\"al10-prob\">\n<div class=\"al10-prob-l\">Le probl\u00e8me qu&rsquo;il r\u00e9sout<\/div>\n<h4 class=\"al10-prob-t\">Comment un parc d&rsquo;\u00e9quipements peut-il <em>se faire confiance<\/em> face \u00e0 des attaques quantiques futures ?<\/h4>\n \n<p class=\"al10-prob-i\">Imaginez un parc d&rsquo;\u00e9quipements critiques \u2014 <strong>flotte de drones militaires, capteurs industriels SCADA, \u00e9quipements m\u00e9dicaux hospitaliers, postes \u00e9lectriques d&rsquo;un smart grid<\/strong> \u2014 qui doivent en permanence communiquer entre eux et ob\u00e9ir \u00e0 un serveur de commandement. <strong>Trois questions critiques se posent en permanence :<\/strong><\/p>\n \n<div class=\"al10-qgrid\">\n<div class=\"al10-qc\">\n<div class=\"al10-qn\">Question 1 \u2014 Identit\u00e9<\/div>\n<div class=\"al10-qq\">\u00ab Cet \u00e9quipement est-il bien ce qu&rsquo;il pr\u00e9tend \u00eatre, ou un attaquant d\u00e9guis\u00e9 ? \u00bb<\/div>\n<\/div>\n<div class=\"al10-qc\">\n<div class=\"al10-qn\">Question 2 \u2014 L\u00e9gitimit\u00e9<\/div>\n<div class=\"al10-qq\">\u00ab Cet ordre que je re\u00e7ois vient-il vraiment du serveur l\u00e9gitime, ou est-ce une injection ? \u00bb<\/div>\n<\/div>\n<div class=\"al10-qc\">\n<div class=\"al10-qn\">Question 3 \u2014 R\u00e9vocation<\/div>\n<div class=\"al10-qq\">\u00ab Comment r\u00e9voquer d\u00e9finitivement un \u00e9quipement compromis, sans qu&rsquo;il revienne frauduleusement ? \u00bb<\/div>\n<\/div>\n<\/div>\n \n<p class=\"al10-prob-r\"><strong>Le Module Mesh r\u00e9pond \u00e0 ces 3 questions avec des preuves math\u00e9matiques formelles<\/strong>, pas seulement avec du code \u00ab\u00a0qui marche en pratique\u00a0\u00bb. <span class=\"check\">\u2713<\/span> Chaque attestation est sign\u00e9e hybride <strong>Ed25519 (classique) ET ML-DSA-87 (post-quantique)<\/strong> en mode AND-strict \u2014 pour casser le syst\u00e8me, il faut casser <strong>les deux<\/strong> primitives. <span class=\"check\">\u2713<\/span> La r\u00e9vocation est <strong>math\u00e9matiquement d\u00e9finitive<\/strong> (th\u00e9or\u00e8me ME-REVOKE prouv\u00e9 en Isabelle\/HOL). <span class=\"check\">\u2713<\/span> Anti-rejeu garanti par compteurs monotones strictement croissants (ME-MONO-attest, ME-MONO-order). <span class=\"check\">\u2713<\/span> Quand l&rsquo;ordinateur quantique cassera Ed25519 dans 10-15 ans, <strong>ML-DSA-87 continuera \u00e0 prot\u00e9ger votre flotte<\/strong> \u2014 propri\u00e9t\u00e9 formellement prouv\u00e9e par les th\u00e9or\u00e8mes ME-HYBRID-pq_safe et ME-HYBRID-classical_safe. C&rsquo;est l&rsquo;argument diff\u00e9rentiel CORTEX NK\u2122 pour la transition cryptographique ANSSI\/NIST 2025-2035.<\/p>\n<\/div>\n<!-- ============================================================\n     FIN SECTION : LE PROBL\u00c8ME QU'IL R\u00c9SOUT\n     ============================================================ -->\n \n<p class=\"al10-desc\">R\u00e9f\u00e9rence CFVL-EVAL-NK-MESH-001 v1.0 \u00b7 plateforme ARM64 Apple Silicon M2 \u00b7 clang -O2 \u00b7 CLOCK_MONOTONIC r\u00e9solution nanoseconde \u00b7 signature hybride AND-strict Ed25519 (HACL* F*\/Low*\/Vale Microsoft Research) + ML-DSA-87 (liboqs NIST FIPS 204) \u00b7 r\u00e9sistance post-quantique formellement prouv\u00e9e. <strong>PR #19 ouverte sur master \u00b7 commit 04ed140 \u00b7 sprint Module Mesh v1 100% termin\u00e9 le 24 mai 2026.<\/strong> 43 behaviors ACSL sp\u00e9cifi\u00e9s \u00b7 4 partitions formellement v\u00e9rifi\u00e9es \u00b7 invariants monotones de compteurs attestation et ordre formellement pr\u00e9serv\u00e9s.<\/p>\n<div class=\"al10-cgrid\">\n<div class=\"al10-cc\" style=\"border-top-color:#1A6B3C;\">\n<div class=\"al10-cc-n\">ME-INV-init<\/div>\n<div class=\"al10-cc-v\">invariant initial \u00b7 do_init_client<\/div>\n<div class=\"al10-cc-lat\">0 sorry<\/div>\n<div class=\"al10-cc-rat\">prouv\u00e9 \u00b7 count=0 \u00b7 revoked=false<\/div>\n<div class=\"al10-cc-eal\">Isabelle\/HOL 2025-2 \u00b7 pure HOL<\/div>\n<\/div>\n<div class=\"al10-cc\" style=\"border-top-color:#1A6B3C;\">\n<div class=\"al10-cc-n\">ME-MONO-attest<\/div>\n<div class=\"al10-cc-v\">attestation_count strict \u2191<\/div>\n<div class=\"al10-cc-lat\">0 sorry<\/div>\n<div class=\"al10-cc-rat\">\u2200 build_attestation : +1 exact<\/div>\n<div class=\"al10-cc-eal\">types et compteurs born\u00e9s<\/div>\n<\/div>\n<div class=\"al10-cc\" style=\"border-top-color:#0055B3;\">\n<div class=\"al10-cc-n\">ME-REVOKE<\/div>\n<div class=\"al10-cc-v\">r\u00e9vocation d\u00e9finitive<\/div>\n<div class=\"al10-cc-lat\">0 sorry<\/div>\n<div class=\"al10-cc-rat\">revoked{t1} \u27f9 revoked{t2 \u2265 t1}<\/div>\n<div class=\"al10-cc-eal\">anti-bypass forensique<\/div>\n<\/div>\n<div class=\"al10-cc\" style=\"border-top-color:#0055B3;\">\n<div class=\"al10-cc-n\">ME-FRESH<\/div>\n<div class=\"al10-cc-v\">anti-replay \u00b7 timestamp strict<\/div>\n<div class=\"al10-cc-lat\">0 sorry<\/div>\n<div class=\"al10-cc-rat\">\u00ac ts_increasing \u27f9 \u00ac fresh<\/div>\n<div class=\"al10-cc-eal\">linarith + blast structured<\/div>\n<\/div>\n<div class=\"al10-cc hc\">\n<div class=\"al10-cc-n\">ME-HYBRID-strong<\/div>\n<div class=\"al10-cc-v\">AND-strict \u00b7 fail-closed<\/div>\n<div class=\"al10-cc-lat\">0 sorry<\/div>\n<div class=\"al10-cc-rat\">hybrid = ed_verify \u2227 mldsa_verify<\/div>\n<div class=\"al10-cc-eal\">propri\u00e9t\u00e9 centrale module<\/div>\n<\/div>\n<div class=\"al10-cc\" style=\"border-top-color:#6B2D8C;\">\n<div class=\"al10-cc-n\">ME-AUTH-mutual<\/div>\n<div class=\"al10-cc-v\">authentification mutuelle<\/div>\n<div class=\"al10-cc-lat\">0 sorry<\/div>\n<div class=\"al10-cc-rat\">les 2 c\u00f4t\u00e9s rejettent sans hybrid<\/div>\n<div class=\"al10-cc-eal\">AUTH\/REVOKE\/QUARAN couverts<\/div>\n<\/div>\n<div class=\"al10-cc\" style=\"border-top-color:#B08728;\">\n<div class=\"al10-cc-n\">ME-HYBRID-pq_safe<\/div>\n<div class=\"al10-cc-v\">r\u00e9sistance post-quantique<\/div>\n<div class=\"al10-cc-lat\" style=\"color:#8A5A00;\">0 sorry<\/div>\n<div class=\"al10-cc-rat\">\u00ac ed_verify \u2227 mldsa_real \u27f9 rejet<\/div>\n<div class=\"al10-cc-eal\">forward-security EAL7<\/div>\n<\/div>\n<div class=\"al10-cc\" style=\"border-top-color:#B08728;\">\n<div class=\"al10-cc-n\">ME-HYBRID-classical_safe<\/div>\n<div class=\"al10-cc-v\">r\u00e9sistance classique future<\/div>\n<div class=\"al10-cc-lat\" style=\"color:#8A5A00;\">0 sorry<\/div>\n<div class=\"al10-cc-rat\">ed_real \u2227 \u00ac mldsa_verify \u27f9 rejet<\/div>\n<div class=\"al10-cc-eal\">argument diff\u00e9rentiel EAL7<\/div>\n<\/div>\n<\/div>\n<div class=\"al10-kpi\">\n<div class=\"al10-kpi-block\">\n<div class=\"al10-kpi-l\">V\u00e9rification PQC hybride<\/div>\n<div class=\"al10-kpi-big\">137 <span class=\"al10-kpi-u\">ns<\/span><\/div>\n<div class=\"al10-kpi-s\">nk_mesh_verify_attestation ARM64 -O2<\/div>\n<\/div>\n<div class=\"al10-kpi-block sep\">\n<div class=\"al10-kpi-l\">Preuves formelles compl\u00e8tes<\/div>\n<div class=\"al10-kpi-mid\">18 thm \u00b7 76,5 <span class=\"al10-kpi-um\">%<\/span><\/div>\n<div class=\"al10-kpi-s\">Isabelle 0 sorry \u00b7 Frama-C\/WP 881\/1151<\/div>\n<\/div>\n<div class=\"al10-kpi-text\"><strong>Deux signaux convergents.<\/strong> La performance (137 ns par v\u00e9rification d&rsquo;attestation hybride sur le TCB pur) et l&rsquo;\u00e9vidence formelle (18 th\u00e9or\u00e8mes prouv\u00e9s en Isabelle\/HOL sans sorry + 76,5 % de couverture Frama-C\/WP module-wide) attestent ensemble du niveau de maturit\u00e9. <strong>Premier module d&rsquo;attestation distante applicatif au monde combinant signature hybride AND-strict PQC et preuve formelle compl\u00e8te de la propri\u00e9t\u00e9 quantum-safe.<\/strong><\/div>\n<\/div>\n<h3 class=\"al10-h3\">Tableau <em>performances mesur\u00e9es<\/em><\/h3>\n<p class=\"al10-desc\">Mesures evidence-grade reproductibles. CLOCK_MONOTONIC nanoseconde \u00b7 anti-DCE (sinks volatiles globaux + barri\u00e8res m\u00e9moire asm volatile) \u00b7 N=1000 it\u00e9rations \u00b7 stubs crypto activ\u00e9s (NK_MESH_TEST_BUILD) pour mesurer le co\u00fbt du TCB Mesh hors primitives cryptographiques. Co\u00fbts crypto r\u00e9els \u00e0 ajouter en production : Ed25519 50-150 \u00b5s + ML-DSA-87 200 \u00b5s &#8211; 2 ms par op\u00e9ration.<\/p>\n<div class=\"al10-tw\"><table class=\"al10-bt\">\n<thead><tr><th>Op\u00e9ration<\/th><th class=\"c\">Tag CFVL<\/th><th class=\"r\">mean<\/th><th class=\"r\">cat\u00e9gorie<\/th><th class=\"c\">Statut<\/th><\/tr><\/thead>\n<tbody>\n<tr class=\"grp\"><td colspan=\"5\">Initialisation et invariants<\/td><\/tr>\n<tr><td class=\"fn\">Initialisation client \u00b7 cold path<\/td><td class=\"lay\">ME-01<\/td><td class=\"val\">413 ns<\/td><td class=\"p99\">cold path<\/td><td class=\"lay\"><span class=\"al10-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n<tr><td class=\"fn\">Initialisation serveur \u00b7 cold path<\/td><td class=\"lay\">ME-23<\/td><td class=\"val\">145 ns<\/td><td class=\"p99\">cold path<\/td><td class=\"lay\"><span class=\"al10-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n<tr><td class=\"fn\">V\u00e9rification invariants internes \u00b7 hot path<\/td><td class=\"lay\">ME-20<\/td><td class=\"val\">3,87 ns<\/td><td class=\"p99\">hot path<\/td><td class=\"lay\"><span class=\"al10-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n<tr class=\"grp\"><td colspan=\"5\">Construction et v\u00e9rification d&rsquo;attestation<\/td><\/tr>\n<tr class=\"tcbr\"><td class=\"fn\"><strong>V\u00e9rification d&rsquo;attestation hybride \u00b7 trust boundary<\/strong><\/td><td class=\"lay\">ME-31<\/td><td class=\"val\">137 ns<\/td><td class=\"p99\">crypto-heavy*<\/td><td class=\"lay\"><span class=\"al10-bdg tcb\">EVIDENCE<\/span><\/td><\/tr>\n<tr><td class=\"fn\">Construction d&rsquo;attestation \u00b7 client \u2192 serveur<\/td><td class=\"lay\">ME-07<\/td><td class=\"val\">315 ns<\/td><td class=\"p99\">crypto-heavy*<\/td><td class=\"lay\"><span class=\"al10-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n<tr class=\"grp\"><td colspan=\"5\">Construction et v\u00e9rification d&rsquo;ordres<\/td><\/tr>\n<tr><td class=\"fn\">V\u00e9rification d&rsquo;ordre \u00b7 serveur \u2192 client<\/td><td class=\"lay\">ME-11<\/td><td class=\"val\">255 ns<\/td><td class=\"p99\">crypto-heavy*<\/td><td class=\"lay\"><span class=\"al10-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n<tr><td class=\"fn\">Construction d&rsquo;ordre sign\u00e9 hybride<\/td><td class=\"lay\">ME-35<\/td><td class=\"val\">132 ns<\/td><td class=\"p99\">crypto-heavy*<\/td><td class=\"lay\"><span class=\"al10-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n<tr><td class=\"fn\">Application d&rsquo;ordre \u00b7 dispatch + state mutation<\/td><td class=\"lay\">ME-18<\/td><td class=\"val\">35 ns<\/td><td class=\"p99\">state mutation<\/td><td class=\"lay\"><span class=\"al10-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n<tr class=\"grp\"><td colspan=\"5\">Registre client et r\u00e9vocation<\/td><\/tr>\n<tr><td class=\"fn\">Enregistrement client \u00b7 slot + cl\u00e9s publiques<\/td><td class=\"lay\">ME-26<\/td><td class=\"val\">94 ns<\/td><td class=\"p99\">state mutation<\/td><td class=\"lay\"><span class=\"al10-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n<tr><td class=\"fn\">R\u00e9vocation client \u00b7 d\u00e9finitive \u00b7 ME-REVOKE<\/td><td class=\"lay\">ME-39<\/td><td class=\"val\">46 ns<\/td><td class=\"p99\">state mutation<\/td><td class=\"lay\"><span class=\"al10-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n<tr class=\"grp\"><td colspan=\"5\">Signature hybride post-quantique end-to-end<\/td><\/tr>\n<tr class=\"tcbr\" style=\"background:#FDF0D5;\"><td class=\"fn\"><strong>SIGNATURE HYBRIDE PRODUCTION \u00b7 TCB + Ed25519 + ML-DSA-87<\/strong><\/td><td class=\"lay\">10\/10<\/td><td class=\"val\" style=\"font-size:14px;\"><strong>\u2248 0,5\u20132 ms<\/strong><\/td><td class=\"p99\"><strong>HACL* + liboqs<\/strong><\/td><td class=\"lay\"><span class=\"al10-bdg crypto\">CRYPTO<\/span><\/td><\/tr>\n<tr class=\"tcbr\" style=\"background:#FDF0D5;\"><td class=\"fn\"><strong>V\u00c9RIFICATION HYBRIDE PRODUCTION \u00b7 TCB + Ed25519 + ML-DSA-87<\/strong><\/td><td class=\"lay\">10\/10<\/td><td class=\"val\" style=\"font-size:14px;\"><strong>\u2248 250\u2013650 \u00b5s<\/strong><\/td><td class=\"p99\"><strong>HACL* + liboqs<\/strong><\/td><td class=\"lay\"><span class=\"al10-bdg crypto\">CRYPTO<\/span><\/td><\/tr>\n<\/tbody>\n<\/table><\/div>\n<h3 class=\"al10-h3\">Trois <em>modes d&rsquo;usage<\/em><\/h3>\n<p class=\"al10-desc\">Le Module Mesh s&rsquo;utilise selon trois modes op\u00e9rationnels, du plus simple (attestation locale) au plus strict (orchestration souveraine de flotte). Trajectoire commerciale conseill\u00e9e : d\u00e9marrer en mode A pour attestation embarqu\u00e9e single-node, \u00e9voluer vers B avec orchestration multi-\u00e9quipement, puis C pour flottes critiques sous contrainte ANSSI \/ DGA.<\/p>\n<div class=\"al10-mgrid\">\n<div class=\"al10-mc\">\n<div class=\"al10-mi\">A<\/div>\n<div class=\"al10-mt\">Attestation locale embarqu\u00e9e<\/div>\n<div class=\"al10-md\">Le module produit et v\u00e9rifie en local des attestations sign\u00e9es hybrides Ed25519 + ML-DSA-87 (AND-strict). Anti-replay via timestamp monotone et compteur d&rsquo;attestation. Aucune d\u00e9pendance r\u00e9seau permanente.<\/div>\n<div class=\"al10-mv\">attestation \u00b7 forensique \u00b7 single-node<\/div>\n<\/div>\n<div class=\"al10-mc\" style=\"border-top-color:#0055B3;\">\n<div class=\"al10-mi\">B<\/div>\n<div class=\"al10-mt\">Orchestration multi-\u00e9quipement<\/div>\n<div class=\"al10-md\">Le serveur Mesh \u00e9met des ordres sign\u00e9s hybrides (AUTH, REVOKE_KEY, ROTATE_KEY, QUARANTINE, FULL_AUDIT) vers ses clients enregistr\u00e9s. R\u00e9vocation d\u00e9finitive par client (propri\u00e9t\u00e9 ME-REVOKE prouv\u00e9e). Compatible flotte drones, IoT industriel.<\/div>\n<div class=\"al10-mv\">orchestration \u00b7 r\u00e9vocation \u00b7 containment<\/div>\n<\/div>\n<div class=\"al10-mc\" style=\"border-top-color:#B08728;\">\n<div class=\"al10-mi\">C<\/div>\n<div class=\"al10-mt\">Flotte souveraine sous contrainte ANSSI<\/div>\n<div class=\"al10-md\">Module Mesh int\u00e9gr\u00e9 dans une cha\u00eene TCB EAL7-candidate avec attestation cryptographique hybride forward-security. Propri\u00e9t\u00e9 PQC quantum-safe formellement prouv\u00e9e. Audit Log immuable coupl\u00e9. R\u00e9serv\u00e9 environnements d\u00e9fense \/ OIV.<\/div>\n<div class=\"al10-mv\">DGA \u00b7 ANSSI \u00b7 EAL7 \u00b7 transition PQC 2030<\/div>\n<\/div>\n<\/div>\n<div class=\"al10-term\">\n<div><span class=\"tp\">$<\/span> <span class=\"tc\">clang -O2 -DNK_MESH_TEST_BUILD -o bench_mesh bench\/bench_mesh.c cortex_nk_mesh.c cortex_nk_hardening.c &amp;&amp; .\/bench_mesh<\/span><\/div>\n<div class=\"tp\">===========================================================================<\/div>\n<div class=\"tp\">  CFVL-BENCH-MESH-001 v1.0 \u2014 Module Mesh v1 (Module 17 TCB \u00b7 100% complet)<\/div>\n<div class=\"tp\">===========================================================================<\/div>\n<div><span class=\"to\">  Tag      Op\u00e9ration                              \u2502       mean        \u2502 cat\u00e9gorie<\/span><\/div>\n<div><span class=\"to\">  \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500 \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500<\/span><\/div>\n<div><span class=\"to\">  ME-01    nk_mesh_init           [cold path]      \u2502 <\/span><span class=\"th\">      413 ns<\/span><span class=\"to\">     \u2502 cold path<\/span><\/div>\n<div><span class=\"to\">  ME-07    nk_mesh_build_attestation               \u2502 <\/span><span class=\"tw2\">      315 ns<\/span><span class=\"to\">     \u2502 crypto-heavy*<\/span><\/div>\n<div><span class=\"to\">  ME-11    nk_mesh_verify_order                    \u2502 <\/span><span class=\"tw2\">      255 ns<\/span><span class=\"to\">     \u2502 crypto-heavy*<\/span><\/div>\n<div><span class=\"to\">  ME-18    nk_mesh_apply_order    [ROTATE idemp.]  \u2502 <\/span><span class=\"th\">       35 ns<\/span><span class=\"to\">     \u2502 state mutation<\/span><\/div>\n<div><span class=\"to\">  ME-20    nk_mesh_check_invariants [hot path]     \u2502 <\/span><span class=\"th\">     3,87 ns<\/span><span class=\"to\">     \u2502 hot path<\/span><\/div>\n<div><span class=\"to\">  ME-23    nk_mesh_server_init                     \u2502 <\/span><span class=\"th\">      145 ns<\/span><span class=\"to\">     \u2502 cold path<\/span><\/div>\n<div><span class=\"to\">  ME-26    nk_mesh_register_client                 \u2502 <\/span><span class=\"th\">       94 ns<\/span><span class=\"to\">     \u2502 state mutation<\/span><\/div>\n<div><span class=\"to\">  ME-31    nk_mesh_verify_attestation              \u2502 <\/span><span class=\"tw2\">      137 ns<\/span><span class=\"to\">     \u2502 crypto-heavy*<\/span><\/div>\n<div><span class=\"to\">  ME-35    nk_mesh_build_order                     \u2502 <\/span><span class=\"tw2\">      132 ns<\/span><span class=\"to\">     \u2502 crypto-heavy*<\/span><\/div>\n<div><span class=\"to\">  ME-39    nk_mesh_revoke_client  [ME-REVOKE]      \u2502 <\/span><span class=\"th\">       46 ns<\/span><span class=\"to\">     \u2502 state mutation<\/span><\/div>\n<div class=\"tp\">  \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500 \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500<\/div>\n<div><span class=\"to\">  Sink anti-DCE (anti-\u00e9limination compilateur) <\/span><span class=\"tw2\">[CONFIRM\u00c9]   \u2502 <\/span><span class=\"tw2\">u64=147451 u32=608067457<\/span><\/div>\n<div><span class=\"to\">  (*) Stubs crypto activ\u00e9s (NK_MESH_TEST_BUILD) \u2014 co\u00fbt TCB Mesh seul, hors HACL*\/liboqs<\/span><\/div>\n<div class=\"tp\">===========================================================================<\/div>\n<div class=\"tok\">\u2705 10\/10 fonctions publiques mesur\u00e9es \u00b7 0 crash \u00b7 anti-DCE confirm\u00e9<\/div>\n<div class=\"tok\">\u2705 881\/1151 Frama-C\/WP (76,5 %) \u00b7 18\/18 Isabelle\/HOL (0 sorry) \u00b7 119\/119 tests<\/div>\n<div class=\"tok\">\u2705 PR #19 ouverte master \u00b7 commit 04ed140 \u00b7 24 mai 2026<\/div>\n<\/div>\n<div class=\"al10-nota\"><strong>Lecture strat\u00e9gique.<\/strong> Le Module Mesh v1 CORTEX NK\u2122 constitue \u00e0 ce jour le <strong>seul module d&rsquo;attestation et d&rsquo;orchestration applicatif formellement v\u00e9rifi\u00e9 publiquement<\/strong> int\u00e9grant nativement la signature hybride AND-strict Ed25519 (HACL* INRIA \/ Microsoft Research) + ML-DSA-87 (liboqs NIST FIPS 204), avec propri\u00e9t\u00e9 <strong>PQC quantum-safe formellement prouv\u00e9e<\/strong> par deux th\u00e9or\u00e8mes Isabelle\/HOL d\u00e9di\u00e9s (ME-HYBRID-pq_safe + ME-HYBRID-classical_safe). <strong>V\u00e9rification d&rsquo;attestation en 137 ns \u00b7 check d&rsquo;invariants 3,87 ns<\/strong> sur ARM64 \u2014 performance compatible avec toutes les exigences embarqu\u00e9es (avionique, automotive, IoT industriel, d\u00e9fense). Architecture monotone \u00e0 compteurs d&rsquo;attestation et d&rsquo;ordre strictement croissants avec invariants formellement pr\u00e9serv\u00e9s. Aucun concurrent (seL4, ProvenCore, Green Hills INTEGRITY, PikeOS, VxWorks, Muen) ne publie aujourd&rsquo;hui de benchmarks evidence-grade \u00e9quivalents sur un module d&rsquo;attestation applicatif avec preuves Isabelle\/HOL compl\u00e8tes ET propri\u00e9t\u00e9 PQC quantum-safe formalis\u00e9e. <strong>Sprint Module Mesh v1 100% complet \u00b7 PR #19 ouverte sur master \u00b7 commit 04ed140 \u00b7 24 mai 2026. Trajectoire de certification : CSPN ANSSI Q2 2027 \u2192 EAL4 (2028) \u2192 EAL6 (2029) \u2192 EAL7 PQC (2030).<\/strong><\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Menu ORIGIN\u2122 ORIGIN\u2122 EAS \u00b7 EXPOSITION Plateforme CTEM EAS \u00b7 Exposition externe et interne \u2197 Ce que la plateforme mesure P\u00e9rim\u00e8tre interne \u00b7 annuaire LDAP \/ AD \u2197 Gouvernance &amp; trace de d\u00e9cision \u2197 Paysage concurrentiel \u2197 Demander une cartographie \u2197 AETZU ARROW AI\u2122 AETZU ARROW AI AETZU ARROW AI\u2122 \u00b7 D\u00e9fense active \u2197 Analyse [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1577","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1577","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/comments?post=1577"}],"version-history":[{"count":12,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1577\/revisions"}],"predecessor-version":[{"id":1930,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1577\/revisions\/1930"}],"wp:attachment":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/media?parent=1577"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}