내 신청현황
종류	모집공고명	진행상태
신청내용이 없습니다.

알림마당

home

범용적 결합가능성과 수리적 기법

전문가 제언: ○ 기존에 사용하던 암호화방법은 평문을 암호 알고리즘에 입력하여 암호화된 문장을 만들어내는 방법을 주로 사용하여 왔다. 그러나 이러한 방법은 암호화할 때 사용한 암호 알고리즘을 알아내면 누구나 해독할 수 있는 아주 심각한 문제를 안고 있다.

– 그래서 현대에는 암호화 알고리즘을 평문에 키 값을 추가하여 입력시키는 것을 이용하여 암호화 문장을 만들어내고 있으며 복호화 역시 암호화 문에 키 값을 추가하여 입력하도록 하고 있다. 이렇게 함으로써 암호 알고리즘이 노출되더라도 키 값을 알지 못 하면 복호화 할 수 없기 때문에 훨씬 더 안전하게 된다.

○ 암호 및 암호응용 시스템의 안전성을 검증하는 방법으로는 계산적 이론에 기초한 안전성을 증명하는 방법(계산적 증명방법)이 표준적 방법으로 암호이론에 대하여 확립되어 있다. 또한 그것들의 안전성을 수리적 기법(Formal methods: 기호 논리적 증명방법)에 관한 연구도 활발히 진행되어 왔다.

– 그러나 기존의 이러한 2가지 방법을 서로 결합하여 이용하고자 하는 상호관계에 대한 연구는 거의 이루어지지 않고 있었다. 최근 표준적 안전성 증명(계산적 증명)에 대한 수리적 기법의 유효성(건전성/완전성)이 연구되고 있으며 수리적 기법이 계산적 증명방법의 간단명료화 및 기계화에 유효하다는 것이 명백하게 밝혀지고 있다.

○ 본문에서는 최근 급속하게 발전되고 있는 새로운 계산적 증명방법에서 특히 범용적 결합 가능성에 대해서 이러한 수리적 기법과의 관계에 대해서 설명하고 있다. 이러한 자료가 향후 암호화 연구와 보안유지 연구에 도움이 되기를 기대한다.

저자: OKAMOTO Tatsuaki
자료유형: 학술정보