• 한국멀티미디어학회논문지
• /
• 제12권9호
• /
• pp.1351-1362
• /
• 2009

현대전에서 상호운용성의 중요성이 계속해서 증가함에 따라 한국군의 국방부에서는 상호운용성 시험 평가 도구인 SITES(Systems Interoperability Test & Evaluation System)를 개발하여 정보체계의 상호운용성 수준 평가에 활용하고 있다. SITES는 정보체계의 상호운용성 시험 평가를 목적으로 하므로, 무기체계에 적용에는 한계가 있다. 이 논문에서는 무기체계 간 상호운용성 시험을 위한 상호운용성 시험 아키텍처, 상호운용성 시험 구성 요소들을 제안한다. 또한 제안한 아키텍처 및 시험 지원 도구들의 유용성을 입증하기 위해 프로토타입을 개발하였다.

• 정보보호학회논문지
• /
• 제29권2호
• /
• pp.393-399
• /
• 2019

조직으로부터 인가받지 않고 내부로 반입한 비인가SW가 조직의 네트워크 보안에서 위협으로 대두되고 있는 상황에서 SDN(Software-Defined Network) 기반의 네트워크 환경이 구축된 조직에서는 별도의 보안장비를 설치하지 않고도 조직의 특성을 고려한 보안 어플리케이션 개발을 통해 네트워크보안을 강화할 수 있다. 기존 SDN 환경의 보안기술은 방화벽, 침입탐지시스템 등 외부 네트워크로부터 내부 네트워크를 보호하는 연구가 이루어져 왔으나 내부자 위협에 대해서는 부족하였다. 따라서 이러한 SDN 환경에서 조직 내부 위협 중 하나인 비인가SW로 부터 내부 네트워크를 보호할 수 있는 시스템을 제안한다.

• 융합보안논문지
• /
• 제18권4호
• /
• pp.11-17
• /
• 2018

최근 하드웨어 키로거는 키보드 내부에 설치할 수 있는 작은 크기와 Wi-Fi 기능을 내장하고 있는 다양한 모듈식 키로거 제품들이 유통되고 있다. 이러한 키로거는 제3자에 의해서 악의적인 목적으로 사용될 경우 탐지가 어려워 정부와 군, 기업과 개인의 중요정보와 민감정보가 유출될 가능성이 높지만, 소프트웨어 키로거와 달리 대응 보안 솔루션과 탐지 방법에 대한 연구가 미흡한 실정이다. 따라서 본 논문에서는 하드웨어 키로거에 의한 보안 취약점과 기존 연구된 탐지 방법들을 살펴보고 키보드의 소비전력, 적외선 온도, X-RAY, 무게, 전자파 등의 비파괴 측정 방법을 통해 모듈식 하드웨어 키로거의 탐지 가능성을 향상 시킬 수 있는 방법을 실험 결과와 함께 제안한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권4호
• /
• pp.137-144
• /
• 2019

무기체계 기술의 국산화 과정에서 경험과 기술이 부족한 상태로 개발 중인 체계에 대한 테스트 기술의 성숙도는 매우 중요하다. 테스트에서 발견하지 못한 결함은 시스템 운용 중 막대한 영향을 미친다. 잠수함에서 실시간 정보공유 체계는 신속한 지휘결심과 임무능력으로 이어진다. 데이터 분산 시스템은 매우 중요한 정보 공유체계이며 제조사나 데이터 형태가 다른 체계들 간에 이루어진다. 본 논문에서는 데이터 분산 시스템의 데이터 분산 특성을 분석하여 데이터별 체계를 그룹핑하고, 경로 테스트 기법에 트리순회 방법인 후위트리순회, 전위트리순회를 이용하여 테스트케이스 생성기법을 제시한다. 제시한 기법은 기존기법들에 비해 73.7% 테스팅 리소스를 감소시킬 수 있다.

• 한국군사과학기술학회지
• /
• 제25권2호
• /
• pp.177-186
• /
• 2022

A network QoS model for the joint integrated C4I structure was proposed for the integration of network infrastructure and network operations(NetOps) for NCOE. Detailed QoS requirements process of the joint integrated C4I systems are needs in the Multi-Domain Operation Environment(MDOE). A process is proposed for identifying QoS requirements and establishing in the MDOE using JMT(Joint Mission Thread) reference architecture and solution architecture. Mission analysis identify JCOAs(Joint Critical Operational Activities) and related activities based on JMT & System architecture's OVs, and Information analysis identify QoS attributes using System architecture's SVs. Identifying QoS attributes will be registered at PPS Registry by pre-regulated process, and will be set-up by NetOps. MDOE QoS requirement Process will support efficiently MUM-T and smart defense platform users under the future uncertain battlefield circumstances.

• 융합보안논문지
• /
• 제23권5호
• /
• pp.189-197
• /
• 2023

육군은 육군합성전장훈련체계를 2026년까지 개발하고, 이를 활용하여 사단급 LVC통합훈련을 발전시킬 계획이다. 본 연구에서는 육군합성전장훈련체계에 VR/AR 기술을 적용하여 훈련의 효과와 효율을 향상시킬 수 있는 방안을 제안하였다. 이를 위해, 선진국과 한국군의 국방 분야 VR/AR 기술 활용사례를 분석한 결과, 교육훈련 체계를 실감형으로 전환했을 때 교육훈련의 효과와 효율이 향상될 수 있음을 확인하였다. 이에 따라, VR/AR 기술 적용 대상 국방 교육훈련 과목을 선정하여 제시하였고, 육군합성전장훈련체계에 VR/AR 기술을 적용하기 위한 발전방향을 고찰한 다음, 육군합성전장 훈련체계에 VR/AR 기술을 적용하는 방안을 제안하였다.

• 정보화연구
• /
• 제10권3호
• /
• pp.335-346
• /
• 2013

정보산업의 발전에 따라 다양하고 복잡한 업무 처리가 가능한 소프트웨어의 필요성이 비약적으로 증가 되었다. 이에 따라 소프트웨어 사용자들은 복잡한 처리도 가능하면서 더욱 안정적이고 유지보수가 용이한 프로그램 개발 기업을 선호하게 되었다. 이러한 현상은 소프트웨어 개발 조직의 능력을 정량적으로 평가하기 위한 연구로 이어졌고, 미국 국방부의 지원으로 능력성숙모델평가기준(CMMI)이 개발 되었다. 소프트웨어 개발 기업이 CMMI 상위 단계 인증을 받을 경우 해당 기업의 개발 프로세스와 유지보수가 우수한 것으로 평가되기 때문에 높은 단계의 인증을 받는 것은 의미있는 일로 평가된다. 본 논문에서는 국내 한 소프트웨어 개발 기업의 사례를 통해 정량적 우수단계인 4단계를 달성하기 위한 다양한 요소를 분석하였으며 국내 소프트웨어 기업이 개발 및 보수의 성숙된 프로세스를 확보하기 위한 기존 소프트웨어 개발 기업의 실제 사례분석을 통해 의미있는 요소를 찾아내고자 하였다. 특히 국내외 소프트웨어 판매 시 프로그램신뢰 부족 및 유지보수에 대한 안전장치 부족으로 인식될 수 있으므로, 이러한 사례분석을 통해 이러한 문제의 단초를 분석하고자 하였다.

• 한국항행학회논문지
• /
• 제27권6호
• /
• pp.788-797
• /
• 2023

본 논문은 수직 이착륙 무인 항공시스템의 GPS (global positioning system) 불가 시 대체 항법 시스템으로의 영상보정항법 시스템을 시험하기 위한 검증환경 개발 내용을 소개한다. 개발 중인 영상보정항법 시스템의 시험 및 평가를 위해서는 가상 환경을 활용하는 것이 효율적이지만, 현재 국내에는 적합한 장비가 개발되어 있지 않다. 따라서 제안된 검증환경은 시험 대상 장비의 운용 환경을 모델링 및 시뮬레이션 하여 입력 신호를 생성하고, 출력 신호를 관측함으로써 대상 장비의 성능을 평가할 수 있도록 개발되었다. 연구 과정은 검증환경 요구도 생성, 검증환경 설계에서부터 구성품별 하드웨어 및 소프트웨어 설계, 제작까지 포괄적으로 기술되었다. 이를 바탕으로 제작된 검증환경을 개발 중인 영상기반 보정항법 알고리즘의 성능평가와 시뮬레이션 기반의 사전 비행시험 수행에 활용하였다.

• 한국군사과학기술학회지
• /
• 제10권1호
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• 융합보안논문지
• /
• 제19권4호
• /
• pp.67-75
• /
• 2019

최근 국방부는 무기체계를 사이버보안의 영역에서 무기체계를 포함하였다. 기존 정보화영역에 한정되었던 사이버보안의 대상에서 확대되고 진화된 개념이 적용되었다. 무기체계는 소프트웨어의 비중이 점차 늘어나고 있고, 사이버위협의 대상임에는 분명하다. 따라서, 사이버보안 측면에서 무기체계 수명주기간 문제점을 진단하여 무기체계 사이버보안 발전방향을 제시하고자 한다. 무기체계 사이버보안 발전을 위해서는 무기체계 소프트웨어 관리제도를 포함하여 종합적인 정책수립이 이루어져야 하고, 이와 관련된 이해관계자들의 적극적인 참여가 필요하다.