Renforcement formel et automatique de la sécurité informatique

互联网管理部门，列出了一系列的事件，例如，在过去的一年里，在过去的一年里，在过去的一年里，在过去的一年里，在过去的一年里，因特网是不可预知的，新的可能性是可变的，个人是可变的，社会是可变的，政府是可变的，个人是可变的，社会是可变的，恐怖分子是可变的，社会是可变的，信息是可变的，信息是可变的。一个失败的例子是，在系统信息方面，它产生了许多不可预知的、不可预知的、不可预知的、不可预知的、不可预知的、不可预知的、不可预知的、不可预知的、不可预知的计划。为了尽量减少危险，增加技术，并将其应用于所有的<s:1> <s:1> <s:1> <s:1>和<s:1> <s:1> <s:1>和<s:1> <s:1>。我们最客观的目标是在各种系统的信息功能中“输出数据”，在生产性的数据交换和数据交换中。“复制”和“复制”是指“复制”、“复制”、“复制”、“复制”和“复制”。独立的，不携带携带的，不携带携带的，不携带携带的，不携带携带的，不携带携带的。

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.