• Annual Conference of KIPS
• /
• 2012.04a
• /
• pp.672-675
• /
• 2012

SMART Highway 사업은 첨단 IT통신과 자동차 및 도로 기술이 접목된 세계 최고수준의 빠르고 편안한 지능형 녹색도로 실현을 목표로 하고 있다. SMART Highway의 도로-자동차 기반 교통운영에서 핵심기술인 VANET(Vehicular Ad-hoc Network)은 다수의 차량들이 무선통신을 이용하여 차량 간 통신 또는 차량과 RSU(Road Side Unit)사이의 통신을 제공하는 차세대 네트워킹 기술이다. 특히, 운전자의 안전에 직접적인 영향을 끼칠 수 있는 V2V 통신의 경우 차량 간의 안전한 통신을 위해 차량 간 상호인증이 반드시 고려되어야 한다. 이처럼 빠른 속도로 이동하는 차량 간 인증이 원활이 이루어지기 위해서는 기존의 네트워크에서 사용된 인증방식은 그대로 적용시키기 어렵다. 따라서 본 논문에서는 다수의 차량 간 통신 시에 보다 효율적인 차량 인증을 위해 카운팅 블룸필터를 이용한 차량 인증 기법을 제안한다.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.25 no.6
• /
• pp.275-281
• /
• 2021

In this study, algorithms for analyzing the torsion of buildings under earthquake excitation are developed. The algorithm and formulations to account for the torsional angle are verified by analyzing the seismic acceleration time history data. The method was applied to the reference buildings to examine their operation and usability. The reference application demonstrated that the noise-canceling scheme successfully overcame various obstacles in the field measurements. The developed method is expected to be used as a tool to support a loss assessment system for determining the direction and priority of disaster response in the event of an earthquake.

• Annual Conference of KIPS
• /
• 2013.11a
• /
• pp.864-867
• /
• 2013

키 복구 시스템은 1994년 미국 NIST의 키 복구 제품 EES 개발이후 많은 나라에서 활발한 연구가 이루어지고 있는 분야이다. 국내에서도 단일 키 복구 시스템부터 다중 키 복구 시스템을 바탕으로 다양한 키 복구 방식들이 제안되고 있다. 하지만 기존 방식은 단일, 다중 기관시스템에 있어서 낮은 안전성의 문제점을 가지고 있다. 본 논문에서는 기존의 키 복구 시스템을 분석하고 다중 키 복구 기관을 기반으로 키를 N개로 나누어서 분산 보관하며, 키 복구 기관의 기능 상실, 결탁 등 문제에도 키 복구가 가능하도록 설계 하였다. 또한 ElGamal 방식을 이용하여 키 위탁, 키 복구, 합법적인 감청 절차를 제안하였다.

• Annual Conference of KIPS
• /
• 2013.11a
• /
• pp.1657-1658
• /
• 2013

본 연구에서는 기계 시스템의 위험도 진단 및 관리를 위해, 3차원 기반의 진단결과 가시화 기술에 관한 연구를 소개한다. 계층구조와 인과관계에 의한 신뢰성 분석 기술을 3차원 디지털 목업에 적용하여, 요소 부품 및 전체 시스템의 위험도를 직관적으로 파악하고, 이를 유지 보수 과정에 활용할 수 있는 소프트웨어 플랫폼의 설계 및 풍력발전 시스템 적용을 위한 디지털 목업 개발 등을 소개한다.

• Annual Conference of KIPS
• /
• 2013.11a
• /
• pp.666-669
• /
• 2013

2012년 고시된 '정보시스템 구축 운영 지침'에 따라 행정안전부에서는 '전자정부 SW 개발 운영자를 위한 시큐어 코딩 가이드'를 배포하고 있다. 시큐어 코딩 기법을 예제 위주로 제시함으로써, 개발 실무에 활용도를 높이기 위하여 배포된 시큐어 코딩 가이드는 유용한 지침서임에는 틀림이 없으나, 개발자 개개인이 그 내용을 모두 숙지하기 위해서는 많은 시간과 노력을 필요로 한다. 특히 입력 데이터 검증 및 표현에 관한 시큐어 코딩은 시스템 아키텍쳐 차원의 중앙집중적인 관점이 아닌 개발자 개개인이 구현한 기능 단위 수준에서 수행되고 있는 필드의 현실상, 이를 중앙집중적인 관점에서의 입력 데이터 검증을 통하여, 보다 안전한 소프트웨어를 제작하기 위한 방법을 코드 중심의 사례로 설명하고자 한다.

• Journal of the Korea Safety Management & Science
• /
• v.24 no.1
• /
• pp.1-9
• /
• 2022

The growth of the online market is accelerating due to the development of technology and the pandemic era. The delivery service through the courier must be used to deliver the ordered goods to the customer through the online market. With the growth of the online market, the logistics market for delivery is also growing. The traffic and environmental problems are emerging as social issues. Urban logistics technology using underground space based on the urban railway developed to improve logistics efficiency in a metropolitan area and a new alternative to environmental problems. This study proposed a plan to secure system safety through safety analysis based on operational concept definition and scenario analysis by applying model-based perspective analysis to the system under development.

• Annual Conference of KIPS
• /
• 2010.11a
• /
• pp.283-286
• /
• 2010

안전중요 소프트웨어 코드의 검증은 1%의 잠재적 가능성을 가진 오류조차 허용하지 않는 철저한 검증방식을 요구한다. 이러한 요구에 부응하여 최근 수학적 모델을 사용한 정형검증 기법이 코드검증에 활발하게 적용되고 있으나, 코드의 복잡도와 크기의 증가에 따른 검증비용의 기하급수적 증가가 해결과제로 부각되어왔다. 본 연구에서는 검증하고자 하는 특성을 중심으로 검증대상 코드를 추출, 정형검증의 대상을 자동으로 축소하는 코드추출기를 개발하였다. 개발된 코드추출기는 자동차 전장용 운영체제의 검증에 보조적으로 활용되어 검증비용을 90% 이상 절감하고 검증 사용성을 높이는데 기여하였다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.15 no.4
• /
• pp.1-5
• /
• 2010

To operate safely VANET applications, authenticaton is necessary to identify val d participants and prevent malicious parties from modifying messages. This paper proposes an efficient authentication protocol for the vehicle registration in VANET environment. The topology of VANET changes rapidly due to high-speed movement of vehicles, thus it is need to reduce the computational burden of the authentication protocol. Therefore, this protocol uses only one-way hash functions and EOR operations to register vehicles.

• Review of KIISC
• /
• v.32 no.1
• /
• pp.7-17
• /
• 2022

양자컴퓨터 개발이 가속화됨에 따라 기존 암호 기술이 기반하고 있는 수학적 난제가 실시간으로 해결될 수 있다는 문제점에 현실화되고 있다. RSA와 타원곡선 기반의 공개키 암호와 해시함수를 활용하여 만든 블록체인 역시 양자컴퓨터에 의해 해킹 가능성이 높아지고 있다. 블록체인 상에서 데이터 위·변조를 어렵게하기 위한 장치로 사용한 암호가 양자컴퓨터상에서 동작하는 양자알고리즘에 의해 해킹된다면 블록체인으로 보호되고 있는 데이터들의 안전성은 보장받을 수 없다. 이를 해결하기 위한 하나의 방안으로 양자알고리즘에 의해서도 해킹되지 않는 양자내성을 가진 블록체인이 제안되었다. 이와 더불어 블록체인이 기존에 가지고 있던 정보에 대한 안전한 이전을 성립하기 위한 기술에 대한 연구도 활발히 진행되고 있다. 본 고에서는 양자 내성 블록체인과 이를 구현하기 위한 기술적 동향에 대해서 확인해 보도록 한다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2020.07a
• /
• pp.219-220
• /
• 2020

본 연구는 119구조구급활동 시스템의 데이터를 활용하여 어린이 놀이시설에서 발생한 사고에 대해 분석하였다. 어린이 놀이시설사고는 7~9세, 봄과 가을, 하교시간 이후인 15~18세, 미끄럼틀, 그네, 트램펄린 등에서 사고 발생이 많은 것을 확인 할 수 있었다. 향후 사고 예방을 위해서 취약시간과 놀이기구에 대한 관리 강화 및 픽토그램과 QR코드, 키오스크 형태의 위험안내를 통한 사고예방 및 개선방안을 제시한다.