• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.2
• /
• pp.45-58
• /
• 2001

There are relatively many research results of the validation of the cryptography. But few researches on the validation of cryptography implementations were accomplished. However, developer\`s misunderstanding the crypto-algorithm or a mistake in implementation of the crypto-a1gorithm leads to lose reliability of security products. Therefore, as validation of the crypto-algorithm itself also validation of the implementation is important. The major objective of this paper is to propose Security Products Validation Tool. Our tool validates implementation of the public key algorithm (RSA. KCDSA) and hash algorithm (SHA-1, HAS-170). The validation process is composed of several items and our tool performs validation teats for conformance to related standard.

• Electronics and Telecommunications Trends
• /
• v.14 no.5 s.59
• /
• pp.151-152
• /
• 1999

화자검증기술은 화자의 입력음성으로부터 화자의 특성을 계산하고 해당 화자를 유일하게 구분할 수 있는 통계적 모수를 추출하여 이를 화자의 개인 데이터베이스로 구축하며, 검증시에는 개인데이터베이스와 입력되는 미지 화자의 특성에 대한 유사도를 비교.검증하는 것이다. 또한 이때 주어진 임계치(Threshold)의 만족 정도에 따라 동일 화자여부를 결정하는 결정논리(decision logic)로 검증엔진을 구성하는 기술이며, 응용영역에 따라 환경잡음, 채널잡음 등 사용환경과 전체시스템과의 적절한 시나리오 구성 등이 실용화를 위한 중요한 척도가 된다.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.25.3-25.3
• /
• 2011

지구 또는 우주 원격탐사 및 관측에서 진일보한 임무 수행을 위해 위성 편대 비행의 필요성이 점차 부상하고 있다. 편대 비행은 단일 위성으로는 실현하기가 어렵거나 불가능한 과학적인 임무를 수행할 수 있다. 다양한 위성 편대 비행 기술에서 중요한 기술 중에 하나는 편대 위성간의 정밀기선결정 기술이며, 정밀도 검증 기술도 함께 동반되어야 한다. 이 논문에서는 Gravity Recovery and Climate Experiment(GRACE) 위성의 실제 Global Positioning System(GPS) 데이터를 사용하여 GRACE A와 B 두 위성의정밀기선결정을 수행하였다. 그리고 K/Ka-Band Ranging system(KBR) 바이어스 거리측정값으로 일괄처리 및 순차처리 방법을 통해 정밀도를 검증하였다. 제안된 순차처리 방법은 KBR 바이어스를 추정하는 대신에 기산점 차분으로 이를 제거하여 정밀도를 검증하기 때문에 검증자(KBR baised range)가 피검증자(GPS-baseline)와 독립적이고 실시간 정밀도 검증에 적용이 가능하다. 그 결과 일괄처리 검증방법과 유사한 1.5 ~ 3.0 mm의 순차처리 정밀도 검증 결과를 얻었다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2009.11a
• /
• pp.15-18
• /
• 2009

Technology demonstration for the development of a 75-tonf liquid rocket engine(LRE) thrust chamber for a space launch vehicle has been started on the basis of the previously acquired 30-tonf LRE technologies. For this purpose, a technology demonstration plan was established upon considering the currently available firing test facility in Korea and performance evaluation firing tests were performed on technology demonstration model thrust chambers under a restricted test condition. This paper describes the plan and current status of technology demonstration for a 75-tonf LRE thrust chamber.

• Electronics and Telecommunications Trends
• /
• v.32 no.1
• /
• pp.102-115
• /
• 2017

본고에서는 SW 개발 R&D 프로젝트에 개발 소스 품질 검증을 위한 정적분석 실행방안을 기술한다. 정적분석 실행 방안으로 소스 코드 품질 검증 대상 SW 개발 R&D 프로젝트 범위와 정적분석 검증 기준을 기술하고, 정적분석 검증을 위한 구체적 실행 방안과 검증 프로세스 그리고 정적분석 검증을 지원 환경 체계를 제시했다. 또 제시된 정적분석 검증 실행 방안에 근간하여 수행 중인 프로젝트에서 개발한 소스 코드에 대해 시범적으로 정적분석 검증을 수행하고 이를 바탕으로 정적분석 검증 실행의 안정적인 도입 및 운영 방향을 시사점으로 기술하였다. 제시된 정적분석 검증 실행 방안은 SW 개발 R&D 프로젝트에서 개발 소스 코드 품질 관리 및 유지를 위한 방안으로 고려해 볼 수 있을 것으로 기대한다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2021.06a
• /
• pp.190-192
• /
• 2021

얼굴 검증 기술은 출입통제 시스템이나 모바일 기기에서의 열람 또는 금융 서비스 등 보안이 요구되는 다양한 분야에서 널리활용되고 있다. 최근 얼굴 검증 분야에서 높은 성능 향상을 보인 대부분의 검증 모델은 깊은 네트워크를 사용하므로 상대적으로 매우 큰 컴퓨팅 파워를 요구한다. 따라서 해당 모델들을 실환경에 적용하기 위해서는 모델 경량화 기술에 대한 고려가 반드시 필요하다. 얼굴 검증 연구에서 경량화 기술의 중요성에도 불구하고 해당 연구는 이제까지 잘 다뤄지지 않았다. 본 논문은 주요 얼굴 검증 모델에 대해서 지식 증류 기술을 수행하고, 이에 따른 실험 결과를 비교 분석하여 제시함으로써 경량화 기술 적용에 대한 방향성을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.520-522
• /
• 2002

SoC 설계의 검증 비용이 전체 설계 비용의 70%를 차지한다. 이런 검증을 위한 노력과 시간을 줄이기 위해서는 SoC 설계 검증 수준을 시그널 수준 또는 사이클 수준에서 트랜잭션 수준으로 높여야 할 필요성이 있으며, 또한 그렇게 하는 것이 바람직하다. 이 논문은 IP의 인터페이스를 통해 수행되는 트랜잭션을 사이란 수준에서 기술하는 트랜잭션 중심의 인터페이스 기술 언어로부터 트랜잭션 모니터 모듈을 생성하는 방법을 제시한다. 트랜잭션 모니터모듈은 시뮬레이션을 통한 검증에 파형을 통한 결과의 관찰대신, 트랜잭션 단위의 결과의 관찰을 가능하게 함으로써 검증시간을 줄이는데 공헌할 것으로 기대된다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2019.05a
• /
• pp.72-73
• /
• 2019

항로표지 분야의 시장은 소규모시장으로 산업체가 영세하여 기술개발 및 투자를 기피하고 있다. 또한 장비용품을 개발하더라도 실제 환경과 유사한 환경에서 성능을 검증하는 시설도 부족한 실정이다. 해양수산부와 한국항로표지기술원에서는 산업체에서 개발한 등부표, 등명기, 충방전조절기 등의 항로표지 장비용품의 성능시험을 위한 육 해상 항로표지 성능검증 테스트베드를 구축하였다. 테스트베드에서는 성능시험 및 제품개발 단계에서부터 컨설팅, 기술지원 등을 통한 문제점을 사전에 도출하여 개선을 유도하는 등 기술지원체계를 마련하였다. 본 논문에서는 항로표지기술지원센터의 구축 및 운영에 관한 사항을 기술하였다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.11a
• /
• pp.341-343
• /
• 2022

전 세계적으로 자율운항선박 기술개발을 추진 중이며, 자율운항선박 핵심 기술뿐 아니라, 상용화의 기틀을 마련하는 평가·검증 관련한 연구도 활발히 수행되고 있다. 이에 따라 자율운항선박의 핵심 기술과 주요 장비의 성능검증을 위한 테스트베드의 개발이 필수적이다. 본 연구에서는 국내외 자율운항선박 기술개발 현황과 자율운항선박의 시뮬레이션 기반 테스트베드가 갖춰야 할 요구사항을 분석하였으며, 자율운항선박의 특수성이 반영된 동역학 모델 기반의 조종 시뮬레이션 테스트베드에서의 성능검증을 위한 기능 분석 및 세분화를 통해 플랫폼 운영에 효과적인 기술들을 제안한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.1068-1071
• /
• 2005

최근 들어 기술을 담보로 하는 신용금융의 역할이 증대되면서 자금지원 대상기업의 기술평가 시스템 구축이 중요한 과제가 되고 있다. 국내에서는 기업 보유의 기술경영성과를 측정하여 한정된 자원의 효율적 배분을 위한 민간 투, 융자를 위한 기술신용평가모형'이 제시되었다 본 연구에서는 기술신용평가모델의 평가항목 타당성을 실증 분석한다. 모형의 항목 분류가 적절하게 되었는지를 검증하기 위하여 구조적 타당성을 평가하며 통계적 유의성을 검증하여 신뢰성을 평가한다. 구조적 타당성 검정을 위해 확인 요인분석을 수행하며 평가모형의 신뢰성을 검증하기 위해서는 다변량 통계방법 중의 하나인 판별분석을 수행한다. 본 연구는 기술개발 성공 및 부실발생의 예측력을 갖는 기술신용평가 시스템 구축을 위한 기초 자료로 활용될 수 있을 것이다.