Renforcement formel et automatique de la sécurité informatique

加强信息安全的自动和自动化

• 批准号: 250328-2011
• 负责人: Mejri, Mohamed
• 金额: $ 2.11万
• 依托单位: Université Laval
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2012
• 资助国家: 加拿大
• 起止时间: 2012-01-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=508280
• 关键词: Renforcement; formel; et; automatique; de

Depuis l'avènement de l'Internet, la liste d'incidents liés à la sécurité informatique ne cesse de s'allonger. L'Internet a non seulement donné d'innombrables nouvelles possibilités attrayantes et à faible coût tant pour les individus que pour les sociétés et les gouvernements, mais a aussi suscité de nombreuses idées chez ceux qui cherchent de l'argent facile, les terroristes, et ceux qui trouvent du plaisir à saccager les sites informatiques des autres. Une faille, aussi infime soit-elle, dans un système informatique, peut engendrer des conséquences indésirables et parfois irréversibles tant sur le plan humain que sur le plan financier. Pour minimiser le risque, plusieurs techniques et outils ont été mis en place au cours des dernières années. Leur objectif est de faire en sorte que nos systèmes informatiques fonctionnent "tout le temps" en produisant les résultats escomptés. La duplication du matériel et les tests des logiciels sont parmi les techniques les plus utilisées. Cependant, sans méthodes formelles, rien n'est garanti et des problèmes peuvent surgir à tout moment.

L代表L的互联网，S的事件列表和S的信息服务。L的互联网不可能成为一个无名小卒，但也有可能成为S等人的朋友，因为S等人并不是所有人中的一员，而是一位游牧民族，他的工作就是让L的工作变得更便捷，更方便，更恐怖，更方便。一次失败，一次又一次的失败，所有的信息都是系统的信息，它的生成者是问题的创造者，也是不可靠的计划的出资人。Pour Minimiser le Risque，Plusieur Techniques et outtils ontétémis en Place au Cours des dernières années.我们的目标是将信息系统的信息功能归类到生产企业S的生产中。复制材料和设备测试的是逻辑技术和实用工具。在这一时刻，我们的生活将会变得更加美好。