• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.1
• /
• pp.53-60
• /
• 2018

Cryptographic algorithms are being standardized globally, and the security of cryptographic algorithms has been well proven. However, there is a need for an improved verification method to verify that the existing verification method is correctly implemented according to the standard, because there is a weakness in implementation and it can cause serious damage. Therefore, in this paper, we selected ARIA and LEA to be verified among 128-bit or more block cipher modules performed by the National Intelligence Service, and propose a method to verify whether it is implemented correctly using Cryptol for high-assurance cryptographic module.

• Journal of the Korean Society for Library and Information Science
• /
• v.31 no.3
• /
• pp.165-208
• /
• 1997

The purpose of this study is to evaluate the characteristics of user interface that affect the searching behavior of OPAC users. and then to propose how to design user-friendly interfaces of OPACS. An experiment was conducted on two systems with different interfaces to grasp the effect of user interface to search process and search outcome. A $2\times2$ cross-over design was used for the experiment. Sixty five searchers participated in the experiment. Several statistical techniques such as carry-over effect and system effect of a $2\times2$ cross-over design, $\chi^2$ test, t- test, McNemar test, test of marginal homogeneity through maximum likelihood method, factor analysis, regression analysis, and analysis of variance were applied according to the hypotheses tested and the data analyzed.

• Annual Conference of KIPS
• /
• 2007.05a
• /
• pp.741-744
• /
• 2007

데스크탑 그리드 시스템에서 각 자원에서 수행한 작업 결과에 대한 정확성 검증은 중요한 문제이다. 작업 결과에 대한 정확성을 보장하기 위해서 결과 검증 기법으로 투표기반 기법이나 신뢰기반 기법이 사용되어 왔다. 그러나 이러한 기법들은 동적인 연산 환경에 효과적으로 대처하지 못하여 낮은 확장성과 높은 연산 지연을 초래할 수 있는 단점을 갖고 있다. 이러한 단점을 해결하고자 본 논문에서는 자원제공자에 의해 초래될 수 있는 잘못된 연산 결과에 대해 각 자원제공자의 신용도(credibility)를 동적으로 평가하여 연산 결과의 정확성을 판단하는 적응적 결과 검증 메커니즘(Adaptive Result Verification Mechanism: ARVM)을 제안한다. 또한, 제안하는 ARVM 은 자원제공자의 가용성(availability) 정보를 이용하여 결과 검증 시에 요구되는 연산 지연을 최소화한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.11a
• /
• pp.227-230
• /
• 2007

본 논문에서는 로봇의 목표물 추적을 위하여 SVM을 이용한 12각형 기반의 Q-learning 알고리즘을 제안한다. 제안한 알고리즘의 유효성을 보이기 위해 본 논문에서는 두 대의 로봇과 장애물 그리고 하나의 목표물로 정하고, 각각의 로봇이 숨겨진 목표물을 찾아내는 실험을 가정하여 무작위, DBAM과 AMAB의 융합 모델, 마지막으로는 본 논문에서 제안한 SVM과 12각형 기반의 Q-learning 알고리즘을 이용하여 실험을 수행하고, 이 3가지 방법을 비교하여 본 논문의 유효성을 검증하였다.

• Proceedings of the IEEK Conference
• /
• 2000.11d
• /
• pp.105-108
• /
• 2000

본 논문에서 제안한 방법은 DCT 임베이디드 동영상 부호화기를 사용하여 부호화기의 레이트 디스토션 성능과 기존 프레임과 예측 프레임간의 의존성을 이용한 디스토션이 일정한 효율적인 비트율 제어 알고리즘을 제안한다. 다양한 표준 동영상에 대해 컴퓨터 모의 실험을 수행하고 기존 방법과의 비교를 통해 제안방법의 유효성을 검증하고 제안된 알고리즘의 부호화 효율을 확인했다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2000.11b
• /
• pp.69-74
• /
• 2000

본 논문에서 제안한 방법은 DCT 임베이디드 동영상 부호화기를 사용하여 부호화기의 레이트 디스토션 성능과 기존 프레임과 예측 프레임간의 의존성을 이용한 디스토션이 일정한 효율적인 비트율 제어 알고리즘을 제안한다. 다양한 표준 동영상에 대해 컴퓨터 모의 실험을 수행하고 기존 방법과의 비교를 통해 제안방법의 유효성을 검증하고 제안된 알고리즘의 부호화 효율을 확인했다.

• Proceedings of the Korea Contents Association Conference
• /
• 2015.05a
• /
• pp.339-340
• /
• 2015

본 연구는 노약자용 기능성 운동 시나리오 설계에 앞서 특정 대상인 노약자들을 다양한 측면에서 이해하고자 수행하였다. 따라서, 노약자에게 적합한 운동 환경 및 게임 환경에서 고려해야 하는 사항들을 신체적 특성, 심리적, 인지적 특성 및 사회적, 물리적 특성 그리고 적합한 게임 환경 등에 대하여 체계적 문헌연구(systematic review)를 통하여 조사하고 범주화 한 후 전문가들의 검증을 거쳐 목록화하였다.

• The Proceeding of the Korean Institute of Electromagnetic Engineering and Science
• /
• v.17 no.4 s.60
• /
• pp.3-10
• /
• 2006

한국의 전파연구소와 일본의 정보통신연구기구는 휴대전화와 같은 이동통신기기로부터 방사되는 전자파가 인체에 흡수되는 에너지 정도를 측정하는 전자파 흡수율(SAR) 평가에 대한 오차 연구를 공동으로 수행하고 있다. 본 논문에서는 동종의 SAR 시스템에서 프로브, 교정용 도파관 및 기준 다이폴 안테나를 상호 교체하여 교정하여 프로브의 교정인자를 구하고 유효성 검사를 통하여 교정 오차를 검증하였다. 프로브 교정에 대한 상호 오차는 0.2 dB 이하의 결과를 얻었으며, 유효성 오차는 최대 0.28 dB를 얻었다. 그러나 SAR 외삽 알고리즘이 다를 경우는 최대 0.48 dB의 상대 오차를 보였다.

• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 2003.11a
• /
• pp.229-230
• /
• 2003

중성자 방사화분석법은 핵반응을 통해 생성시킨 방사성 동위원소로부터 방출되는 방사선을 검색하여 절대적으로 성분원소를 정량하는 핵분석기술(Nuclear Analytical Techniques)이다. 현재 한국원자력연구소의 중성자 방사화분석실에서는 대기환경분야 응용연구로서 수년 동안 대기분진을 채집하여 미량 성분원소를 정량하고 있으며, 방법의 유효화와 측정결과의 신뢰성을 확보하기 위하여 시료의 채집 및 준비, 원소분석, 측정결과의 검증 등 분석과정에 대한 품질관리를 수행하고 있다. (중략)

• Proceedings of the KAIS Fall Conference
• /
• 2006.05a
• /
• pp.360-363
• /
• 2006

본 논문에서는 디지털 콘텐츠의 암호화키를 Puzzle기법을 사용하여 Puzzle을 재배치하고 재배치한 조합도를 공개키로 암호화 하여 유선을 통하여 전송하고, 조합을 위해 사용된 해쉬값을 OTP를 생성하여 무선으로 사용자에게 전송하는 알고리즘을 제안하고, 재배치된 Puzzl 및 OTP를 E-mail과 Mobile phone을 이용하여 높은 수준의 안전성을 제안하였다. 제안 시스템을 설계하고 구현한 후 성능 평가를 위해 다양한 콘텐츠 파일을 이용하여 실험을 수행하여 제안한 시스템이 기존 시스템에 비해 높은 보안성을 검증하였다.