Sécurité et fiabilité des logiciels

逻辑安全与不可靠

• 批准号: 298248-2007
• 负责人: Ktari, Béchir
• 金额: $ 1.09万
• 依托单位: Université Laval
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2007
• 资助国家: 加拿大
• 起止时间: 2007-01-01 至 2008-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=366375
• 关键词: curit; et; fiabilit; des; logiciels

Une des grandes préoccupations actuelle demeure la sécurité et la fiabilité des logiciels : Les utilisateurs désirent des logiciels sûrs qui effectuent efficacement les tâches qu'on leur demande sans faire d'opérations malveillantes comme transmettre des données critiques à des personnes non-concernées. Face à la multiplication des menaces informatiques, toutes les instances fédérales et provinciales du Canada s'affairent à sécuriser leurs systèmes d'information. Ces dernières années ont vu apparaître, tant au niveau fédéral qu'auniveau provincial, des centres d'étude et de prévention de la sécurité informatique. Les risques sont réels et la moindre erreur peut engendrer des conséquences indésirables.Ma recherche s'inscrit dans ce contexte de sécurité et de fiabilité des logiciels et vise à proposer de nouvelles solutions pour les systèmes actuels (ordinateurs classiques) et les systèmes futurs (comme les ordinateursquantiques). Plus précisément, ma recherche se concentre à la réalisation de deux objectifs:1- Le premier vise à créer un pont entre le domaine de l'informatique quantique et la certification de logiciels via deux piliers principaux : le développement d'un assembleur quantique qui permet le support naturel de lacertification de logiciels et l'adaptation et la découverte de méthodes de certification de logiciels appropriées pour le domaine quantique.2- Le deuxième vise à concevoir et à implanter une architecture, basée sur une analyse statique de code, de certification de logiciels à travers la génération par un compilateur-certificateur, outre du code assembleur, d'un modèle abstrait et certifié du programme à analyser (à compiler).

《S和逻辑的实际行动》：《逻辑的功用》和《S的逻辑》是一项有效的有效措施，因为人们不关心这些问题。面对着威胁和信息的倍增，加拿大S的工作人员S的工作人员学习了信息系统。在S的信息中心，各省都有自己的信息和技术中心。这句话的意思是：《S的逻辑和未来的解决方案》(comme les ciateurs.Quantique)。在此基础上，提出了两个目标：1、L的信息量化和逻辑认证体系结构；2、编译人员对证书的编译器、代码的汇编器、代码的汇编器和证书的程序(分析器)的分析。