현재 위치 - 주공해몽공식사이트 - 점술 - CCCF 테마 | 튜링 및 암호 보안

CCCF 테마 | 튜링 및 암호 보안

"CCCF" 7 호에서는 6 명의 관련 분야의 전문가 학자를 초청하여 튜링이 암호학 발전에 미치는 광범위한 영향과 암호학의 최전선 진척을 심도 있게 탐구하고 암호학의 두 가지 구성 요소인 암호 설계와 암호 분석, 폭과 깊이를 모두 고려하도록 초청했다. (윌리엄 셰익스피어, Northern Exposure (미국 TV 드라마), 암호명언) 각 특집 오리지널 문장 CCF 디지털 도서관 참조.

키워드: 암호화 튜링 네트워크 공간 보안 정보 보안

초기부터 실용적인 기술로서, 오늘날에 이르기까지 엄밀한 학과로서 암호학의 역사는 인류 문명의 지혜를 모았다. (윌리엄 셰익스피어, 윈스턴, 과학명언) 비밀번호를 사용하여 보안 및 개인 정보 보호를 달성하는 방법과 비밀번호를 안전하게 사용하는 방법의 두 가지 본질적인 문제를 중심으로 비밀번호의 설계 및 분석은 상호 의존적이고 상호 촉진되어 비밀번호 연구가 지속적으로 진행되고 있습니다.

발전 과정에서 컴퓨터 과학의 아버지 애륜 튜링은 많은 본질적인 공헌을 하여 암호학의 성숙에 깊은 영향을 미쳤다. 첫째, 튜링의 계산 가능성 이론과 그 발명품 (범용) 튜링 기계는 암호 보안 정의 모델링에 중요한 역할을 했습니다. 예를 들어, 현대 암호학에서 디자이너는 먼저 그들이 제시한 암호 알고리즘이나 프로토콜이 알려진 모든 알 수 없는 공격에 저항할 수 있다는 것을 증명해야 한다는 것을 알고 있습니다. 그러나 많은 암호 알고리즘이나 프로토콜이 안전하다는 것을 증명하지는 못하지만 보안 취약점을 찾을 수는 없습니다. 이런 상황에서 디자이너는 정확한 증명 방법을 찾지 못합니까? 아니면 이 암호 알고리즘이나 프로토콜 자체가 증명할 수 없을까요? 튜링의 증명성 이론은 이러한 질문에 대한 답을 제시합니다. 즉, 우리가 증명하거나 위조할 수 없는 많은 암호 알고리즘이나 프로토콜은 디자이너가 정확한 증명 방법이 부족하기 때문이 아니라 암호 알고리즘이나 프로토콜 자체가 제한된 단계에서 증명될 수 없기 때문입니다. 이를 위해서는 디자이너가 자신의 암호 알고리즘이나 프로토콜을 지속적으로 수정하여 증명할 수 있도록 해야 합니다. 또한 튜링이 발명한 (범용) 튜링기는 암호 알고리즘이나 프로토콜 적수 모델에서 적수를 모델링하는 데 널리 사용되어 적수에 대한 계산 시간 제약을 알고리즘에 대한 계산 단계 제약으로 변환합니다. 현재 암호학이 널리 받아들여지고 있는 범합성은 다항식 시간 범투링기로 적수를 시뮬레이션하는 것이다.

이번 호에서는 관련 분야의 전문가와 학자들이 튜링이 암호학 발전에 미치는 깊은 영향과 암호학의 최전선 진전을 심도 있게 검토하도록 초청했다. * * * 암호학의 두 가지 구성 요소인 암호 설계와 암호 분석을 포괄하는 6 편의 문장 (폭 및 깊이) 를 정리했습니다.

첫 번째 영화는' 범용 튜링기와 현대 암호 보안 모델링에 미치는 영향' 으로 영국 랭커스터 대학 조교수 장병생과 저장대 연구원 진진이 공동 집필했다. (범용) 튜링 기계의 계산 이론을 출발점으로 기본 암호 알고리즘 도구의 보안 정의 및 암호 프로토콜의 보안 모델링에 대한 (범용) 튜링 기계의 깊은 영향을 분석합니다. 저자는 암호학의 암호화 알고리즘이 어떻게 AES 시대에서 보안을 증명할 수 있는 정의로 진화했는지, 그리고 튜링기가 어떻게 작용하는지 소개했다. 또한, 저자는 수십 년간의 연구와 토론을 통해 보안 모델링, 보안 다방면 컴퓨팅 정의 등 암호 프로토콜이 오늘날의 범용 결합 보안 모델로 어떻게 진화했는지 정리했습니다. 전체 범용 결합 보안 모델 프레임워크에서 대화식 튜링 기계의 기본 역할에 대해 중점적으로 논의했습니다.

두 번째 문장 은 산둥 대학 왕미금 교수 가 쓴' 튜링 해독 Enigma 부터 현대 암호 분석' 으로 Enigma 암호문 의 작동 원리 와 튜링 에 대한 Engima 암호문 의 해독 을 분석 해 Enigma 암호문 이 현대 암호 분석 에 미치는 영향 을 분석 했 다. 저자는 또한 hash 함수를 해독하는 것을 예로 들어 현대 암호 분석이 보안 암호 알고리즘 설계에 미치는 중요성을 보여 줍니다.

세 번째 영화는 중국 과학원 정보공학연구소 연구원 레호 부연구원 송링이 쓴' 암호 해시 함수의 회고와 진전' 이다. 암호 해시 함수 (해시 함수, 해시 함수 등) 라는 주요 암호 함수에 대해 설명합니다. ) 암호화 연구에서 무결성과 인증성을 달성하는 데 사용됩니다. 암호 해시 함수의 특성과 구체적인 응용을 설명하고, 암호 해시 함수의 발전을 정리하고, 암호 해시 함수 표준화에 대한 암호 분석의 영향을 요약하고, NIST 의 해시 함수 표준 SHA-3 및 최신 분석 진행 상황을 설명합니다.

제 4 편 문장 은 홍콩 도시대 부교수 왕콩, 우한 대학 교수 왕천 등 공동 저술한' 안전 다방면 컴퓨팅 이론과 실천' 이다. , 이론과 실천의 두 가지 각도에서 안전한 다방면 계산을 심도 있게 분석했다. 저자는 생생한 실제 문제부터 시작하여 보안 다중 당사자 컴퓨팅의 시스템 모델, 보안 모델 및 이론적 공통 솔루션을 소개합니다. 동시에, 신문은 또한 실제 응용 프로그램에서 보안 다중 당사자 컴퓨팅의 프론티어 진행 상황을 빗질하고, 보안 다중 당사자 컴퓨팅 응용 프로그램의 현재 상황을 요약하고, 보안 다중 당사자 컴퓨팅의 향후 연구 방향을 지적합니다.

다섯 번째 문장' 차세대 암호학 백도어 연구 진전' 은 뉴저지 공대 조교수 당강과 콜롬비아 대학 교수가 공동으로 쓴' 차세대 암호학 백도어 연구 진전' 으로 암호학의 일반 백도어 공격을 체계적으로 요약하고 백도어 절도술의 전면 진전을 소개했다. 저자는 먼저 암호학의 뒷문 뒤에 있는 과학적 원리를 설명하고, 디자인 초기에 이런 가능한 뒷문 공격을 어떻게 고려했는지 대답한 다음, 백도어 암호학 Cliptography 가 암호 이론 설계와 실제 구현 사이의 격차를 메우는 방법을 소개했다. 차세대 암호학의 이론적 기초와 암호 기준에 대해 새로운 건의를 제기하다.

여섯 번째 영화는' 우회 분석의 인공지능' 으로, 저자는 저장대 부교수인 장범과 상해교통대 교수인 고대무 교수이다. 암호 우회 분석 분야의 인공지능 기술 연구 현황을 소개하고, 암호 우회 분석 분야에서 기계 학습 알고리즘의 발전 과정을 정리하고, 인공지능 기술이 암호 우회 분석 분야에서 성과를 거둔 이유를 분석했다. 인공지능 기술과 우회 분석을 결합한 연구 방향을 지적하다.

이 과제는 더 많은 학자와 보안 종사자들이 사이버 공간 보안 및 정보 보안 연구에 참여하여 새로운 암호 알고리즘과 프로토콜을 설계 및 분석하고 새로운 연구 방향과 영역을 개척하도록 유도할 수 있기를 바랍니다.

저자 소개

인규

CCF 전문 회원. 저장대학교 사이버 공간안전연구센터 주임, 국가천인계획 특임교수. 주요 연구 방향은 데이터 보안, 클라우드 보안, 인공지능 보안, 사물인터넷 보안입니다. Kuiren@zju.edu.cn

CCF 권장 사항

부티크 문장

"원문 읽기" 를 클릭하여 CCF 디지털지도 관련 섹션으로 들어갑니다.