Die Chinesische Akademie der Wissenschaften macht Fortschritte bei Blockverschlüsselungsalgorithmen in der differenziellen Kryptoanalyse

Neuigkeiten von dieser Website vom 20. November, laut offizieller öffentlicher Darstellung des Instituts für Software der Chinesischen Akademie der Wissenschaften, kürzlich hat das Trusted Intelligent System Research Team des Instituts für Software der Chinesischen Akademie der Wissenschaften dies sichergestellt Fortschritte in der differenziellen Kryptoanalyse von Blockverschlüsselungsalgorithmen.

Es wird berichtet, dass das Arbeitsteam eine Domänenprogrammiersprache EasyBC für Blockverschlüsselungsalgorithmen entworfen hat. Auf dieser Grundlage hat es eine universelle und skalierbare differenzielle Kryptoanalysemethode vorgeschlagen und eine vollautomatische Analysetoolplattform EasyBC entwickelt.

▲ Flussdiagramm der EasyBC-Plattform, Bildquelle, offizieller öffentlicher Bericht des Instituts für Software der Chinesischen Akademie der Wissenschaften

Nach den vom Institut für Software der Chinesischen Akademie der Wissenschaften veröffentlichten Informationen haben wir erfahren, dass dieses Forschungsergebnis vorliegt wurde von POPL 2024, der führenden internationalen Konferenz für Programmiersprachen, angenommen und trägt den Titel „EasyBC: Eine kryptographiespezifische Sprache für die differenzielle Kryptoanalyse“. Der korrespondierende Autor der Studie ist der Forscher Song Fu vom State Key Laboratory of Computer Science des Institute of Software. Es wird berichtet, dass der Blockverschlüsselungsalgorithmus (Block Cipher) den Klartext in mehrere Module (Blöcke) gleicher Länge unterteilt und verwendet Ein symmetrischer Schlüssel zum Verschlüsseln jeder Gruppe wird verschlüsselt bzw. entschlüsselt und wird in vielen Bereichen wie E-Mail-Verschlüsselung und Banktransaktionsübertragungen häufig verwendet.

Als äußerst wichtiger Bestandteil von Verschlüsselungsprotokollen umfassen die gängigen Blockverschlüsselungsalgorithmen SM1, SM4 und SM7, die von der State Cryptozoology Administration of China veröffentlicht wurden, sowie die von der US-Regierung genehmigten Standardalgorithmen AES und 3DES. Die differenzielle Kryptoanalyse spielt eine zentrale Rolle bei der Bewertung der Sicherheit von Blockverschlüsselungsalgorithmen und ist eine unverzichtbare Sicherheitsanalysemethode für standardisierte Blockverschlüsselungsalgorithmen.

Die bestehenden differenziellen Kryptoanalysemethoden weisen jedoch gewisse Einschränkungen hinsichtlich der Vielseitigkeit und Automatisierung auf Aufgrund der Komplexität des Modellierungsprozesses müssen Benutzer mit einer Vielzahl von Modellierungsmethoden und der Anwendung der zugrunde liegenden Analysewerkzeuge vertraut sein.

Um die oben genannten Probleme zu lösen, hat das Forschungsteam EasyBC entwickelt, eine Programmiersprache auf hoher Ebene, die speziell für die Kryptographie verwendet wird. Diese Sprache bietet eine vollständige formale Definition von Syntax, Typ und Semantik und ermöglicht eine automatische Analyse der Blocksicherheit Verschlüsselungsalgorithmen. Gute Grundlage. Darüber hinaus schlug das Forschungsteam drei differenzielle Kryptoanalysemethoden mit unterschiedlicher Analysegenauigkeit und -leistung vor. Diese Methoden vereinheitlichen und optimieren nicht nur die vorhandenen Modellierungsmethoden verschiedener Verschlüsselungsvorgänge, sondern schlagen auch eine Vielzahl neuer Modellierungsmethoden vor Der Inhalt, der neu geschrieben werden muss, ist: ▲23 Verschlüsselungsprimitive, implementiert in der EasyBC-Sprache, Bildquelle aus dem offiziellen öffentlichen Konto des Instituts für Software der Chinesischen Akademie der Wissenschaften

Das Forschungsteam implementierte 23 Verschlüsselungsprimitive, einschließlich American National Standards and Technology Das National Institute of Standards and Technology (NIST) zertifizierte den zugrunde liegenden Ersatzalgorithmus des Verschlüsselungsschemas und eine Vielzahl häufig verwendeter Blockverschlüsselungsalgorithmen und führte eine Sicherheitsanalyse der Blockverschlüsselungsprimitive durch und verifizierte so die Ausdrucksfähigkeit der EasyBC-Sprache Wirksamkeit der automatisierten Analyse der Sicherheit der EasyBC-Toolplattform.

▲ Sicherheitsanalyseergebnisse der differenziellen Kryptographie von Verschlüsselungsprimitiven, die von Word-wise implementiert wurden, Quelle: Der offizielle öffentliche Bericht des Instituts für Software der Chinesischen Akademie der Wissenschaften

Das gab das Institut für Software der Chinesischen Akademie der Wissenschaften bekannt Diese Studie untersuchte die differenzielle Kryptoanalyse von Blockverschlüsselungsalgorithmen. Sie ist von großer Bedeutung und bietet eine gute Forschungsgrundlage und Plattformunterstützung für nachfolgende kryptographiebezogene Forscher, um eine vollautomatische Sicherheitsanalyse von Blockverschlüsselungsalgorithmen und eine Leistungsbewertung verschiedener Methoden zur Modellierung von Rechenoperationen durchzuführen.

Das obige ist der detaillierte Inhalt vonDie Chinesische Akademie der Wissenschaften macht Fortschritte bei Blockverschlüsselungsalgorithmen in der differenziellen Kryptoanalyse. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!