Vi ser över SM2-protokollet, som används i stor utsträckning i kinesiska kommersiella tillämpningar och av kinesiska myndigheter. Även om det vid det här laget är standard praxis för protokolldesigners att tillhandahålla säkerhetsbevis i allmänt accepterade säkerhetsmodeller för att säkerställa protokoll implementerare av sina säkerhetsegenskaper, SM2-protokollet inte har ett bevis på säkerhet. I detta dokument visar vi säkerheten för SM2-protokollet i den allmänt accepterade oskiljaktighet-baserade Bellare-Rogaway modell under den elliptiska kurvan diskret logaritm problem (ECDLP) antagande. Vi presenterar också en förenklad och effektivare version av SM2-protokollet med ett åtföljande säkerhetsintyg.
Yang m.fl. REF använde den oskiljaktiga Bellare-Rogaway-modellen för att bevisa säkerheten i SM2-protokollet.
Provably-Secure (Chinese Government) SM2 and Simplified SM2 Key Exchange Protocols
{'venue': 'The Scientific World Journal', 'journal': 'The Scientific World Journal', 'mag_field_of_study': ['Computer Science', 'Medicine']}