초록 ▼

제 1 세부과제에서는 차세대 공개키 암호 알고리즘으로 안전성이 증명 가능한 공개키 암호 알고리즘의 개발 및 S/W 구현을 수행하며, 제 1 세부과제에서는 관용 암호 방식의 주류를 이루는 블록 암호 알고리즘에 대한 연구를 통해 안전성이 증명된 블록 암호 알고리즘의 설계 및 평가 기술을 개발하고자 한다.
*제 1 세부과제
- 기존에 제안된 결정론적/확률론적 공개키 암호 알고리즘의 안전성 분석
- 안전성 증명이 가능한 공개키 암호 알고리즘의 개발 및 안전성 증명
- 공개키 암호 알고리즘의 구현에 사용할 수 있는 기반

제 1 세부과제에서는 차세대 공개키 암호 알고리즘으로 안전성이 증명 가능한 공개키 암호 알고리즘의 개발 및 S/W 구현을 수행하며, 제 1 세부과제에서는 관용 암호 방식의 주류를 이루는 블록 암호 알고리즘에 대한 연구를 통해 안전성이 증명된 블록 암호 알고리즘의 설계 및 평가 기술을 개발하고자 한다.
*제 1 세부과제
- 기존에 제안된 결정론적/확률론적 공개키 암호 알고리즘의 안전성 분석
- 안전성 증명이 가능한 공개키 암호 알고리즘의 개발 및 안전성 증명
- 공개키 암호 알고리즘의 구현에 사용할 수 있는 기반 라이브러리 구축
- 개발한 새로운 공개키 암호 알고리즘의 S/W 구현
* 제 2 세부과제
- 블록 암호 알고리즘에 사용될 수 있는 S-box의 암호학적 특성 연구
- 차분/선형 해독법 및 차분 해독법이 적용되는 블록 암호 알고리즘 분석
- 블록 암호 알고리즘에 적용 가능한 분석법을 개발
- 안전성이 증명 가능한 블록 암호 알고리즘 개발 및 알고리즘의 S/W 구현
*제 1 세부과제
- 소인수 분해 문제와 이산대수 문제를 푸는 알고리즘 분석
- RSA 암호 방식 및 이산대수 문제에 기반한 암호 알고리즘/프로토콜의 공격 방법 분석
- 기존에 개발된 확률론적 공개키 암호 알고리즘 및 설계 기술 분석
- CCS를 만족하는 암호 시스템 설계 기술 분석
- 안전성 증명이 가능한 공개키 암호 알고리즘의 개발 및 안전성 증명
- 공개키 암호 알고리즘의 구현에 사용할 수 있는 기반 라이브러리 구축
- 개발한 새로운 공개키 암호 알고리즘의 S/W 구현
*제 2 세부과제
- 균형인 부울함수의 대역 확산특성치 및 비선형치 계산
- 균형이면서 국소 및 대역 확산특성이 우수한 부울함수 설계 방법 제시
- 일반화된 Feistel 구조에 대한 DC 안전성 증명
- 덧셈 논리에 대한 DC 및 LC
- SPN 구조를 갖는 블록 암호(96 비트, 128 비트) 설계
- 좋은 선형변환을 설계하는 방법 제시
- 안전성이 증명 가능한 블록 암호 구조 제시

Abstract ▼

The object of sub-project 1 is to develop a newly improved public-key cryptographic algorithm with provable security and software to implement this new algorithm. In the sub-project 2, we will develop analysis and design method of block cryptographic algorithm, which is currently the prevailing one

The object of sub-project 1 is to develop a newly improved public-key cryptographic algorithm with provable security and software to implement this new algorithm. In the sub-project 2, we will develop analysis and design method of block cryptographic algorithm, which is currently the prevailing one of secret key cryptographic, along with proving secrecy through careful research on it.
* sub-project 1
- Security analysis of deterministic/probabilistic public-key algorithms
- Development of a new public-key algorithm with provable security
- Development of a core library to implement public-key algorithms
- Implementation of developed provable secure public-key cryptosystem
* sub-project 2
- Research on characteristics of the S-boxes which can be used in block cryptographic algorithms
- Analysis of block cryptographic algorithms which are subject to differential-linear cryptanalysis or differential cryptanalysis
- Development of an analysis method for block cryptographic algorithms
- Development of block cryptographic algorithms with provable security and software to implement it
* sub-project 1
- Analysis of various algorithms for factorization and discrete logarithm problems
- Analysis of attacks on RSA-type crytosystems and cryptographic algorithms and protocols based on discrete logarithm problem
- Analysis of design principle and method of probabilistic public-key cryptographic algorithms and the cryptosytem satisfying CCS
- Development of a core library to implement public-key algorithms
- Implementation of developed provable secure public-key cryptosystem
* sub-project 2
- GAC(global avalanche characteristics) and nonlinearity of balanced boolean functions
- Construction of balanced boolean fuctions with good local and global avalanche characteristics
- Provable security against DC(differential crytanalysis) for the generalized Feistel networks
- DC(differential crytanalysis) and LC(Linear Crytanalysis) of integer additions
- Block ciphers(96-bit, 128-bit) with SPN structures
- Algorithm for finding the optimal linear transformation
- Secure block ciphers against DC(differential crytanalysis) and LC(Linear Crytanalysis)

목차 Contents

• Ⅰ. 연구계획 요약문 ...3
• 1. 국문요약문 ...3
• Ⅱ. 연구결과 요약문 ...4
• 1. 국문요약문 ...4
• 2. 영문요약문 ...5
• Ⅲ. 연구내용 ...6
• 1. 서론 ...6
• 2. 연차별 연구 개요...9
• 3. 연구 결과...10
• 4. 결론 ...91
• 5. 인용문헌 ...92