Renforcement formel et automatique de la sécurité informatique

随着互联网的发展，信息安全事件列表不再存在。互联网对社会和政府的个人来说，没有任何新的吸引力和可能性，迈斯也怀疑那些容易获得金钱、恐怖主义者和寻找其他信息网站的人。 在一个信息系统中，一个失败的，而且是不确定的，可能会对人类计划产生不可避免的后果，也可能对金融计划产生不可避免的后果。为了最大限度地减少风险，多项技术和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.材料的重复和逻辑的测试是技术的最佳应用。但是，如果没有正式的方法，这些问题就不会得到保证，也不会随时发生。 Ce qui complique encore la tâche is la complex des systèmes informatiques eux-mêmes dont les specifications font intervenir des aspects multiple et compliqués tels que la concurrence，le temps réel，les codes mobile et la sécurité. La complexité de ces aspects combinée à l'exigence Au niveAu de la qualité requise font en sorte que le dépément d'un système de bon calibre est très cocoquitteux et souvent inaccessible pusieurs petites et moyennes entreprises. 研究提出了加强信息系统自动化的技术和方法，以确保信息系统的安全。

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. Ce qui complique encore la tâche est la complexité des systèmes informatiques eux-mêmes dont les spécifications font intervenir des aspects multiples et compliqués tels que la concurrence, le temps réel, les codes mobiles et la sécurité. La complexité de ces aspects combinée à l'exigence au niveau de la qualité requise font en sorte que le développement d'un système de bon calibre est très coûteux et souvent inaccessible pour plusieurs petites et moyennes entreprises. La recherche ci-proposée vise à développer des techniques et des outils permettant de renforcer automatiquement une politique de sécurité dans un système informatique tout en garantissant le résultat en utilisant les méthodes formelles.