• Magazine of korean Tunnelling and Underground Space Association
• /
• v.24 no.1
• /
• pp.29-35
• /
• 2022

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.237-241
• /
• 2002

Seo와 Sweeney가 패스워드 기반의 키 교환 프로토콜인 SAKA (Simple Authenticated Key Agreement)를 제안한 이래로 몇몇 변형 프로토콜들이 제안되었다. 그러나 그 프로토콜들은 중간 침입자 공격 또는 패스워드 추측 공격에 취약하거나 완전한 전방향 보안성을 제공하지 못한다. 본 논문에서는 중간 침입자 공격과 패스워드 추측공격에 대하여 안전하며 완전한 전방향 보안성을 제공할 수 있는 새로운 키 교환 프로토콜을 제안한다. 여러 가지 알려진 공격에 강한 프로토콜을 제안하기 위해서 먼저 SAKA 변형 프로토콜들에 대한 기존에 분석되지 못한 추가적인 취약점들을 분석한다. 그리고 기존에 알려진 취약점 및 본 논문에서 분석한 추가적인 취약점에 강한 새로운 패스워드 기반 키 교환 프로토콜을 제안한다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2007.02a
• /
• pp.105-107
• /
• 2007

최근에 제안되고 있는 원격 서버에 로그인하기 위한 방법은E와 패스워드뿐만 아니라 스마트카드를 함께 사용한다. 기존의 ID 와 패스워드를 사용한 인증은 공격자에 의해 추측이 가능하므로 사용자 가장 공격이 가능하다는 약점을 가지고 있다. 하지만 스마트카드와 ID, 패스워드를 사용하면 ID와 패스워드가 추측가능할지라도 스마트카드를 소지하고 있지 않다면 사용자 가장 공격 (impersonate attack)을 할 수 없다. 이 논문에서는 스마트카드와 ID, 패스워드를 함께 사용하여 원격 서버에 인증과 더불어 안전한 키 교환을 하며, 기존에 다른 논문들에서 언급한 조건들을 모두 만족하면서 안전한 키 교환까지 제안하였다. 기존의 스킴은 해쉬 기반으로 제안 되었으나 이 논문에서 제안한 스킴은 페어링 (pairing) 연산을 기반으로 제안 되었다. 또한, Computational Diffie-Hellman문제를 기반으로 스킴을 제안하여 안전성에 대한 증명이 가능하다 최근에 스마트카드를 사용한 인증에서 요구 되는 성질의 모든 조건을 만족한다는 장점을 가지고 있다.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2004.04a
• /
• pp.495-498
• /
• 2004

대전시 유성구 한국원자력연구소 부근 지역의 심부 단열대 확인을 위해 BHTV 검층, 일정구간별 정압 주입시험을 실시하였다. BHTV 조사 결과 A Zone(100m～120m)과 B Zone(250m～280m)이 연결되었다고 판단되며, 일정구간별 정압주입시험을 통해 B Zone(250m～280m)과 C Zone(400～420m)의 연결성을 추측할 수 있었다. 또한, 시추공의 심도별 지하수위 자료를 통해 지하 250m 부근에서 그 상부와 하부의 지하수 시스템이 연속되지 않은 독립된 시스템을 갖는다고 추측된다. 이러한 결론은 MP system이 설치된 시추공의 구간별 압력변화 결과에 의해서도 확인된다.

• Proceedings of the Korean Society of Applied Pharmacology
• /
• 1994.04a
• /
• pp.262-262
• /
• 1994

Ras oncogene의 산물로서 대부분의 암조직이나 transformed human cell에서 거의 공통적으로 발견되는 p21 단백질은 C-terminal processing에 의해 먼저 C-terminal cysyeine에 palmition 된 후 carboxylmethylation 된다. Palmitation은 transforming activity의 요건인 세포막에 대한 친화력을 유지시키기 위한것으로 추측되며, cysteine residue의 carboxylmethylation의 의미는 아직 확실히 밝혀지고 있지 않으나 세포막에 대한 친화력을 증가 시키는 것으로 추측되고있다. 본 연구에서는 S-Farnesylcysteine Methyltransferase의 기질로서 N-acetyl-S-trans, trans-farnesyl-L-cysteine(AFC)을 합성하였으며, 본 실험실에서 계속 연구하여 온 돼지 간장으로 부터 정제한 천연 단백성 Methylation Inhibitor의 S-Farnesylcysteine Methyltransferase 활성에 대한 억제효과를 검색하였다. 천연 단백성 Methylation Inhibitor는 돼지 간조직의 soluble fraction을 열처리하여 Sephadex G-25 column chromatngraphy한 후 reverse phase HPLC로 정제하였다. 본 inhibitor는 약 10개의 아미노산으로 구성된 peptide성 천연물질로 분자량은 1,400 Da 으로서 합성한 AFC를 기질로 하였을 때, 흰쥐 뇌 조직내 S-Farnesylcysteine methyltransferase에 대한 $IC_{50}$/은 0,82 $\times$ $10^{-6}$ M이었으며 또한 human cancer cell line의 S-Farnesylcysteine Methyltransferase에 대해서도 현저한 저해효과를 나타내었다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2006.06a
• /
• pp.202-206
• /
• 2006

오늘날 패스워드 인증과 키 분배는 컴퓨터 환경에서 중요하다. 패스워드 기반의 시스템은 패스워드를 사용자가 기억하기 쉽다는 장점 때문에 널리 사용 되고 있다. 하지만, 패스워드는 작은 공간에서 선택되어지기 때문에 패스워드 추측 공격을 포함한 다양한 공격에 취약점을 나타낸다. 본 논문에서는 최근에 제안된 새로운 패스워드 인증 기법을 분석하고, 서버 위장 공격, 서버 속임 공격과 패스워드 추측 공격에 취약하다는 것을 보인다. 또한, 패스워드 기반의 기법을 설계할 때는 주의해야 한다는 점에 대해 논하고, IEEE 1363.2와 같은 표준을 사용해 CK 프로토콜을 강하게 하는 법에 대해 간단히 보인다.

• The Korean Journal of Applied Statistics
• /
• v.22 no.5
• /
• pp.893-910
• /
• 2009

Abstract We can use R package as a statistical package on the statistical education for college students. R is an interactive mode package and graphical presentation tools are powerful in R. The greatest advantage is that R is a general public license package. We need to consider R package as a standard statistical package on the statistical education for college students. We can consider the applications of R for inferential statistics in elementary statistics course.

• Journal of Korea Multimedia Society
• /
• v.11 no.10
• /
• pp.1403-1408
• /
• 2008

A number of three party key exchange protocols using smart card in effort to reduce server side workload and two party password based key exchange authentication protocols has been proposed. In this paper, we introduce the survey and analysis on security vulnerability of smart card based three party authenticated key exchange protocols. Furthermore, we analyze Kwak et al's password based key exchange and authentication protocols which have shown security weakness such as Shim et al's off-line password guessing attack and propose the countermeasure to deter such attack.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2015.01a
• /
• pp.65-66
• /
• 2015

안압지에는 임해전이라는 정자가 있다. 임해전 내부에는 안압지 조감도가 중앙에 놓여 있고, 가장자리를 따라 안압지에서 출토된 유물들이 전시되어 있다. 그래서 안압지 관광 가이드 앱을 구현하려면 임해전 내부에서 사용자 위치를 판정하는 실내 측위 앱이 있어야 한다. 스마트폰 센서를 이용한 실내측위 방법으로 추측항법 방법이 가장 적당하다. 추측항법을 구현하려면 출발점 좌표를 알아야 하는데, 본 연구에서는 사용자가 임해전 내로 진입하는 순간을 포착하여 임해전 입구를 출발지점으로 지정한다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.33 no.5
• /
• pp.455-462
• /
• 2009

This paper presents design concepts of a reconfigurable mobile robot for both of indoor and outdoor applications. A linkage mechanism and wheel-in-motors give the proposed mobile robot various driving modes in maneuver and good adaptability to irregular surface. Since the mobile robot receives multiple sensor signals from odometers and an orientation sensor, states related to the position and the orientation of the mobile robot are optimally estimated by an extended Kalman filter. Simulations and experimental results show that the performance of dead reckoning on estimating the pose of a mobile robot can be improved remarkably by the optimal state observer.