{"id":179267,"date":"2017-03-13T04:30:43","date_gmt":"2017-03-13T04:30:43","guid":{"rendered":"https:\/\/eenewseurope.artwhere.co\/le-cea-et-thales-securisent-les-codes-cryptographiques\/"},"modified":"2017-03-13T04:30:43","modified_gmt":"2017-03-13T04:30:43","slug":"le-cea-et-thales-securisent-les-codes-cryptographiques","status":"publish","type":"post","link":"https:\/\/www.ecinews.fr\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/","title":{"rendered":"Le CEA et Thales s\u00e9curisent les codes cryptographiques"},"content":{"rendered":"<p>Au travers du laboratoire commun FormalLab, cr\u00e9\u00e9 en juin 2015, Thales et le CEA ont pour objectif de traiter des enjeux de confiance &nbsp;num\u00e9rique en se basant sur des approches formelles. Bas\u00e9es sur des techniques avanc\u00e9es de raisonnement math\u00e9matique, ces solutions sont consid\u00e9r\u00e9es comme une alternative prometteuse aux techniques de v\u00e9rification classiques de type \u00ab test \u00bb, qui par d\u00e9finition peuvent comporter des failles. Si elles n\u00e9cessitent une expertise des techniques de sp\u00e9cification et d\u2019analyse, les solutions formelles pr\u00e9sentent un atout majeur : elles fournissent des garanties tr\u00e8s fortes sur les comportements attendus des logiciels. Elles permettent, en particulier, de d\u00e9montrer l\u2019absence de certaines classes de vuln\u00e9rabilit\u00e9s de s\u00e9curit\u00e9, fermant ainsi la porte \u00e0 de nombreux types de cyberattaques.&nbsp;<\/p>\n<hr \/>\n<p><strong>L\u2019analyse formelle de code au service de la cybers\u00e9curit\u00e9<\/strong><\/p>\n<p>Les logiciels de communication chiffr\u00e9e sous-tendent une large partie des \u00e9changes num\u00e9riques actuels. Tout d\u00e9faut dans ces logiciels peut mener \u00e0 une cyberattaque dont l\u2019impact serait majeur. Ainsi la faille Heartbleed, d\u00e9couverte en 2014, a instantan\u00e9ment impact\u00e9 la s\u00e9curit\u00e9 de 17 % des serveurs s\u00e9curis\u00e9s d\u2019Internet. Les \u00e9quipes de Thales et du CEA se sont attel\u00e9es au probl\u00e8me de la cybers\u00e9curit\u00e9 des codes de communication chiffr\u00e9e : gr\u00e2ce \u00e0 la plateforme d\u2019analyse de code Frama-C<span style=\"font-size: 10.8333px\"><b>&nbsp;(<\/b>2<b>)<\/b><\/span>, elles ont sp\u00e9cifi\u00e9 un cahier des charges de s\u00e9curit\u00e9 et valid\u00e9 formellement la conformit\u00e9 du code de communication \u00e0 ces exigences.<\/p>\n<p><em>\u00ab A l\u2019heure du cloud computing et de l\u2019interconnexion g\u00e9n\u00e9ralis\u00e9e des syst\u00e8mes d\u2019information, m\u00eame les plus critiques comme ceux du secteur de la D\u00e9fense, la conception p\u00e9rim\u00e9trique de la cybers\u00e9curit\u00e9 a v\u00e9cu. Nul ne peut plus croire d\u00e9sormais que la s\u00e9curit\u00e9 de l\u2019information num\u00e9rique se confond avec la s\u00e9curit\u00e9 du r\u00e9seau. Chez Thales, nous sommes convaincus que l\u2019avenir est aux solutions nativement s\u00e9curis\u00e9es dans lesquelles la cyber-s\u00e9curit\u00e9 est prise en compte \u00e0 tous les niveaux : l\u2019architecture globale, le r\u00e9seau, bien s\u00fbr, mais aussi et surtout le logiciel, tout particuli\u00e8rement les modules applicatifs li\u00e9s aux communications et au cryptage des donn\u00e9es. Dans ce domaine, les travaux de FormalLab rompent avec les pratiques de cybers\u00e9curit\u00e9 conventionnelles pour faire face \u00e0 une cyber-menace en perp\u00e9tuelle \u00e9volution.\u00bb<\/em>&nbsp;t\u00e9moigne Marko Erman, Directeur technique et innovation de Thales.<\/p>\n<p><em>\u00ab Les questions de confiance num\u00e9rique, et en particulier de cybers\u00e9curit\u00e9, figurent au c\u0153ur des programmes du List. Ses \u00e9quipes con\u00e7oivent les nouvelles g\u00e9n\u00e9rations d\u2019outils de s\u00e9curisation logicielle, en s\u2019appuyant sur des bases math\u00e9matiques ancr\u00e9es dans la dynamique de Paris Saclay, et fortes d\u2019exp\u00e9riences reconnues internationalement. Au sein du FormalLab, dans une collaboration rapproch\u00e9e avec les ing\u00e9nieurs Thales, elles \u0153uvrent pour identifier les besoins industriels, d\u00e9terminer les valeurs ajout\u00e9es, et mener l\u2019innovation depuis les lev\u00e9es de verrous jusqu\u2019au transfert aux unit\u00e9s op\u00e9rationnelles. Le CEA contribue ainsi aux avanc\u00e9es technologiques de l\u2019\u00e9cosyst\u00e8me cybers\u00e9curit\u00e9 Fran\u00e7ais.\u00bb<\/em>&nbsp;conclut Philippe Watteau, Directeur du List.<\/p>\n<p>(1<strong>)<\/strong>&nbsp;La&nbsp;v\u00e9rification formelle&nbsp;<em>met en \u0153uvre des techniques math\u00e9matiques pour d\u00e9montrer qu\u2019un syst\u00e8me se conforme aux propri\u00e9t\u00e9s qui en sont attendues<\/em>.&nbsp;<br \/>\n(2)&nbsp;<a href=\"www.frama-c.com\">www.frama-c.com<\/a><\/p>\n<p><a href=\"http:\/\/www.cea.fr\/\">http:\/\/www.cea.fr\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Dans le cadre de leur laboratoire commun FormalLab, Thales et le CEA pr\u00e9sentent une solution in\u00e9dite pour garantir la s\u00e9curit\u00e9 des codes cryptographiques. V\u00e9ritable rupture technologique, l\u2019innovation r\u00e9side dans la v\u00e9rification formelle (1)\u00a0de composants de librairies s\u00e9curis\u00e9s pour le chiffrement des communications sensibles.\u00a0<\/p>\n","protected":false},"author":11,"featured_media":179268,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[],"tags":[],"domains":[47],"ppma_author":[1143],"class_list":["post-179267","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","domains-electronique-eci"],"acf":[],"yoast_head":"<title>Le CEA et Thales s\u00e9curisent les codes cryptographiques ...<\/title>\n<meta name=\"description\" content=\"Dans le cadre de leur laboratoire commun FormalLab, Thales et le CEA pr\u00e9sentent une solution in\u00e9dite pour garantir la s\u00e9curit\u00e9 des codes...\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/179267\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Le CEA et Thales s\u00e9curisent les codes cryptographiques\" \/>\n<meta property=\"og:description\" content=\"Dans le cadre de leur laboratoire commun FormalLab, Thales et le CEA pr\u00e9sentent une solution in\u00e9dite pour garantir la s\u00e9curit\u00e9 des codes cryptographiques. V\u00e9ritable rupture technologique, l\u2019innovation r\u00e9side dans la v\u00e9rification formelle (1)\u00a0de composants de librairies s\u00e9curis\u00e9s pour le chiffrement des communications sensibles.\u00a0\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/179267\/\" \/>\n<meta property=\"og:site_name\" content=\"EENewsEurope\" \/>\n<meta property=\"article:published_time\" content=\"2017-03-13T04:30:43+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/cdn.eenewseurope.com\/wp-content\/uploads\/import\/default\/files\/sites\/default\/files\/images\/cea_thales.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"235\" \/>\n\t<meta property=\"og:image:height\" content=\"165\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Daniel Cardon\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Daniel Cardon\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/\"},\"author\":{\"name\":\"Daniel Cardon\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/93c44cde463762f40a8236eaa44c1c17\"},\"headline\":\"Le CEA et Thales s\u00e9curisent les codes cryptographiques\",\"datePublished\":\"2017-03-13T04:30:43+00:00\",\"dateModified\":\"2017-03-13T04:30:43+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/\"},\"wordCount\":590,\"publisher\":{\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#organization\"},\"inLanguage\":\"fr-FR\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/\",\"url\":\"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/\",\"name\":\"Le CEA et Thales s\u00e9curisent les codes cryptographiques -\",\"isPartOf\":{\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#website\"},\"datePublished\":\"2017-03-13T04:30:43+00:00\",\"dateModified\":\"2017-03-13T04:30:43+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.ecinews.fr\/fr\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Le CEA et Thales s\u00e9curisent les codes cryptographiques\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#website\",\"url\":\"https:\/\/www.eenewseurope.com\/en\/\",\"name\":\"EENewsEurope\",\"description\":\"Just another WordPress site\",\"publisher\":{\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.eenewseurope.com\/en\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#organization\",\"name\":\"EENewsEurope\",\"url\":\"https:\/\/www.eenewseurope.com\/en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.ecinews.fr\/wp-content\/uploads\/2022\/02\/logo-1.jpg\",\"contentUrl\":\"https:\/\/www.ecinews.fr\/wp-content\/uploads\/2022\/02\/logo-1.jpg\",\"width\":283,\"height\":113,\"caption\":\"EENewsEurope\"},\"image\":{\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/93c44cde463762f40a8236eaa44c1c17\",\"name\":\"Daniel Cardon\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/image\/2b243f6bcc1cff7d86aadfb2cd0bd870\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/de9edc136dfc061ad4778e04635baefa?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/de9edc136dfc061ad4778e04635baefa?s=96&d=mm&r=g\",\"caption\":\"Daniel Cardon\"}}]}<\/script>","yoast_head_json":{"title":"Le CEA et Thales s\u00e9curisent les codes cryptographiques ...","description":"Dans le cadre de leur laboratoire commun FormalLab, Thales et le CEA pr\u00e9sentent une solution in\u00e9dite pour garantir la s\u00e9curit\u00e9 des codes...","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/179267\/","og_locale":"fr_FR","og_type":"article","og_title":"Le CEA et Thales s\u00e9curisent les codes cryptographiques","og_description":"Dans le cadre de leur laboratoire commun FormalLab, Thales et le CEA pr\u00e9sentent une solution in\u00e9dite pour garantir la s\u00e9curit\u00e9 des codes cryptographiques. V\u00e9ritable rupture technologique, l\u2019innovation r\u00e9side dans la v\u00e9rification formelle (1)\u00a0de composants de librairies s\u00e9curis\u00e9s pour le chiffrement des communications sensibles.\u00a0","og_url":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/179267\/","og_site_name":"EENewsEurope","article_published_time":"2017-03-13T04:30:43+00:00","og_image":[{"width":235,"height":165,"url":"https:\/\/cdn.eenewseurope.com\/wp-content\/uploads\/import\/default\/files\/sites\/default\/files\/images\/cea_thales.jpg","type":"image\/jpeg"}],"author":"Daniel Cardon","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Daniel Cardon","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/#article","isPartOf":{"@id":"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/"},"author":{"name":"Daniel Cardon","@id":"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/93c44cde463762f40a8236eaa44c1c17"},"headline":"Le CEA et Thales s\u00e9curisent les codes cryptographiques","datePublished":"2017-03-13T04:30:43+00:00","dateModified":"2017-03-13T04:30:43+00:00","mainEntityOfPage":{"@id":"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/"},"wordCount":590,"publisher":{"@id":"https:\/\/www.eenewseurope.com\/en\/#organization"},"inLanguage":"fr-FR"},{"@type":"WebPage","@id":"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/","url":"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/","name":"Le CEA et Thales s\u00e9curisent les codes cryptographiques -","isPartOf":{"@id":"https:\/\/www.eenewseurope.com\/en\/#website"},"datePublished":"2017-03-13T04:30:43+00:00","dateModified":"2017-03-13T04:30:43+00:00","breadcrumb":{"@id":"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/cdn.eenewseurope.com\/fr\/le-cea-et-thales-securisent-les-codes-cryptographiques\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.ecinews.fr\/fr\/"},{"@type":"ListItem","position":2,"name":"Le CEA et Thales s\u00e9curisent les codes cryptographiques"}]},{"@type":"WebSite","@id":"https:\/\/www.eenewseurope.com\/en\/#website","url":"https:\/\/www.eenewseurope.com\/en\/","name":"EENewsEurope","description":"Just another WordPress site","publisher":{"@id":"https:\/\/www.eenewseurope.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.eenewseurope.com\/en\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/www.eenewseurope.com\/en\/#organization","name":"EENewsEurope","url":"https:\/\/www.eenewseurope.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.eenewseurope.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.ecinews.fr\/wp-content\/uploads\/2022\/02\/logo-1.jpg","contentUrl":"https:\/\/www.ecinews.fr\/wp-content\/uploads\/2022\/02\/logo-1.jpg","width":283,"height":113,"caption":"EENewsEurope"},"image":{"@id":"https:\/\/www.eenewseurope.com\/en\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/93c44cde463762f40a8236eaa44c1c17","name":"Daniel Cardon","image":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/image\/2b243f6bcc1cff7d86aadfb2cd0bd870","url":"https:\/\/secure.gravatar.com\/avatar\/de9edc136dfc061ad4778e04635baefa?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/de9edc136dfc061ad4778e04635baefa?s=96&d=mm&r=g","caption":"Daniel Cardon"}}]}},"authors":[{"term_id":1143,"user_id":11,"is_guest":0,"slug":"danielcardon","display_name":"Daniel Cardon","avatar_url":"https:\/\/secure.gravatar.com\/avatar\/de9edc136dfc061ad4778e04635baefa?s=96&d=mm&r=g","0":null,"1":"","2":"","3":"","4":"","5":"","6":"","7":"","8":""}],"_links":{"self":[{"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/179267"}],"collection":[{"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/comments?post=179267"}],"version-history":[{"count":0,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/179267\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/media\/179268"}],"wp:attachment":[{"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/media?parent=179267"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/categories?post=179267"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/tags?post=179267"},{"taxonomy":"domains","embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/domains?post=179267"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/ppma_author?post=179267"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}