L'Académie chinoise des sciences progresse dans les algorithmes de chiffrement par blocs dans la cryptanalyse différentielle

Nouvelles de ce site le 20 novembre, selon le compte public officiel de l'Institut du logiciel de l'Académie chinoise des sciences, récemment, l'équipe de recherche sur les systèmes intelligents de confiance de l'Institut du logiciel de l'Académie chinoise des sciences s'est assurée progrès dans la cryptanalyse différentielle des algorithmes de chiffrement par blocs.

Il est rapporté que l'équipe de travail a conçu un langage de programmation de domaine EasyBC pour les algorithmes de chiffrement par blocs. Sur cette base, elle a proposé une méthode de cryptanalyse différentielle universelle et évolutive et a développé une plateforme d'outils d'analyse entièrement automatique EasyBC.

▲ Organigramme de la plateforme EasyBC, source d'image compte public officiel de l'Institut du logiciel, Académie chinoise des sciences

Selon les informations divulguées par l'Institut du logiciel, Académie chinoise des sciences, nous avons appris que ce résultat de recherche a été accepté par POPL 2024, la plus grande conférence internationale sur les langages de programmation. Et le titre est « EasyBC : un langage spécifique à la cryptographie pour la cryptanalyse différentielle ». L'auteur correspondant de l'étude est le chercheur Song Fu du Laboratoire d'État d'informatique de l'Institut du logiciel. Il est rapporté que l'algorithme de chiffrement par blocs (chiffrement par blocs) divise le texte brut en plusieurs modules (blocs) de longueur égale. utilise une clé symétrique pour chiffrer chaque groupe. Les groupes sont respectivement cryptés ou déchiffrés et sont largement utilisés dans de nombreux domaines tels que le cryptage des e-mails, les transferts de transactions bancaires

.

En tant que composant extrêmement important des protocoles de cryptage, les algorithmes de cryptage par blocs traditionnels incluent SM1, SM4 et SM7 promulgués par l'Administration nationale de cryptozoologie de Chine, ainsi que les algorithmes standard AES et 3DES approuvés par le gouvernement américain.

La cryptanalyse différentielle joue un rôle central dans l'évaluation de la sécurité des algorithmes de chiffrement par blocs et constitue une méthode d'analyse de sécurité indispensable pour les algorithmes de cryptage par blocs standardisés.

Les méthodes de cryptanalyse différentielle existantes présentent certaines limites en termes de polyvalence et d'automatisation. , la complexité du processus de modélisation nécessite que les utilisateurs soient familiarisés avec un grand nombre de méthodes de modélisation et l'application des outils d'analyse sous-jacents.

Afin de résoudre les problèmes ci-dessus, l'équipe de recherche a développé EasyBC, un langage de programmation de haut niveau spécifiquement utilisé pour la cryptographie. Ce langage fournit une définition formelle complète de la syntaxe, du type et de la sémantique, et fournit une analyse automatique de la sécurité du bloc. algorithmes de cryptage. Bonne base. En outre, l'équipe de recherche a également proposé trois méthodes de cryptanalyse différentielle avec une précision et des performances d'analyse différentes. Ces méthodes non seulement unifient et optimisent les méthodes de modélisation existantes de diverses opérations de chiffrement, mais proposent également une variété de nouvelles méthodes de modélisation

La. le contenu qui doit être réécrit est : ▲23 primitives de cryptage implémentées dans le langage EasyBC, source d'image du compte public officiel de l'Institut du logiciel, Académie chinoise des sciences

L'équipe de recherche a implémenté 23 primitives de cryptage, y compris les normes et technologies nationales américaines L'Institut national des normes et technologies (NIST) a certifié l'algorithme de remplacement sous-jacent du système de chiffrement et une variété d'algorithmes de chiffrement par blocs couramment utilisés et a effectué une analyse de sécurité des primitives de chiffrement par blocs, vérifiant ainsi la capacité d'expression du langage EasyBC et Efficacité de l'analyse automatisée de la sécurité de la plateforme d'outils EasyBC.

▲ Résultats de l'analyse de sécurité des chiffrements différentiels des primitives de chiffrement implémentés par Word-wise, source : Le compte public officiel de l'Institut du logiciel, Académie chinoise des sciences

L'Institut du logiciel, Académie chinoise des sciences a déclaré que cette étude étudie la cryptanalyse différentielle des algorithmes de chiffrement par blocs. Elle est d'une grande importance et fournit une bonne base de recherche et un bon support de plate-forme pour les chercheurs ultérieurs liés à la cryptographie pour effectuer une analyse de sécurité entièrement automatique des algorithmes de chiffrement par blocs et une évaluation des performances de diverses méthodes de modélisation des opérations informatiques.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!