• 정보보호학회논문지
• /
• 제20권4호
• /
• pp.3-16
• /
• 2010

키유도함수는 고정된 길이의 키로부터 정보보호 알고리즘 수행을 위하여 필요로 하는 다양한 키들을 유도해내는 메커니즘으로 암호시스템의 필수적인 구성요소이다. 본 논문에서는 키유도함수에 대한 최신 연구 동향을 조사 분석하고 증명가능 안전성 관점에서 키유도함수 구조의 견고성에 대하여 논한다. 특히 NIST가 최근 제안한 의사난수함수(PRF) 기반 키유도함수 모드를 블록암호로 대표되는 의사단수치환 (PRP) 기반 키유도함수로 변형 할 경우의 증명 가능 안전성에 초점을 맞추어 Double-Pipeline Iteration 모드의 의사난수성을 규명한다.

• 한국통신학회논문지
• /
• 제41권4호
• /
• pp.479-488
• /
• 2016

안전한 통신 시스템을 갖추기 위해서는 안전한 암호 알고리즘의 사용과 안전한 암호키 사용이 필수적이다. 현대 암호에서는 표준화된 키유도함수(Key derivation function)를 통해 안전한 암호키를 생성한다. 최근에는 양자물리의 성질을 이용한 양자키분배(Quantum key distribution, 이하 QKD) 시스템에 대한 연구가 활발히 진행되고 있어, 현대 암호시스템의 안정성 향상에 기여할 수 있을 것으로 기대된다. 이러한 관점에서 양자 암호와 현대 암호를 결합한 이중키 설정에 대한 연구가 요구된다. 본 논문에서는 양자키분배(QKD)와 현대 암호시스템인 RSA를 조합하여 안전한 키를 생성하는 두 가지의 키유도함수를 제안한다. 또한, 시뮬레이션을 통하여 생성된 암호키의 엔트로피를 측정하는 방법으로 제안한 키유도함수의 유효성을 살펴본다.

• 정보처리학회논문지C
• /
• 제17C권1호
• /
• pp.47-60
• /
• 2010

암호시스템에 사용되는 알고리즘의 기본적인 안전성 평가 항목은 난수성이다. 미국의 표준기술원 NIST는 차세대 암호알고리즘 AES를 선정하는 과정에서 블록암호의 난수성을 통계적으로 평가할 수 있는 패키지를 제안하였다. 이 패키지는 입출력 길이가 동일한 함수인 블록암호에 적합하도록 구성되어 있으므로 대부분 확장된 출력 길이를 갖는 키유도함수의 난수성 평가에 그대로 적용하는 것은 무리가 있다. 본 논문에서는 입력 길이보다 확장된 다중 블록을 출력하는 대표적인 암호 구성 요소인 키유도함수에 적합한 통계적 난수성 평가 방법으로 NIST의 방식을 개선한 것을 제안한다. 그리고 제안된 방법에 의하여 3GSM과 NIST에서 표준으로 권고하고 있는 키유도함수에 대한 통계적 난수성 평가결과를 제시한다.

• 인터넷정보학회논문지
• /
• 제7권3호
• /
• pp.133-142
• /
• 2006

복수키 동의 프로토콜의 목적은 단일키 동의 프로토콜의 거듭 실행에 비하여 계산량과 통신량 면에서 효율성을 얻기 위함이다. 최근에 ID 기반의 3자 복수키 동의 프로토콜들이 제안되었지만, unknown key-share 공격 혹은 impersonation 공격 등에 대한 취약함이 발견되어 모든 종류의 공격에 대하여 안전하면서 효율적인 ID 기반 인증된 3자 키 동의 프로토콜의 설계는 아직 미지의 문제로 남아있다. 본 논문에서는 단일키 동의 프로토콜과 키 유도함수를 결합한 복수키 동의 기법을 제안한다. 기존의 복수키 동의 프로토콜에 비하여 계산적 효율성을 증가시킬 수 있을 뿐 아니라, 안전성이 증명된 단일키 동의 프로토콜과 키 유도함수를 사용함으로써 안전성을 보장받을 수 있다.

• 한국콘텐츠학회논문지
• /
• 제3권3호
• /
• pp.40-46
• /
• 2003

본 논문은 안전하지 못한 DCPS(Digital Contents Protection Systems)와 HOST 사이의 통신채널을 통해 서로 일치하는 암호 키를 생성하기 위한 공개키 적용을 위해 1차적으로 이산대수와 난수를 이용한 Diffie-Hellman 알고리즘을 적용하고, 2차적으로 키 관리 표준인 ANSI X9.17, ISO 8732와 PEM(Privacy-Enhanced Mail) 등에서 채택하고 있는 2개의 서로 다른 암호키를 통해 Triple DES를 적용하여 전송 선로상의 디지털콘텐츠의 안전한 전송을 수행한다. 이에 따라 설계한 정보보호 모듈은 Key Exchange 모듈, Key Derivation 모듈, Copy Protection Processing 모듈로 구성되었으며 사용자 인증 기능과 디지털콘텐츠 암호화 기능을 통해 인가되지 않은 사용자에 의한 디지털콘텐츠의 불법 복제 및 배포를 방지하교 전송선로상의 디지털콘텐츠를 보호할 수 있도록 하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제5권4호
• /
• pp.822-839
• /
• 2011

Group key agreement protocols derive a shared secret key for a group of users to ensure data confidentiality or/and integrity among the users in the subsequent communications. In this paper, we inspect two group key agreement schemes which have been proposed by Shi et al. and Zheng et al. in 2005 and 2007 respectively. Although both schemes were claimed to be secure in a heuristic way, we reveal several flaws using the Bellare-Rogaway security model extended to multi-party setting by Bresson et al. These flaws are found to be originated from inappropriate selection of key derivation function, inadvertent exclusion of partners' identities from the protocol specification and insufficient consideration in preserving known temporary information security and key freshness properties. Furthermore, we suggest and discuss proper countermeasures to address such flaws.

• 한국환경과학회지
• /
• 제2권3호
• /
• pp.193-199
• /
• 1993

This study has two objectives. One is developing the runoff model for Hoe-Dong Reservoir basin located at the upstream of Su-Young River in Pusan. To develop the runoff model, basic hydrological parameters - curve number to find effective rainfall, and storage coefficient, etc. - should be estimated. In this study, the effective rainfall was calculated by the SCS method, and the storage coefficient used in the Clark watershed routing was cited from the report of P.E.B. The other is the derivation of transfer function for Hoe-Dong Reservoir basin. The linear, discrete, input-output model which contained six parameters was selected, and the parameters were estimated by the least square method and the correlation function method, respectively. Throughout this study, rainfall and flood discharge data were based on the field observation in 1981.8.22 - 8.23 (typhoon Gladys). It was observed that the Clark watershed routing regenerated the flood hydrograph of typhoon Gladys very well, and this fact showed that the estimated hydrological parameters were relatively correct. Also, the calculated hydrograph by the linear, discrete, input-output model showed good agreement with the regenerated hydrograph at Hoe-Dong Dam site, so this model can be applicable to other small urban areas. Key Words : runoff, effective rainfall, SCS method, clark watershed iou상ng, hydrological parameters, parameter estimation, least square method, correlation function method, input-output model, typhoon gladys.

• 한국정보통신학회논문지
• /
• 제17권4호
• /
• pp.863-868
• /
• 2013

본 논문에서는 최근의 디지털논리시스템의 함수구성시에 도입되고 있는 그래프이론에 바탕을 둔 새로운 형태의 데이터구조 형태인 모서리값 확장 그래프를 추출하는 알고리즘을 제안하였다. 이를 위해 수학적 배경으로는 리터럴 함수와 리드 뮬러 확장에 대해 논의하였으며, 본 논문의 근간인 모서리 확장 그래프의 도출에 대해 논의하였다. 또한, 모서리 확장 그래프로부터 임의의 m치 n변수의 축약된 함수구성을 도출하는 알고리즘을 제안하였으며 이를 예에 적용하여 그 타당성을 보였다. 제안된 알고리즘의 규칙성을 고려하여 동일부분을 모듈화함으로써 일반성을 가짐을 보였다.

• 시스템엔지니어링학술지
• /
• 제8권1호
• /
• pp.21-28
• /
• 2012

Development of the system that has required performance is the most important figure and that is the key of project succeed. In order to perform that, systems engineering has come to the fore as a solution. In each step of system engineering process, particularly, requirement analysis and derivation, logical solution, architecture design step are known to affect many of the function and efficiency. Of these, this paper focus on architecture design. We introduce methodology for physical architecture design by applying DSM(Design Structure Matrix) methodology which is based on result of logical solution from MBSE methodology.

• Reproductive and Developmental Biology
• /
• 제34권3호
• /
• pp.143-151
• /
• 2010

Pluripotency of human embryonic stem cell (hESC) is one of the most valuable ability of hESCs for applying cell therapy field, but also showing side effect, for example teratoma formation. When transplant multipotent stem cell, such as mesnchymal stem cell (MSC) which retains similar differentiation ability, they do not form teratoma in vivo, but there exist limitation of cellular source supply. Accordingly, differentiation of hESC into MSC will be promising cellular source with strong points of both hESC and MSC line. In this study, we described the derivation of MSC like cell population from feeder free cultured hESC (hESC-MSC) using direct differentiation system. Cells population, hESC-MSC and bone marrow derived MSC (BM-MSC) retained similar characteristics in vitro, such as morphology, MSC specific marker expression and differentiation capacity. At the point of differentiation of both cell populations, differentiation rate was slower in hESC-MSC than BM-MSC. As these reason, to verify differentially expressed molecular condition of both cell population which bring out different differentiation rate, we compare the molecular condition of hESC-MSC and BM-MSC using 2-D proteomic analysis tool. In the proteomic analysis, we identified 49 differentially expressed proteins in hESC-MSC and BM-MSC, and they involved in different biological process such as positive regulation of molecular function, biological process, cellular metabolic process, nitrogen compound metabolic process, macromolecule metabolic process, metabolic process, molecular function, and positive regulation of molecular function and regulation of ubiquitin protein ligase activity during mitotic cell cycle, cellular response to stress, and RNA localization. As the related function of differentially expressed proteins, we sought to these proteins were key regulators which contribute to their differentiation rate, developmental process and cell proliferation. Our results suggest that the expressions of these proteins between the hESC-MSC and BM-MSC, could give to us further evidence for hESC differentiation into the mesenchymal stem cell is associated with a differentiation factor. As the initial step to understand fundamental difference of hESC-MSC and BM-MSC, we sought to investigate different protein expression profile. And the grafting of hESC differentiation into MSC and their comparative proteomic analysis will be positively contribute to cell therapy without cellular source limitation, also with exact background of their molecular condition.