중국과학원, 차등암호분석 분야의 블록암호알고리즘 발전

11월 20일 이 사이트의 소식에 따르면 중국과학원 소프트웨어 연구소의 공식 공개 계정에 따르면 최근 중국과학원 소프트웨어 연구소의 신뢰할 수 있는 지능형 시스템 연구팀은 다음과 같은 사실을 확신했습니다. 블록 암호화 알고리즘의 차등 암호 분석이 진행됩니다.

작업팀은 블록 암호화 알고리즘을 위한 도메인 프로그래밍 언어 EasyBC를 설계했으며, 이를 기반으로 보편적이고 확장 가능한 차등 암호분석 방법을 제안하고 완전 자동 분석 도구 플랫폼인 EasyBC를 개발했다고 합니다.

▲ EasyBC 플랫폼 흐름도, 사진 출처 중국과학원 소프트웨어연구소 공식 공개 계정

중국과학원 소프트웨어연구소에서 공개한 정보에 따르면 이 연구 결과는 프로그래밍 언어에 관한 최고의 국제 회의인 POPL 2024에서 승인되었으며 제목은 "EasyBC: 차등 암호 분석을 위한 암호 관련 언어"입니다. 해당 연구의 교신저자는 소프트웨어연구소 컴퓨터과학 국가핵심연구소 송푸 연구원이다. 블록암호 알고리즘(블록암호)은 평문을 여러 개의 동일한 길이의 모듈(블록)로 나누어 사용하는 것으로 알려졌다. 각 그룹을 암호화하는 대칭키는 각각 암호화되거나 복호화되며 이메일 암호화, 은행 거래 이체

등 다양한 분야에서 널리 사용됩니다.

암호화 프로토콜의 매우 중요한 구성 요소인 주류 블록 암호화 알고리즘에는 중국 국가 암호 동물학 관리국에서 공포한 SM1, SM4 및 SM7과 미국 정부가 승인한 표준 알고리즘 AES 및 3DES가 ​​포함됩니다.

차등 암호분석은 블록 암호화 알고리즘의 보안성을 평가하는 핵심 역할을 하며 표준화된 블록 암호화 알고리즘에 없어서는 안될 보안 분석 방법입니다.

기존 차등 암호분석 방법은 다양성과 자동화 측면에서 일정한 한계를 가지고 있습니다. , 모델링 프로세스의 복잡성으로 인해 사용자는 다양한 모델링 방법과 기본 분석 도구의 적용에 익숙해야 합니다.

위 문제를 해결하기 위해 연구팀은 암호화에 특별히 사용되는 고급 프로그래밍 언어인 EasyBC를 개발했습니다. 이 언어는 구문, 유형 및 의미에 대한 완전한 형식 정의를 제공하고 블록 보안에 대한 자동 분석을 제공합니다. 암호화 알고리즘이 좋습니다. 또한, 연구팀은 분석 정확도와 성능이 다른 세 가지 차등 암호해석 방법도 제안했습니다. 이러한 방법은 다양한 암호화 연산의 기존 모델링 방법을 통합하고 최적화할 뿐만 아니라 다양한 새로운 모델링 방법을 제안합니다

다시 작성해야 하는 내용은 다음과 같습니다. ▲EasyBC 언어로 구현된 23개의 암호화 기본 요소, 중국과학원 소프트웨어 연구소 공식 공개 계정의 사진 출처

연구팀은 미국 국가 표준 및 기술을 포함하여 23개의 암호화 기본 요소를 구현했습니다. NIST(National Institute of Standards and Technology)는 암호화 방식의 기본 대체 알고리즘과 일반적으로 사용되는 다양한 블록 암호화 알고리즘을 인증하고 블록 암호 기본 요소에 대한 보안 분석을 수행하여 EasyBC 언어의 표현 능력을 검증했습니다. EasyBC 도구 플랫폼 보안의 자동 분석 효과.

▲ Word-wise로 구현된 암호화 기본 요소의 차등 암호에 대한 보안 분석 결과, 출처: 중국과학원 소프트웨어 연구소 공식 공개 계정

중국과학원 소프트웨어 연구소는 다음과 같이 밝혔습니다. 본 연구는 블록암호 알고리즘의 차등암호분석을 연구하며, 후임 암호학 관련 연구자들이 블록암호 알고리즘의 전자동 보안분석과 다양한 연산연산 모델링 방법의 성능평가를 수행할 수 있도록 좋은 연구 기반과 플랫폼 지원을 제공한다는 점에서 큰 의의가 있다.

위 내용은 중국과학원, 차등암호분석 분야의 블록암호알고리즘 발전의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!