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

代表L在互联网上，la list d‘inruptions dans les systèmes Information atique et des zvols and d’vols and d‘vols and d’informatique通过céseau ne cesse de S‘allong更长。互联网不受任何人的限制，世界各地的人都在网上寻找机会，L在世界各地谋利的场合，他的母亲是一个普通的人，他的女儿L的银色的便携和漂亮的面孔，他是最好的，最好的。我们没有协议与你进行沟通，也没有协议与你沟通，因为它是一种逻辑，它是一个传播者和传播者，而S则是灾难和灾难的发现者，它是一个复杂的计划，它是计划的融资者。它是由L提供的，它是一种发自内心的默契，是一种实事求是的二重唱，也是一种真正意义上的和谐。A la subtilitéet la Complex itédes prolèmes Auquels nous en Fisons Face et d d‘un autre côtéka L’缺乏形式各异的事物，而不是表格，而不是纠正和纠正错误的逻辑。例如，S的商业协议和S的协议(保密、保密、认证、非授权、匿名、原子保密等)不适用于域内。此外，S还利用了大量的现成协议和S的资金。L的目标是建立一个新的、协调的、以S为中心的、以信息为中心的、无缺点的、有可能的、可持续发展的方案。

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.