权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Sécurité des systèmes et réseaux informatiques

系统和信息资源安全

基本信息

批准号：
250270-2011
负责人：
Adi, Kamel
金额：
$ 1.75万
依托单位：
Québec en Outaouais
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2017
资助国家：
加拿大
起止时间：
2017-01-01 至 2018-12-31
项目状态：
已结题

来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634988
关键词：
curit des syst mes et

项目摘要

Ces dernières années ont connu un accroissement spectaculaire dans l'utilisation des systèmes et réseaux informatiques et ce dans tous les aspects des activités humaines. Cet accroissement s'est aussi accompagné d'une complexité accrue des technologies de l'information qui sont désormais à caractère distribué, ouvert et mobile. Malheureusement, ce développement a aussi engendré de nouvelles vulnérabilités exposant ainsi ces systèmes et réseaux informatiques à un nombre croissant et à un éventail plus large de menaces, lesquelles posent maintenant de nouveaux problèmes de sécurité. Le nombre de vulnérabilités informatique a progressé de manière fulgurante ces dernières années et à l'ère du numérique, ces failles engendrent un impact dévastateur sur toute la sphère économique. Nos recherches visent le développement et l'application de méthodes formelles et rigoureuses pour la résolution de problématiques liées à la sécurité informatique. Plus spécifiquement, Notre objectif de recherche est de mettre en place un cadre formel pour la spécification, la vérification, la validation et le renforcement de politiques de sécurité dans les systèmes informatiques. Ce cadre doit prendre en charge trois niveaux et vues du système informatique allant du niveau organisationnelle et passant du niveau réseau et middleware jusqu'au niveau application. À terme, notre programme de recherche aura le mérite de faire bénéficier, pour des considérations et des besoins pratiques, des formalismes théoriques rigoureux tels que les algèbres de processus, les fondements sémantiques, la logique, l'interprétation abstraite, les théories de types, etc. L'objectif ultime étant le développement de méthodologies et d'outils logiciels pour garantir la sécurité des systèmes et des réseaux informatiques.

这些最后一年在信息系统和网络的利用方面以及在人类活动的图斯所有方面都取得了进展。Cet accroissement s'est aussi accompagné d'une complexité accumulate des technologies de l'information qui sont désormais à caractère distribué，ouvert et移动的. Malheureusement，ce déceppement a aussi engendré de nouvelles vulnérabilités promisant ainsi ces systèmes et réseaux informatiques à un nombre croissant et à un éventail plus large de reaces，lesquelles posent maintenant de nouveaux problèmes de sécurité.这些失败对整个经济增长产生了负面影响。我们研究如何制定和应用形式和严格的方法，以解决信息安全方面的问题。此外，具体而言，研究的目标是在信息系统中建立一个专门、核实、验证和加强安全政策的框架。这名干部负责三个新的和新的信息系统，这些信息系统既适用于新的Au组织，也适用于新的Au资源Au和中间件，只适用于Au新的Au应用。该泰尔梅，我们的研究计划，旨在提高系统和信息网络的安全性。