• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.85-87
• /
• 2005

프로그래밍 기술과 인터넷 통신의 발달로 인하여 보안성이 검증되지 않은 다양한 프로그램들이 생성되고 쉽게 유포되어 보안 취약성으로 인해 야기되는 다양한 문제의 심각성이 더해가고 있다. 따라서 사용자가 보안상 안전하게 사용할 수 있는 소프트웨어 인증절차가 필수적으로 요구되고 있는데, 이를 해결하기 위해 소프트웨어 안전성 평가에 대한 연구가 진행 중이지만, 기존의 방법들은 특정 영역에 한정적이어서 일반적인 소프트웨어의 보안성 평가(security evaluation) 방법으로써 부적합하다. 뿐만 아니라 기존의 시스템들은 단순 패턴매칭에 기반을 두고 있어 오용탐지가 크고 정확성이 떨어진다는 문제점을 가지고 있다. 따라서 본 논문에서는 이러한 문제점들을 해결하기 위해 악성프로그램 코드의 구조와 흐름을 분석하여 규칙으로 정의하고 그 규칙에 따라 검사 대상 프로그램 코드에서 악성코드와 취약점 흐름을 탐지하는 규칙 기반의 소프트웨어 보안성 검증 시스템 프로토타입을 제안한다. 제안한 검증 시스템의 프로토타입은 악성코드와 소프트웨어 취약성을 동시에 탐지하여 보안성을 평가함으로써 범용적인 소프트웨어 평가에 활용 가능할 것이다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 1998.10a
• /
• pp.9-9
• /
• 1998

다목적 실용위성의 궤도전이 및 위성체 자세제어를 위한 추진시스템의 설계요소에는 구조적 안전성, 우주환경에서의 열제어를 위한 회로 및 구성하드웨어 설계, 연료계통 맥압강하를 위한 장치설계 및 추력기 배기가스 영향을 고려한 형상설계 등이 있으며, 설계검증을 위해 부분해석이 수행된다. 또한 발사환경과 우주 궤도환경에서의 추진시스템 성능평가를 위한 연제어계 기능시험, 압력인증시험, 청정도시험 및 내부/외부 누설시험이 수행된다. 본 논문에서는 추진시스템 설계 및 조립공정에 대해 기술하였고, 시험분석을 통해 시스템의 설계 및 조립공정상의 신뢰성을 검증 분석하였다.

• The KIPS Transactions:PartD
• /
• v.11D no.2
• /
• pp.387-396
• /
• 2004

Qualify of software development project is very important in complex and large domestic software market. Software development companies are eager to Bet some quality certification such as CMM certification. However, reliability and effectiveness of CMM certification tomes into question. This study explores the relationships between software project Quality (and some organizational performance) and organization's CMM certification. The result shows no strong relationships between project quality and CMM certification. This may imply that an incremental improvement of project process plays a more important role than certification process itself.

• 한국항공운항학회:학술대회논문집
• /
• 2015.11a
• /
• pp.107-110
• /
• 2015

항공, 국방, 자동차, 철도, 조선, 원자력, 플랜트 분야에서 임베디드 시스템의 활용도가 높아지고 있다. 특히 항공 임베디드 시스템은 다른 분야에 비해 고신뢰성과 고성능이 동시에 요구된다. 안전필수 인증절차를 준수하면 설계 및 개발 단계에서 발생할 수 있는 다양한 결함을 예방 할 수 있다. 그러나 soft error와 같은 예측 불가능한 transient 결함을 대처하기 어렵다. 이러한 문제를 해결하기 위하여 고장감내 방법론과 검증방법에 대한 연구가 수행되어야 한다. 본 논문은 고장감내 기법 검증 방법론에 하나인 결함주입 기법을 제안한다. 본 논문에서 제안하는 결함주입 기법은 1) 정량적 평가 가능, 2) 시스템을 대상으로 검증 가능 같은 장점이 있다.

• Journal of Internet Computing and Services
• /
• v.21 no.4
• /
• pp.25-34
• /
• 2020

In the current medical information system, a system environment is constructed in which Biometric data generated by using IoT or medical equipment connected to a patient can be stored in a medical information server and monitored at the same time. Also, the patient's biometric data, medical information, and personal information after simple authentication using only the ID / PW via the mobile terminal of the medical staff are easily accessible. However, the method of accessing these medical information needs to be improved in the dimension of protecting patient's personal information, and provides a quick authentication system for first aid. In this paper, we implemented an automatic authentication system based on the patient's situation and evaluated its performance. Patient's situation was graded into normal and emergency situation, and the situation of the patient was determined in real time using incoming patient biometric data from the ward. If the patient's situation is an emergency, an emergency message including an emergency code is send to the mobile terminal of the medical staff, and they attempted automatic authentication to access the upper medical information of the patient. Automatic authentication is a combination of user authentication(ID/PW, emergency code) and mobile terminal authentication(medical staff's role, working hours, work location). After user authentication, mobile terminal authentication is proceeded automatically without additional intervention by medical staff. After completing all authentications, medical staffs get authorization according to the role of medical staffs and patient's situations, and can access to the patient's graded medical information and personal information through the mobile terminal. We protected the patient's medical information through limited medical information access by the medical staff according to the patient's situation, and provided an automatic authentication without additional intervention in an emergency situation. We performed performance evaluation to verify the performance of the implemented automatic authentication system.

• Review of KIISC
• /
• v.17 no.6
• /
• pp.75-86
• /
• 2007

정보보호 시스템 평가 인증 제도는 정보보호 시스템의 객관적이고 공정한 평가를 통하여 공신력 있는 제 3자로부터 안전성과 신뢰성이 검증된 정보보호 시스템 사용을 권장하고, 이를 통하여 우수한 정보보호 제품 개발을 유도하고 국내 정보보호 산업 육성에 기여하기 위한 것이다. 우리나라는 2006년 5월 CCRA에 인증서 발행국(CAP)으로 가입함으로써 국내에도 IT 제품의 보안성 평가를 위한 평가자 자격기준 개발이 필요한 실정이다. 따라서 본 고에서는 해외 CCRA CAP국의 평가자 자격기준을 비교 분석하여 국내 실정에 맞는 평가자 자격기준을 제안하고자 한다. 본 고에서 제안하는 자격 기준은 국제적으로 인정받을 수 있는 평가자 자격기준 도출 및 평가기관 설립에 요구되는 평가자 선발에 활용할 수 있을 것으로 기대한다.

• 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.

• Journal of Platform Technology
• /
• v.9 no.1
• /
• pp.32-39
• /
• 2021

Existing environmental measuring devices mainly focus on electromagnetic wave and eco-friendly product certification and durability test, and sensor reliability verification and verification of measurement data are conducted mainly through sensor performance evaluation through type approval and registration, acceptance test, initial calibration, and periodic test. This platform has established an ICT-based environmental monitoring sensor reliability verification system that supports not only performance evaluation for each target sensor, but also a verification system for sensor data reliability. A sensor board to collect sensor data for environmental information was produced, and a sensor and data reliability evaluation and verification service system was standardized. In addition, to evaluate and verify the reliability of sensor data based on ICT, a sensor data platform monitoring prototype using LoRa communication was produced, and the test was conducted in smart cities. To analyze the data received through the system, an optimization algorithm was developed using machine learning. Through this, a sensor big data analysis system is established for reliability verification, and the foundation for an integrated evaluation and verification system is provide.

• Proceedings of the KIEE Conference
• /
• 1999.11d
• /
• pp.1028-1030
• /
• 1999

전 세계적으로 송전 용량의 증대 요구에 따라 송전 시스템이 초고압화 되어 가고 있으며 환경친화성 및 여러 특성에 있어 OF(Oii filled) 케이블에 비하여 우수한 성능을 지닌 XLPE(Crosslinked Polyethylene) 케이블의 사용이 급속하게 증가하고 있는 추세이다. 최근 345kV급 이상의 XLPE 케이블 시스템 개발이 해외 선진업체들에 의해 활발히 진행되고 있으며 이의 평가를 해외공인 인증기관에서 수행하여 개발된 제품의 디자인 검증 및 장기간 신뢰성을 입증하고 있다. 이러한 추세에 맞추어 LG 전선은 400kV 케이블 및 접속함의 사내 개발시험후 해외공인 인증기관인 네덜란드의 KEMA에서 IEC 62067에 따른 인증시험을 완료하여 개발된 제품의 높은 신뢰성을 인증 받았으며, 자사의 초고압 기술을 한 단계 상승시켜 세계 선진업체들과 경쟁할 수 있는 발판을 마련하였다.

• Journal of Aerospace System Engineering
• /
• v.14 no.spc
• /
• pp.39-48
• /
• 2020

This paper deals with the process of estimating the environmental noise generated from the actual flying aircraft using the noise measurement results obtained through the wind tunnel test and verifying it through flight tests. In order to evaluate the environmental noise of an aircraft, noise tests and evaluations are generally conducted according to the procedures prescribed by the International Civil Aviation Organization (ICAO). In this paper, we introduced environmental noise evaluation method that can be applied to composite both fixed-wing aircraft and multi-copter, and introduced the evaluation method by experiment. This paper introduces the process of simulating the noise test results measured in the wind tunnel test using real flight test results. In addition, in consideration of flight operating conditions and noise measurement methods proposed by the ICAO, the effective perceived noise level (EPNL) was predicted by performing both the wind tunnel test and the aircraft flight test.