• Annual Conference of KIPS
• /
• 2003.11c
• /
• pp.1909-1912
• /
• 2003

사회 기반 시설의 침해 사고의 증가로 인해 정보보호에 관한 관심이 증가하고 있다. 하지만 현재까지의 정보보호를 위한 교육용 소프트웨어에 관한 연구는 미비한 편이었다. 본문에서 정보보호의 주요요소인 취약성, 공격. 방어에 관한 개념을 쉽게 이해할 수 있고, 각 요소들의 연관관계를 분석할 수 있는 교육용 시뮬레이터를 제시한다. 제시한 교육용 시뮬레이터에 적용된 모델링 방법론에 대해서 알아보고, 교육용 시뮬레이터의 공격자 모험의 기반이 되는 자동 공격 도구에 관한 연구 내용을 살펴보고, 네트워크 취약성을 표하는 네트워크 모델의 구조에 대해 살펴본다. 마지막으로 교육용 시뮬레이터의 구조적 특성과 기능을 분석해보고, 교육용 시뮬레이터의 활용 방안을 제시한다.

• Proceeding of EDISON Challenge
• /
• 2013.04a
• /
• pp.387-392
• /
• 2013

본 연구에서는 천음속 전투기 무장창 내부의 압력 진동을 제어하기 위해 F-111의 무장창을 2차원 공동(Cavity)으로 모델링하고, EDISON_전산열유체 시스템을 활용하여 공동의 형상 변화에 따라 발생하는 유동 특성을 분석하였다. 최근의 전투기들은 항력 감소와 스텔스 기능을 위해 무기를 기체 안에 내장하는데, 덮개를 열 때 발생하는 공동 형상에 의해 강한 압력 진동이 유발된다. 이러한 진동은 무장창과 주변 기계 장치에 구조적 진동을 일으키고 고장 또는 파괴를 유발하므로, 근본적인 해결책이 필요한 중요한 문제이다. 본 연구에서는 진동의 원인이 되는 전단층(Shear layer) 불안정성을 해결하기 위해 기존에 연구된 형상(Leading edge extension 및 Ramp)과 본 연구에서 새로 제안한 Ramp extension을 적용해 보았다. 그 결과 압력 진동의 원인이 되는 유동 특성이 줄어들고 압력 진동 역시 감소했음을 관찰할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.781-783
• /
• 2003

의료 정보의 표준 데이터 교환 환경을 구축하기 의해서 의료정보분야의 전송표준인 HL(Health Level)7[1]을 이용하는 방법이 있다. 방대한 HL7 V2.4 메시지를 의료 관련 어플리케이션이나 시스템에서 사용하고자 한다면, 메시지 처리만 전담하는 인터페이스 엔진이 필요하다. 이 논문에서는 인터페이스 엔진을 만들기 위해, HL7에서 정의한 메시지 구조를 바탕으로 HL7 V2.4 메시지를 모델링 하였고, 인터페이스 엔진의 세 가지 기능(Message Validation, Message Building, Message Transmission)을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.295-297
• /
• 2005

CEC, 근접방어무기체계, 지휘통제체계 등에 사용되는 위협평가시스템은 자동위협평가, 방어구역 위협지수, 무기할당 등의 공통된 기능을 포함하고 있고, 시스템 환경의 변화 또는 성능 향상에 따라 수시로 업그레이드가 요구된다. 따라서 본 논문에서는 생산성 향상과 중복투자 방지로 인한 비용감소 효과를 거둘 수 있는 제품계열 방법론을 위협평가시스템 개발에 적용하는 방안을 제안한다. 위협평가시스템의 제품계열 방법론 적용을 위해 핵심자산 개발 프로세스를 수행하여 제품계열 영역지정, 핵심자산, 제품계획을 정의한다. 제품계열 영역지정은 Feature 모델링을 이용하여 공통점과 차이점을 식별하고, 핵심자산은 아키텍처 설계 중심으로, 그리고 각 핵심자산의 부착 프로세스를 종합하여 제품계획을 수립한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.132-136
• /
• 2003

최근 사이버 테러에 대한 관심이 고조되면서 사이버 테러 시뮬레이터가 필요하게 되었다. 사이버 테러 시뮬레이터는 침입 행위 및 방어 행위를 모델링하여 침입에 대한 피해 정도, 방어 대책의 효과성 등을 파악하기 위한 도구이다. 이 도구를 통해서 사이버테러에 대한 예방과 복구가 가능하기 때문이다. 이를 위해 기존의 시뮬레이터들은 시뮬레이션 수행 전에 모든 시나리오를 작성해 놓고 시뮬레이션을 수행하였다. 그러나 사람의 판단 및 행위를 모델링하지 못한 시뮬레이션은 정확한 결과를 나타내지 못하였다. 따라서 본 논문에서는 기존 사이버 테러 시뮬레이터에 동적 시뮬레이션 요소를 첨가함으로써 정확히 네트워크 침입 및 방어 행위를 표현하고자 하였다. 또한 이를 위한 시뮬레이터 구조 변경 방법을 제안하였다. 시뮬레이터를 구현한 후에는 슬래머 웜의 시뮬레이션 결과를 수행하여 기능이 올바로 구현되었음을 확인하였다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2003.05a
• /
• pp.385-391
• /
• 2003

상이한 IT 환경 기반의 여러 기업이 협업하는 방법 중 하나가 각 기업이 가진 비즈니스를 웹서비스로 오픈하고 웹서비스 협업 프레임워크 위에서 상호 협업하여 다자간 비즈니스 프로세스를 구축하는 것이다. 본 논문의 시스템은 웹서비스 기반 비즈니스 프로세스 모델링 언어인 BPEL4WS 위에 협업 프레임워크 명세인 WS-Coordination / Transaction 프레임워크를 결합한 아키텍처를 구현한 서비스 통합 시tm템이다. 이 시스템 위에 다자간 비즈니스 프로세스를 운용할 수 있는 BPM 포탈인 금융포탈을 구축하여 본 논문의 시스템 활용성을 검증하였다. 또한 웹서비스. 협업 프레임워크를 실 업무에 적용할 때 예상되는 문제점을 미리 도출하고 그에 대응하기 위한 목적으로, 이 시스템의 협업 기능에 대해 테스트를 실시 하였다.

• Review of KIISC
• /
• v.23 no.6
• /
• pp.76-89
• /
• 2013

최근의 사이버 위협은 공격자에 의해 지속적이고 지능화된 위협으로 진화하고 있다. 이러한 위협은 장기간에 걸쳐 이루어지기 때문에 보안체계를 잘 갖추고 있는 회사라 하더라도 탐지하는데 한계가 있다. 본 논문에서는 차세대 보안관제 프레임워크의 지향점을 네트워크 가시성 강화, 상황인식 기반 지능형 보안관제, 관련 업무조직과의 정보 통합 및 협업 강화로 제시하고 있으며 구조적, 수집 파싱, 검색 분석, 이상 탐지 등 총 9개 관점에서 이를 지원하는 필요 기술들을 분류하였다. 아울러 침투 경로 및 공격 단계와 내부 자원 간 연관성 분석을 통한 수집 정보 범위 설정, 사례 기반 상관분석 규칙 생성 적용, 정보연동, 업무처리, 컴플라이언스, 조사 분석 등 지원 기능의 연계를 보안관제 모델링의 필요 요소로 도출하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2017.10a
• /
• pp.247-249
• /
• 2017

NIST에서 표준으로 정의된 P-192, P-224, P-256, P-384 타원곡선 상의 스칼라 곱셈(scalar multiplication) 연산을 지원하는 Scalable 타원곡선 암호(Elliptic Curve Cryptography; ECC) 프로세서의 설계에 대해 기술한다. 투영(projective) 좌표계를 이용하여 하드웨어 자원 소모가 큰 나눗셈 연산을 제거하였으며, GF(p) 상의 덧셈, 뺄셈, 곱셈 등의 유한체 연산을 지원한다. 워드 기반 몽고메리 곱셈기를 이용하여 다양한 크기의 필드(field)에서 고정된 하드웨어 자원을 통하여 곱셈 연산을 수행하도록 하였으며, 필드의 크기에 따라 연산 사이클이 증가하거나 감소한다. 설계된 Scalable ECC 프로세서는 Verilog HDL로 모델링 되었으며, Modelsim을 이용한 기능검증을 하였다. Xilinx Virtex5 FPGA 디바이스 합성결과 5,376-비트 RAM과 970 슬라이스로 구현되었으며, 최대 55 MHz의 동작 주파수를 갖는다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.116-119
• /
• 2010

안보, 재난, 국가핵심기반 분야에 위기발생시 즉각적인 조치를 위한 '위기대응 실무매뉴얼'이 정부기관별로 작성되어 있지만 조치사항에 대한 정량적 검증이 부족하다. 오류가 내포된 조치절차는 피해를 확대 시킬 수 있으므로 위기대응절차에 대한 검증이 요구되며 이를 위해 본 논문에서는 Statemate의 구조적, 기능적, 행위적 관점의 언어를 활용해서 정형기법(formal methods)을 수행함으로써 위기 대응 실무매뉴얼의 모델링 방법을 제안하고 매뉴얼에 기술되어 있는 조치절차의 검증결과를 제시하였다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.2
• /
• pp.150-156
• /
• 2006

It is one of the most effective methods for improving the performance of electric railway vehicles to make better the wheel-rail adhesion characteristics. To study adhesion characteristic is to develop the equivalent reduction machine to experiment on the adhesion system. The experiment system makes it possible to change the wheel-rail adhesion force with various adhesion parameters, and therewith to test the adhesion control system with the reduction machine in a laboratory. In this paper, for improving adhesion performance shows actually control methods.