• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.497-499
• /
• 2003

PKI(Public Hey Infrastructure)기반의 공인인증서가 활성화됨에 따라 인터넷뱅킹, 증권거래시스템. 전자입찰, 전자민원 등 신원확인이 요구되는 어플리케이션에 전자서명이 적용되고 있다. 다수의 사용자가 인증서로 로그인과 부인방지를 위한 전자서명을 전송함으로써 서버는 상대적으로 많은 전자서명과 인증서검증을 수행해야 한다. 프로그램 단계에서 검증을 수행하기 위해서는 검증모듈의 API(Application Programming Interface)를 호출해야 하며, 이는 프로그램의 복잡도를 증가시킨다. 이러한 문제는 어플리케이션과 검증이 독립적이지 않기 때문에 검증에 관련된 장애가 발생하면 어플리케이션은 검증모듈에 종속적으로 장애가 발생하게 된다. 본 논문의 검증 에이전트는 서버환경이 서버-클라이언트 또는 웹 어플리케이션에 독립적으로 전자서명 검증을 담당한다. 따라서 어플리케이션은 검증이 필요한 시점에 검증 에이전트를 호출하게 됨으로써 프로그램의 복잡도를 줄이고 서버의 안정성을 향상시킨다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.190-192
• /
• 2005

PKI(Public Key Infrastructure)에서 인증서 상태 검증은 네트워크 환경에서의 거래에 신뢰성과 안전성 및 기밀성, 무결성 등의 서비스를 제공한다. 인증서 검증 방식은 CRL, OCSP, SCVP, DVCS 등이 있다. CRL은 시간이 지남에 따라 CRL의 크기가 증가하여 검증 시간이 지연되고 실시간 검증을 할 수 없는 단점을 가지고 있다. OCSP는 CRL을 이용하지 않고 거의 실시간에 가깝게 인증서를 검증하지만 서버의 부하 증가와 느린 검증 등의 단점을 가지고 있다. 분산 OCSP는 OCSP 서버를 분산시킨 후 CRL을 중복하여 보관하거나 분개하여 보관한 상태에서 검증하는 방식으로 대리검증에 따른 느린 검증과 CA의 부하부담 등의 단점을 가지고 있다. 본 논문에서는 제기된 단점들을 해결하여 빠른 검증과 부하 분산 효과를 얻을 수 있도록 분산된 OCSP 서버를 그룹으로 분류하고, 그룹 내의 각 서버에 인증서 폐지 정보를 중복 저장하여 부하분산, 빠른 검증, CRL을 Delta CRL 방식으로 OCSP 서버에 전송하여 네트워크 부하를 감소할 수 있도록 그룹 분산 OCSP 방식을 제안하고자 한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.38 no.8
• /
• pp.813-822
• /
• 2010

Integrated data processing for display of flight critical data and mission critical data was conducted without additional display instruments using glass cockpit design. Based on a pre-designed flight critical system and a mission critical system, this paper shows an optimal design of subsystem integration. The design satisfies safety requirements of flight control systems(FCS) and requires minimized modification of pre-designed systems. By conducting integration test using System Integration laboratory(SIL), it is confirmed that the introduced design approach meets the safety requirements of the MEP system.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2023.11a
• /
• pp.238-238
• /
• 2023

소형선박인 어선·낚시어선의 전복 사고로 인한 인명 사고가 지속적으로 발생 되어지고 있다. 소형선박인 어선·낚시어선의 운항 시 선박의 운항자가 선박의 실시간 복원성 상태 인지 없이 어업 또는 낚시 활동하는 동안 해양 환경 상태 또는 적화 상태 변화와 추가적인 외력에 의해서 선박의 전복 사고가 발생 되어진다. 본 연구에서는 소형선박 어선·낚시어선의 실시간 복원성 감시를 위한 안전키트의 실험적 검증을 실시했다. 안전키트의 자이로센서를 활용하여 실시간 횡요각 데이터 측정 및 주파수 분석하여 횡요주기를 도출하고 횡메타센터(GM)을 도출한다. 또한, 실사간 도출된 GM에 따라 국제해사기구(IMO, International Maritime Organization) 비손상 복원성 평가 기준 값을 추정한다. 실험적 검증을 통하여 개발된 소형선박 어선·낚시어선용 안전키트의 정확도 확인 및 개선점을 발견하였으며, 향후 연구 계획에 대해서 제시했다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.06a
• /
• pp.350-352
• /
• 2022

자율운항선박을 IMO 자율화등급 3단계 이상으로 운용하기 위해서는 내·외부 통신시스템의 사이버보안뿐만 아니라 실시간으로 데이터를 교환하는 데이터 및 시스템 사이버안전에 대한 고려가 필수적으로 요구된다. 본 연구에서는 자율운항선박 사이버안전체계 구축방안에 대해서 살펴본다. 자율운항선박 사이버안전체계 구축을 위해서는 선박 내 사이버위협을 실시간으로 탐지하고 영향을 모니터링하는 통합 보안 시스템 구축이 필요하며, 선박 사이버안전 설계 타당성을 검증하는 사이버리스크평가 기술, 사이버안전체계를 검증하기 위한 CVE(Common Vulnerabilities Enumeration)기반 취약성 진단 및 침투테스트 기술, V-Model을 활용한 통합 소프트웨어 품질인증 기술, ISO 25024 기반 데이터 무결성 검증 기술 적용이 필요하다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.23-28
• /
• 1995

국내 핵연료 가공시설에 대한 핵임계 안전성을 가상 사고 조건하의 핵임계 상태를 확인하는 방법으로 평가하였으며, 이미 사용되어왔던 설계 안전 변수의 안전성도 검증하였다. 또한 MOX 핵연료 가공시설에 대한 안전 변수도 같은 방법으로 산출하였다. SCALE system을 사용하여 임계도 계산을 수행한 결과, 국내 $UO_2$ 핵연료 가공시설과 이 시설에 적용된 안전 변수는 극단적인 사고시에도 핵임계 측면에서 충분한 여유도를 가지고 있있다.

• Proceedings of the KAIS Fall Conference
• /
• 2010.11a
• /
• pp.163-167
• /
• 2010

최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

• Korean Journal of Construction Engineering and Management
• /
• v.21 no.5
• /
• pp.38-45
• /
• 2020

Presently, safety management of facilities is conducted as a site-oriented safety inspection, but depending on the facilities, there are difficulties in access to the site, and the cost and time of inspection are inefficient due to excessive reliance on human resources. Therefore, the necessity of sensor-based safety management is being raised to ensure the safety of the facility at all times, and various studies on sensor safety management are being conducted, but the research on verification of practicality is still insufficient. Therefore, the improvement points were presented through analysis of domestic and international studies, and additional processes for setting sensor attachment location and threshold were derived by analyzing the H city sensor safety management process, and practicality of sensor safety management was verified through sensor data measurement values. It is expected that efficient, sensor-based facility safety management will be possible if clear criteria and ongoing practicality verification for the additional processes presented in this study should be carried out in the future.

• ICROS
• /
• v.18 no.4
• /
• pp.46-54
• /
• 2012

차량 간 통신 또는 차량과 인프라 간의 통신을 기반으로 자동차를 스마트화 또는 무인화 하려는 기술들이 지속적으로 개발되고 있다. 이러한 시스템의 안전성을 보장할 수 있는 신뢰도를 검증할 수 있는 방법들이 활발하게 개발되고 있다. 특히 제어기의 강인성과 고장감지의 신뢰도와 같은 관점에서 개발되는 알고리즘의 성능을 검증하는 방법에 대해서 살펴보고자 한다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2003.10a
• /
• pp.92-97
• /
• 2003

원전에서 운전절차서는 운전수행시 해당 운전원에게 요구되는 세부적인 작업내용이 명시되어 있다 특히, 비상운전절차서는 비상상황에서 운전원의 주관적 판단을 최대한 배제하고 안전해석에 의해 안전성이 검증된 작업만이 수행되도록 더욱 철저하게 안전성 중심으로 준비되어 있다. 이러한 운전절차서에 있어서 가장 중요한 요소는 발전소의 안전성을 유지할 수 있는 안전해석 결과를 정확히 준수하는 것이다.(중략)