Renforcement formel et automatique de la sécurité informatique

点击翻译按钮获取中文摘要

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.