http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
정연오 ( Yeonoh Jeong ),김재동 ( Jae-dong Kim ) 한국정보처리학회 2020 한국정보처리학회 학술대회논문집 Vol.27 No.1
국방분야에서 전력 운영유지를 위한 군수분야 운영 효율화는 매우 중요한 이슈이다. 군수분야의 효율성을 위해 적정한 수리부속 확보는 장비의 가동률과 예산 절감 차원에서 중요성이 크다. 이에 군은 다양한 기법을 활용하여 수리부속 수요예측에 대한 노력을 계속해 왔으나, 여전히 예측 정확도 향상을 위한 지속적인 노력이 요구된다. 이에 본 연구에서는 지난 9개년의 수리부속 수요데이터를 분석하고 다양한 머신러닝을 활용하여 예측정확도를 비교ㆍ분석하고, 가장 적합한 수리부속 수요예측 모델을 제안한다.
정형기법을 이용한 3-D Secure의 정형명세 및 취약성 분석
정연오(Yeonoh Jeong),김현수(Hyunsu Kim),김현석(Hyunseok Kim),최진영(Jin-Young Choi) 한국정보과학회 2009 한국정보과학회 학술발표논문집 Vol.36 No.1D
오늘날 인터넷의 발달과 더불어 웹을 통한 물품거래가 확산되면서 사용자들에게 많은 편의를 제공하고 있다. 하지만, 이러한 전자상거래는 개인정보의 유출과 주문 및 지불 정보의 누출로 인해 사용자들의 피해가 끊임없이 발생하고 있다. 전자상거래 시스템은 그 특성상 사용자들에게 안전한 거래를 제공해야할 뿐 아니라, 사용하는데 편리해야하는 이중적인 요구사항을 만족하여야 한다. 본 논문에서는 현재 사용되고 있는 신용카드기반의 전자상거래 지불시스템인 3-D Secure를 정형명세언어인 HLPSL을 이용하여 명세하고, 정형검증 도구인 AVISPA를 이용하여 취약점을 분석하였다.
안전성과 효율성을 고려한 스마트카드 기반 사용자 인증 프로토콜 분석
정연오(Yeonoh Jeong),김주배(Joobae Kim),김현석(Hyunseok Kim),최진영(Jinyoung Choi) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.2
오늘날 인터넷의 급성장으로 인한 분산된 시스템에서의 원격 사용자 인증이 빈번히 일어나고 있다. 이러한 인증 시스템에 휴대성과 효율성이 뛰어난 스마트카드를 이용한 인증 프로토콜의 구성이 활발하게 연구되고 있다. 이러한 연구는 재생 공격, 서비스거부 공격, 내부자 공격 등 개인 정보보호에 대한 요구사항들을 만족시키고 프로토콜의 구성을 키를 이용한 암호화 대신 hashing과 XOR연산을 사용함으로써 효율을 증대시키는 방향으로 진행되고 있다. 본 논문에서는 최근 제안된 인증 프로토콜을 분석하고, 그 취약성을 보완하여 보다 효율적이고 안전한 프로토콜을 제안한다.
AVISPA를 이용한 전자상거래 시스템의 보안 프로토콜 명세 및 검증
정연오(Yeonoh Jeong),김주배(Joobae Kim),김현석(Hyunseok Kim),최진영(Jinyoung Choi) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.1
최근 인터넷을 이용한 전자상거래(e-commerce)가 확산되면서 많은 편의를 제공하고 있다. 하지만, 인터넷을 통한 거래는 개인정보의 유출이나 주문 및 지불 정보의 유출 등의 취약점들에 대한 보안상의 요구를 만족하면서도 사용자들이 접근하기 쉽고 사용하기 편리해야 한다는 점에서 이중적인 어려움을 가지고 있다. 본 논문에서는 현재 전자상거래에서 사용되고 있는 보안 프로토콜들의 문제점들을 분석하고 이를 보완한 새로운 보안 프로토콜을 제안한다. 그리고 제안된 프로토콜을 정형검증 툴인 AVISPA를 이용하여 명세 및 검증함으로써 안전성을 검증한다.