![\"\"](\"http:\/\/kapitalis.com\/tunisie\/wp-content\/uploads\/2018\/12\/Adel-Bouhoula-Tsukuba.jpg\")
<\/p>\n<\/p>\n
Adel Bouhoula donnant ses cours \u00e0 Tsukuba University.<\/em><\/p>\n Le professeur Adel Bouhoula est rentr\u00e9 du Japon, o\u00f9 il \u00e9tait l\u2019invit\u00e9 de Tsukuba University, avec un projet de conf\u00e9rence internationale sur l\u2019intelligence artificielle et la s\u00e9curit\u00e9 des syst\u00e8mes critiques qui se tiendra en mars 2020 en Tunisie.<\/strong><\/em><\/p>\n <\/p>\n Cette conf\u00e9rence internationale portera sur le th\u00e8me \u00abUtilisation des techniques d\u2019intelligence artificielle et des m\u00e9thodes formelles pour plus de s\u00fbret\u00e9 et de s\u00e9curit\u00e9 des syst\u00e8mes critiques\u00bb<\/em>. Elle sera co-organis\u00e9e par le laboratoire de recherche \u00abS\u00e9curit\u00e9 Num\u00e9rique\u00bb<\/em> de l\u2019\u00c9cole sup\u00e9rieure des communications de Tunis de l\u2019Universit\u00e9 de Carthage et l’Universit\u00e9 de Tsukuba au Japon, une des plus prestigieuses universit\u00e9s au Japon, comptant \u00e0 son actif trois prix Nobel.<\/p>\n Cette conf\u00e9rence permettra de valoriser l\u2019intelligence et la haute qualification des chercheurs tunisiens dans le domaine des technologies de l\u2019information et de la communication et r\u00e9unir le plus grand nombre de comp\u00e9tences internationales dans ce domaine de pointe, afin de faciliter une synergie fructueuse entre elles et inciter \u00e0 l\u2019innovation technologique.<\/p>\n La th\u00e9matique de la conf\u00e9rence est d\u2019actualit\u00e9. En effet, le d\u00e9veloppement de syst\u00e8mes critiques dont les d\u00e9faillances peuvent avoir des cons\u00e9quences d\u00e9sastreuses (par exemple les transactions bancaires, sant\u00e9, a\u00e9ronautique), n\u00e9cessite l\u2019utilisation de m\u00e9thodes de conception fiables bas\u00e9es sur des approches formelles.<\/p>\n Les m\u00e9thodes formelles sont des m\u00e9thodes rigoureuses, bas\u00e9es sur la th\u00e9orie. Elles permettent donc de raisonner sur les syst\u00e8mes et de les analyser afin de d\u00e9montrer leur validit\u00e9 par rapport \u00e0 certaines propri\u00e9t\u00e9s.<\/p>\n D\u2019autre part, les techniques traditionnelles de d\u00e9tection des attaques bas\u00e9es principalement sur des signatures ne sont plus adapt\u00e9es pour faire face \u00e0 l\u2019immense quantit\u00e9 de donn\u00e9es \u00e0 traiter par les analystes s\u00e9curit\u00e9 et aux menaces de plus en plus complexes.<\/p>\n C\u2019est la raison pour laquelle, l\u2019utilisation des techniques de l\u2019apprentissage profond\/automatique \u00abDeep\/Machine\u00bb<\/em> et le traitement de donn\u00e9es massives \u00abBig Data\u00bb<\/em> permettent de lutter efficacement contre les cyber-attaques.<\/p>\n En effet, \u00e0 partir des donn\u00e9es (fichiers de logs, bases de donn\u00e9es d\u2019attaques connues\u2026), les syst\u00e8mes bas\u00e9s sur le Deep\/Machine Learning nous permettent de comprendre et d\u2019apprendre la mani\u00e8re dont les hackers pensent, et d\u2019acc\u00e9l\u00e9rer l\u2019apprentissage quand il y a beaucoup de donn\u00e9es ou trafic. Plus un syst\u00e8me bas\u00e9 sur le Deep\/Machine Learning re\u00e7oit de donn\u00e9es, plus il apprend et plus il devient pr\u00e9cis, et permet de distinguer efficacement une tentative d\u2019attaques d\u2019un trafic l\u00e9gitime. C\u2019est ainsi qu\u2019on devient en mesure de pr\u00e9venir les nouvelles attaques tout en minimisant les \u00abfausses alertes\u00bb<\/em>.<\/p>\n Une autre facette de la coop\u00e9ration entre Tsukuba University et le laboratoire de recherche \u00abS\u00e9curit\u00e9 Num\u00e9rique\u00bb<\/em> de l\u2019Universit\u00e9 de Carthage ce sont les stages qu\u2019y effectuent r\u00e9guli\u00e8rement depuis quelques ann\u00e9es des \u00e9tudiants de la prestigieuse universit\u00e9 japonaise. Dans ce cadre, un nouvel \u00e9tudiant japonais de l\u2019universit\u00e9 de Tsukuba va effectuer un stage en 2019 au sein du laboratoire de recherche \u00abS\u00e9curit\u00e9 Num\u00e9rique\u00bb<\/em> de l\u2019Universit\u00e9 de Carthage, sous la direction du professeur Bouhoula sur le th\u00e8me : \u00abUtilisation des m\u00e9thodes formelles pour la v\u00e9rification de la configuration des \u00e9quipements de s\u00e9curit\u00e9\u00bb<\/em>.<\/p>\n Cette d\u00e9cision a \u00e9t\u00e9 prise \u00e0 l\u2019issue d\u2019un s\u00e9jour scientifique du professeur Bouhoula \u00e0 l\u2019Universit\u00e9 de Tsukuba au Japon en novembre 2018 durant lequel il a anim\u00e9 une conf\u00e9rence et a dispens\u00e9 un cours intensif (sanctionn\u00e9 par un examen) autour de ses derniers travaux de recherche sur le th\u00e8me de validation formelle des syst\u00e8mes critiques et des protocoles de s\u00e9curit\u00e9 utilis\u00e9s particuli\u00e8rement dans le secteur bancaire.<\/p>\n La coop\u00e9ration entre le professeur Bouhoula et ses coll\u00e8gues japonais a d\u00e9marr\u00e9 en 1996, suite \u00e0 un s\u00e9jour scientifique d\u2019une ann\u00e9e qu\u2019il a effectu\u00e9 au centre international de recherche de Stanford (SRI International), en Californie, aux Etats-Unis. Durant ce s\u00e9jour, il avait pr\u00e9sent\u00e9 ses travaux de recherches en pr\u00e9sence des chercheurs japonais. Fort int\u00e9ress\u00e9s par ses travaux, ils l\u2019ont recrut\u00e9 comme consultant dans le cadre d\u2019un projet de recherche international dirig\u00e9 par le Mitsubishi Research Institute (MRI) Tokyo et auquel \u00e9taient associ\u00e9s des chercheurs de quatre grands pays industrialis\u00e9s (Japon, Etats-Unis, France et Allemagne), ayant pour but \u00able d\u00e9veloppement d\u2019un environnement distribu\u00e9 pour supporter la cr\u00e9ation, le contr\u00f4le, la v\u00e9rification et la maintenance des sp\u00e9cifications formelles\u00bb.<\/em><\/p>\n La coop\u00e9ration avec l\u2019Universit\u00e9 de Tsukuba s\u2019est intensifi\u00e9e en 2007 et pris la forme d\u2019un enseignement dispens\u00e9 par le \u00abProfesseur invit\u00e9\u00bb<\/em> \u00e0 l\u2019Universit\u00e9 de Tsukuba, l\u2019encadrement des \u00e9tudiants japonais de l\u2019Universit\u00e9 de Tsukuba par le professeur Bouhoula lors de stages en Tunisie (des \u00e9tudiants japonais en master et en th\u00e8se de doctorat) dans le domaine de la validation formelle des syst\u00e8mes critiques \u2013 dont les r\u00e9sultats de recherche des stages effectu\u00e9s en Tunisie ont \u00e9t\u00e9 publi\u00e9s dans des revues et des conf\u00e9rences scientifiques sp\u00e9cialis\u00e9es et de renomm\u00e9e internationale \u2013 et l\u2019organisation en Tunisie de plusieurs conf\u00e9rences avec l\u2019Universit\u00e9 de Tsukuba sur le th\u00e8me de la \u00abvalidation formelle des syst\u00e8mes critiques\u00bb, dont la derni\u00e8re a \u00e9t\u00e9 organis\u00e9e \u00e0 Gammarth en 2017 avec la participation d’\u00e9minent professeurs et chercheurs japonais, autrichiens, canadiens, belges, sud-cor\u00e9ens, allemands, indiens, fran\u00e7ais et tunisiens.<\/p>\n Source<\/strong><\/em> : communiqu\u00e9.<\/p>\n![\"\"](\"http:\/\/kapitalis.com\/tunisie\/wp-content\/uploads\/2018\/12\/Adel-Bouhoula-2.png\")
<\/p>\n