Une synergie entre les méthodes formelles et la sécurité informatique

随着互联网的发展，通过该网络对信息系统和信息卷的入侵清单不再存在。Internet a non seulement donné une 世界各地的商人都有机会利用这个机会获得世界虚拟市场的利润，但迈斯也有许多想法，其中图斯认为，他们很容易获得白银，并希望获得其他人的信息。 这是所有人都想知道的，在通信协议中， 或者说，在其他逻辑中，人类计划可能会产生一些不可避免的、几乎是灾难性的和可预见的后果，而这些后果是金融计划的后果。 虽然危险的气息总是伴随着我们前进，但我们不应该再去尝试生产的必然性，而这会破坏我们的意志和行为。 Ceci认为，在一个国家，我们面临的问题是微妙和复杂的，而另一个国家则缺乏确保我们逻辑正确的方法。电子商务协议 使用 倒 应答 à des besoins sécuritaires（confidentialité，intégrité，authentification，non-répudiation，anonymat，atomicité des biens et de l'argent，etc.） 但这一领域的专家们却一直在关注。然而，这些协议在许多年后都得到了广泛的应用。 建议的研究目标包括建立逻辑遗传学方法和信息安全方法之间的协同作用，以及建立一个无故障电子商务协议概念的核心和一个其他的核心，以确保在可能的情况下，一个方案不应被视为一个安全政策。

Depuis l'avènement de Internet, la liste d'intrusions dans les systèmes informatiques et des  vols  d'information  via  ce  réseau ne cesse de s'allonger. Internet a non seulement donné une   parfaite vitrine aux commerçants du monde entier qui y trouvent l'occasion de profiter  d'un marché virtuel  mondial,  mais a aussi suscité de nombreuses idées chez tous ceux qui cherchent de l'argent facile et ceux qui trouvent un grand plaisir à saccager les sites informatiques des autres.  Il  est par  ailleurs  très inquiétant de savoir qu'une faille, aussi infime soit-elle, dans un protocole de communication   ou  dans  n'importe  quel  autre  logiciel  peut  engendrer  des  conséquences  très indésirables et parfois catastrophiques et irréversibles tant sur le plan humain  que  sur  le  plan financier.  Bien  que  l'ampleur  du  danger  soit  souvent connu d'avance, nous n'avons pas réussi à maintes reprises d'empêcher l'indésirable de se produire, et ce malgré la présence de la volonté  et des  moyens.  Ceci est dû souvent, d'un côté, à la subtilité et la complexité des problèmes auxquels nous en faisons face et d'un autre côté à l'absence de méthodes formelles bien  établies  permettant de  garantir  la  correction  de nos logiciels. Les protocoles de commerce électronique qui sont par exemple   utilisés   pour   répondre   à   des  besoins  sécuritaires  (confidentialité,  intégrité, authentification, non-répudiation, anonymat, atomicité des biens  et  de  l'argent,  etc.)  ont  été souvent conçus par des spécialistes dans le domaine. Cependant, nombreux sont les protocoles qui ont été démontrés défaillants plusieurs années après leur utilisation.     L'objectif de la recherche ci-proposée  consiste  à  établir  une  synergie  harmonieuse  entre  les méthodes formelles du génie logiciel et la sécurité informatique, et ce d'un côté pour la conception de protocoles de commerce électronique sans failles et d'un autre côté pour garantir, dans la mesure de  possible,  qu'un  programme  ne  viole  pas une politique de sécurité donnée.