{"id":19319,"date":"2010-03-22T15:20:38","date_gmt":"2010-03-22T20:50:38","guid":{"rendered":"http:\/\/uqactualite.odev.ca\/2010\/03\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/"},"modified":"2010-03-22T15:20:38","modified_gmt":"2010-03-22T20:50:38","slug":"sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes","status":"publish","type":"post","link":"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/","title":{"rendered":"Sylvain Hall\u00e9 cr\u00e9e un filet de s\u00e9curit\u00e9 \u2013 V\u00e9rification automatique de syst\u00e8mes"},"content":{"rendered":"

\"\"<\/a>
Professeur au D\u00e9partement d'informatique et de math\u00e9matique \u00e0 l'UQAC, Sylvain Hall\u00e9 a rencontr\u00e9 des chercheurs de la NASA qui travaillaient, comme lui, sur la v\u00e9rification automatique de syst\u00e8mes. (Photo Rocket Lavoie) <\/figcaption><\/figure>CHICOUTIMI – Professeur au D\u00e9partement d’informatique et de math\u00e9matique \u00e0 l’UQAC, Sylvain Hall\u00e9 cr\u00e9e, en compagnie de coll\u00e8gues de la Californie et de Montr\u00e9al, un filet de s\u00e9curit\u00e9 afin de s’assurer qu’il sera impossible de \u00ab passer entre les mailles du filet. \u00bb <\/p>\n

Mais de quel filet s’agit-il? \u00ab Du filet qui aurait pu emp\u00eacher un scandale comme celui d’ENRON \u00bb, explique monsieur Hall\u00e9. Rappelons qu’en 2001, cette entreprise a fait faillite en raison de ses op\u00e9rations frauduleuses masqu\u00e9es en b\u00e9n\u00e9fices via des manipulations comptables. <\/p>\n

Le nouveau professeur, qui a commenc\u00e9 \u00e0 travailler \u00e0 l’UQAC en janvier 2010, explique que ce qui rassemble ENRON \u00e0 la NASA et \u00e0 un syst\u00e8me de vente de billets de spectacles sur Internet, c’est la communication entre deux entit\u00e9s. <\/p>\n

\u00ab Les gens de la NASA doivent envoyer des commandes, du sol aux machines sur Mars, par exemple. Quand vous voulez acheter des billets, vous devez envoyer une commande au r\u00e9seau. C’\u00e9tait la m\u00eame chose pour ENRON alors que le syst\u00e8me, qui g\u00e9rait les op\u00e9rations financi\u00e8res, envoyait de l’argent dans le mauvais compte. Ce que nous tentons de faire, c’est une sorte de police, un filet de s\u00e9curit\u00e9 qui pourrait augmenter la fiabilit\u00e9 des syst\u00e8mes. \u00bb <\/p>\n

Ce policier, repr\u00e9sent\u00e9 dans le sch\u00e9ma publi\u00e9 dans cette page, s’assurerait que le contrat accept\u00e9 par les deux parties, soit respect\u00e9. \u00ab Il y a moyen de v\u00e9rifier que le contrat soit respect\u00e9, que le message soit bien r\u00e9alis\u00e9. Il n’y a pas encore de th\u00e9orie mature qui existe dans ce domaine. Nous voulons mettre sur pied un truc g\u00e9n\u00e9ral, qui fonctionnerait pour tous, et pas un truc unique qui ne fonctionne que pour une entreprise. \u00c7a fait trois ans que nous travaillons l\u00e0-dessus et \u00e7a prend forme. \u00bb <\/p>\n

Parcours <\/strong><\/p>\n

Sylvain Hall\u00e9 est titulaire d’un baccalaur\u00e9at en math\u00e9matiques de l’Universit\u00e9 Laval; d’une ma\u00eetrise en math\u00e9matiques et d’un doctorat en informatique de l’UQAM. <\/p>\n

Il a fait son stage postdoctoral en Californie, \u00e0 Santa Barbara, o\u00f9 il a rencontr\u00e9 des chercheurs de la NASA qui travaillaient, comme lui, sur la v\u00e9rification automatique de syst\u00e8mes. <\/p>\n

\u00ab Pour l’instant, notre police prend encore trop de temps \u00e0 agir. Il faut que sa performance soit plus grande. Je garde contact avec les gens de la NASA. Il est possible que des choses d\u00e9bouchent avec eux. \u00bb
\nD’ici l\u00e0, Sylvain Hall\u00e9 et ses acolytes doivent tenter de changer les mentalit\u00e9s du monde informatique. <\/p>\n

\u00ab Ce n’est pas dans les habitudes des informaticiens de travailler avec des contrats comme nous tentons de formuler. Eux font test par-dessus test. \u00bb<\/p>\n

Monsieur Hall\u00e9 explique que si uniquement dix pour cent de tout ce qu’il a con\u00e7u sont utilis\u00e9s par des firmes priv\u00e9es, il sera heureux. <\/p>\n

\u00ab Mon but est de rendre cela facile \u00e0 utiliser. Je crois sinc\u00e8rement qu’\u00e0 mesure que nous allons d\u00e9velopper le syst\u00e8me, de plus en plus d’entreprises voudront \u00e9crire ces contrats. Ce n’est, bien entendu, pas imm\u00e9diat comme changement. \u00bb <\/p>\n

Un prototype est d\u00e9j\u00e0 disponible sur lnternet, au www.beepbeep.sourceforge.net<\/a>. <\/p>\n

\u00ab Nous avons eu 250 t\u00e9l\u00e9chargements, ce qui est tr\u00e8s bon. On verra de quelle mani\u00e8re \u00e7a va se d\u00e9velopper \u00e9ventuellement. \u00bb <\/p>\n

Le Quotidien, 20 mars 2010
\nUn texte de Katerine Belley-Murray<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

CHICOUTIMI – Professeur au D\u00e9partement d’informatique et de math\u00e9matique \u00e0 l’UQAC, Sylvain Hall\u00e9 cr\u00e9e, en compagnie de coll\u00e8gues de la Californie et de Montr\u00e9al, un filet de s\u00e9curit\u00e9 afin de s’assurer qu’il sera impossible de \u00ab passer entre les mailles du filet. \u00bb Mais de quel filet s’agit-il? \u00ab Du filet qui aurait pu emp\u00eacher […]<\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"closed","ping_status":"1","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2772],"tags":[],"yoast_head":"\r\nSylvain Hall\u00e9 cr\u00e9e un filet de s\u00e9curit\u00e9 \u2013 V\u00e9rification automatique de syst\u00e8mes - UQACtualit\u00e9s<\/title>\r\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\r\n<link rel=\"canonical\" href=\"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/\" \/>\r\n<meta property=\"og:locale\" content=\"fr_CA\" \/>\r\n<meta property=\"og:type\" content=\"article\" \/>\r\n<meta property=\"og:title\" content=\"Sylvain Hall\u00e9 cr\u00e9e un filet de s\u00e9curit\u00e9 \u2013 V\u00e9rification automatique de syst\u00e8mes - UQACtualit\u00e9s\" \/>\r\n<meta property=\"og:description\" content=\"CHICOUTIMI – Professeur au D\u00e9partement d’informatique et de math\u00e9matique \u00e0 l’UQAC, Sylvain Hall\u00e9 cr\u00e9e, en compagnie de coll\u00e8gues de la Californie et de Montr\u00e9al, un filet de s\u00e9curit\u00e9 afin de s’assurer qu’il sera impossible de \u00ab passer entre les mailles du filet. \u00bb Mais de quel filet s’agit-il? \u00ab Du filet qui aurait pu emp\u00eacher […]\" \/>\r\n<meta property=\"og:url\" content=\"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/\" \/>\r\n<meta property=\"og:site_name\" content=\"UQACtualit\u00e9s\" \/>\r\n<meta property=\"article:published_time\" content=\"2010-03-22T20:50:38+00:00\" \/>\r\n<meta property=\"og:image\" content=\"http:\/\/www.uqac.ca\/wp-content\/uploads\/2012\/03\/zJrpM8uNtp7eUqm0-300x183.jpg\" \/>\r\n<meta name=\"author\" content=\"Service des communications et des relations publiques\" \/>\r\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\r\n<meta name=\"twitter:label1\" content=\"\u00c9crit par\" \/>\n\t<meta name=\"twitter:data1\" content=\"Service des communications et des relations publiques\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimation du temps de lecture\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutes\" \/>\r\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/\",\"url\":\"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/\",\"name\":\"Sylvain Hall\u00e9 cr\u00e9e un filet de s\u00e9curit\u00e9 \u2013 V\u00e9rification automatique de syst\u00e8mes - UQACtualit\u00e9s\",\"isPartOf\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/#primaryimage\"},\"thumbnailUrl\":\"http:\/\/www.uqac.ca\/wp-content\/uploads\/2012\/03\/zJrpM8uNtp7eUqm0-300x183.jpg\",\"datePublished\":\"2010-03-22T20:50:38+00:00\",\"dateModified\":\"2010-03-22T20:50:38+00:00\",\"author\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/#breadcrumb\"},\"inLanguage\":\"fr-CA\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-CA\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/#primaryimage\",\"url\":\"http:\/\/www.uqac.ca\/wp-content\/uploads\/2012\/03\/zJrpM8uNtp7eUqm0-300x183.jpg\",\"contentUrl\":\"http:\/\/www.uqac.ca\/wp-content\/uploads\/2012\/03\/zJrpM8uNtp7eUqm0-300x183.jpg\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uqac.ca\/uqactualites\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Sylvain Hall\u00e9 cr\u00e9e un filet de s\u00e9curit\u00e9 \u2013 V\u00e9rification automatique de syst\u00e8mes\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#website\",\"url\":\"https:\/\/www.uqac.ca\/uqactualites\/\",\"name\":\"UQACtualit\u00e9s\",\"description\":\"Le portail des nouvelles de l'UQAC\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uqac.ca\/uqactualites\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-CA\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018\",\"name\":\"Service des communications et des relations publiques\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-CA\",\"@id\":\"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/20fbbda8a292f59f2d3461a5b999c00b?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/20fbbda8a292f59f2d3461a5b999c00b?s=96&d=mm&r=g\",\"caption\":\"Service des communications et des relations publiques\"},\"url\":\"https:\/\/www.uqac.ca\/uqactualites\/author\/bap\/\"}]}<\/script>\r\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Sylvain Hall\u00e9 cr\u00e9e un filet de s\u00e9curit\u00e9 \u2013 V\u00e9rification automatique de syst\u00e8mes - UQACtualit\u00e9s","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.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/","og_locale":"fr_CA","og_type":"article","og_title":"Sylvain Hall\u00e9 cr\u00e9e un filet de s\u00e9curit\u00e9 \u2013 V\u00e9rification automatique de syst\u00e8mes - UQACtualit\u00e9s","og_description":"CHICOUTIMI – Professeur au D\u00e9partement d’informatique et de math\u00e9matique \u00e0 l’UQAC, Sylvain Hall\u00e9 cr\u00e9e, en compagnie de coll\u00e8gues de la Californie et de Montr\u00e9al, un filet de s\u00e9curit\u00e9 afin de s’assurer qu’il sera impossible de \u00ab passer entre les mailles du filet. \u00bb Mais de quel filet s’agit-il? \u00ab Du filet qui aurait pu emp\u00eacher […]","og_url":"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/","og_site_name":"UQACtualit\u00e9s","article_published_time":"2010-03-22T20:50:38+00:00","og_image":[{"url":"http:\/\/www.uqac.ca\/wp-content\/uploads\/2012\/03\/zJrpM8uNtp7eUqm0-300x183.jpg","type":"","width":"","height":""}],"author":"Service des communications et des relations publiques","twitter_card":"summary_large_image","twitter_misc":{"\u00c9crit par":"Service des communications et des relations publiques","Estimation du temps de lecture":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/","url":"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/","name":"Sylvain Hall\u00e9 cr\u00e9e un filet de s\u00e9curit\u00e9 \u2013 V\u00e9rification automatique de syst\u00e8mes - UQACtualit\u00e9s","isPartOf":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/#primaryimage"},"image":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/#primaryimage"},"thumbnailUrl":"http:\/\/www.uqac.ca\/wp-content\/uploads\/2012\/03\/zJrpM8uNtp7eUqm0-300x183.jpg","datePublished":"2010-03-22T20:50:38+00:00","dateModified":"2010-03-22T20:50:38+00:00","author":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018"},"breadcrumb":{"@id":"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/#breadcrumb"},"inLanguage":"fr-CA","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/"]}]},{"@type":"ImageObject","inLanguage":"fr-CA","@id":"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/#primaryimage","url":"http:\/\/www.uqac.ca\/wp-content\/uploads\/2012\/03\/zJrpM8uNtp7eUqm0-300x183.jpg","contentUrl":"http:\/\/www.uqac.ca\/wp-content\/uploads\/2012\/03\/zJrpM8uNtp7eUqm0-300x183.jpg"},{"@type":"BreadcrumbList","@id":"https:\/\/www.uqac.ca\/uqactualites\/2010\/03\/22\/sylvain-halle-cree-un-filet-de-securite-verification-automatique-de-systemes\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uqac.ca\/uqactualites\/"},{"@type":"ListItem","position":2,"name":"Sylvain Hall\u00e9 cr\u00e9e un filet de s\u00e9curit\u00e9 \u2013 V\u00e9rification automatique de syst\u00e8mes"}]},{"@type":"WebSite","@id":"https:\/\/www.uqac.ca\/uqactualites\/#website","url":"https:\/\/www.uqac.ca\/uqactualites\/","name":"UQACtualit\u00e9s","description":"Le portail des nouvelles de l'UQAC","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uqac.ca\/uqactualites\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-CA"},{"@type":"Person","@id":"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/366c45a0c4f0e677b41b4af5886e2018","name":"Service des communications et des relations publiques","image":{"@type":"ImageObject","inLanguage":"fr-CA","@id":"https:\/\/www.uqac.ca\/uqactualites\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/20fbbda8a292f59f2d3461a5b999c00b?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/20fbbda8a292f59f2d3461a5b999c00b?s=96&d=mm&r=g","caption":"Service des communications et des relations publiques"},"url":"https:\/\/www.uqac.ca\/uqactualites\/author\/bap\/"}]}},"_links":{"self":[{"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/posts\/19319"}],"collection":[{"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/comments?post=19319"}],"version-history":[{"count":0,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/posts\/19319\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/media?parent=19319"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/categories?post=19319"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.uqac.ca\/uqactualites\/wp-json\/wp\/v2\/tags?post=19319"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}