추상구문트리 메타모델을 통한 코드의 보안 취약성 가시화

손현승,김영철 보안공학연구지원센터(JSE) 2017 보안공학연구논문지 Vol.14 No.1

최근 정보 시스템들이 해킹되어 개인정보 유출 사고가 빈번하게 발생함에 따라 정부는 시큐어 코딩 가이드를 제정하고 전자정부 관련 정보화 사업에 의무적으로 적용하도록 하였다. 그러나 일반개발자가 시큐어 코딩의 모든 소프트웨어의 취약점을 알고 구현하기란 쉽지 않다. 그리고 기 개발된 소프트웨어에 취약점이 있는지 확인하기는 어렵다. 그러므로 소스코드 레벨에서 보안 취약성을 자동으로 분석하고 그 결과를 가시화하는 기술이 필요하다. 본 논문에서는 소프트웨어의 가시화 기술을 시큐어 코딩에 적용하여 보다 쉽게 보안 취약성을 분석할 수 있는 방법을 제안한다. Recently, as information systems have been hacked and personal information leakage accidents have occurred frequently, the korea government enacted a secure coding guide and made it mandatory for informatization projects related to the electronic government. However, it is not easy for general developers to know and implement all software vulnerabilities in secure coding. Also, it is difficult to check for vulnerabilities in previously developed software. Therefore, there is a need for techniques to automatically analyze security vulnerabilities at the source code level and visualize the results. In this paper, we propose a method to analyze security vulnerability more easily by applying software visualization technology to secure coding.

소형 교육용 다관절로봇 RTOS 구현을 위한 디자인 패턴 & 리팩토링 적용

손현승,김우열,안홍영,김영철 한국인터넷방송통신학회 2009 한국인터넷방송통신학회 논문지 Vol.9 No.3

기존의 교육용 소형 다관절로봇은 펌웨어를 이용하여 개발해왔다. 이런 시스템일 경우 단순동작만 수행할 수 있기 때문에 교육용으로 활용가치가 떨어진다. 그러나 교육용 소형 다관절로봇에 RTOS를 적용하면 다양한 동작의 수행이 가능하다. RTOS를 적용하면 시스템의 효율이 높아지지만 SW 복잡도가 높아져 교육용으로 사용하기 어려운 문제가 있다. 이런 문제를 해결하기 위해서 본 논문에서는 디자인 패턴과 리팩토링을 적용한다. 디자인 패턴과 리팩토링을 적용하여 RTOS를 설계하면 이미 알려진 패턴의 개념이 사용되기 때문에 RTOS의 전문 개발자가 아니어도 이해하기 쉬워진다. 뿐만 아니라 설계가 문서화되기 때문에 기존의 RTOS를 이용하여 새로운 시스템에 알맞은 RTOS로 변경이 용이해 진다. 그래서 본 논문에서는 디자인패턴을 사용하여 RTOS를 설계하고 RTOS 코드에 리팩토링을 적용하였다.

스마트 기기의 컨버전스를 위한 모델링 도구에 관한 연구

손현승,김우열,김영철 한국인터넷방송통신학회 2008 한국인터넷방송통신학회 논문지 Vol.8 No.4

스마트 기기의 컨버전스를 위한 기존의 방법은 미들웨어를 사용하여 소프트웨어를 통합하는 것이다. 미들웨어를 사용하면 쉽고 빠르게 통합이 가능한 장점이 있다. 하지만 미들웨어는 기본적으로 소프트웨어가 크기 때문에 수행 속도가 느리다. 이러한 단점을 극복하기 위해 본 논문에서는 컨버전스를 위한 모델링 도구를 제안한다. 제안하는 모델링 도구는 모델 단계에서 컨버전스를 수행하고 자동코드를 생성하여 미들웨어 없이 소프트웨어의 컨버전스가 가능 하게 한다. 적용사례로서 u-Home 환경의 텔레비전과 도어락 시스템의 컨버전스를 보여주었다. 미들웨어를 사용하지 않아 저렴한 비용으로 스마트 기기의 컨버전스를 수행하였고 사용자가 원하는 컨버전스 제품을 빠르게 개발할 수 있었다.

이종 임베디드 시스템의 멀티태스킹을 위한 MDA(Model Driven Architecture) 기반의 설계

손현승,김우열,김영철,Son, Hyun-Seung,Kim, Woo-Yeol,Kim, R. Young-Chul 한국정보처리학회 2008 정보처리학회논문지D Vol.15 No.3

복잡한 임베디드 시스템의 멀티태스킹 지원은 실시간 운영체제가 요구된다. 이종의 임베디드 시스템 개발 환경에서 각각의 시스템에 최적화 된 운영체제와 프로세서를 사용한다. 본 논문에서는 이종 임베디드 시스템 개발 시 기존의 크로스 컴파일러 대신, 운영체제의 API 정보 및 프로세서 레지스터 구성 정보의 UML 프로파일화 방식을 제안한다. 이는 각각의 임베디드 시스템에 적합한 프로파일을 이용해 이종의 시스템 개발 환경을 선택하여 자동 코드 발생을 통해 개발 기간 및 비용을 단축할 수 있다. 적용사례로서 이종 시스템 프로파일 정보를 이용해 이종의 실시간 운영체제 (brickOS와 uC/OS-II) 및 프로세서(Hitachi H8과 Intel PXA255)에 맞는 모델 및 코드를 생성하여 포팅 하였다. The complicated embedded system for multi-tasking requires RTOS(real-time operating system). It uses the optimal OS and processor to each embedded system on the heterogeneous development environment. This paper is proposed to use UML profile of OS API and Processor Configuration, instead of cross-compiling for developing the heterogeneous embedded system. This reduces the development time and cost through generating the automatic source code with the profile information of each embedded system. We generate and port the code after modeling the two heterogeneous real time operating systems (brickOS and uC/OS-II) and the processors (Hitachi H8 and Intel PXA255) with our proposed profile of the heterogeneous embedded system.

극초음속 무기체계의 개발 경쟁과 국가 안보의 함의

손현승,이호일,고덕곤 항공우주시스템공학회 2022 항공우주시스템공학회지 Vol.16 No.1

주요 선진국들은 극초음속 무기체계 개발에 경쟁을 가속화하고 있다. 북한은 잠수함 발사 탄도 미사일을 탑재한 신형 잠수함 건조를 눈앞에 두고 있고, 한국은 핵추진 잠수함, 경 항공모함, 신형 미사일 개발 등 다양한 전력 증강 계획을 추진하고 있다. 동북 아시아 지역은 한국을 비롯하여, 북한, 미국, 중국, 러시아, 일본이 군사적 경쟁 속에서 긴장감을 늦출 수 없는 상황을 지속하고 있다. 이에 따라, 이들 국가들의 무기체계 개발 경쟁도 전 세계의 최고 수준을 보여주고 있으며, 그 중심에 한국이 놓여있다. 본 논문에서는 주요 국가들이 개발 경쟁을 하고 있는 극초음속 무기체계가 왜 필요한지 기술적 분석을 통해 그 의미를 알아보고, 한국군이 추구하고자 하는 군사력 발전 방향을 분석해 본다. 그리고 극초음속 무기체계 개발을 위해 극복해야 하는 기술적 한계와 추진 전략에 대해 제안하고자 한다.

PHP 개념을 이용한 비선형 기동표적 추적기법 설계

손현승,주영훈,박진배 한국지능시스템학회 2006 한국지능시스템학회 학술발표 논문집 Vol.16 No.2

본 논문에서는 비선형 기동표적의 추적에 대한 새로운 접근 방식을 소개한다. 이 논문에서는 표적의 가속도를 시변 변수인 표적의 추가적인 잡음으로 두고 각각의 가속도 간격의 정도에 따라 얻어지는 모든 잡음에 대한 변수에 의해 각각의 하부 모델들을 특성화시켰다. 표적의 기동중에 나타나는 가속도를 효과적으로 다루기 위하여, 잡음의 크기가 급격히 증가할 경우 증가분을 가속도로 인식하여 기동표적 관계식에 이용하였다. 또한 모르는 가속도에 따른 시변 변수를 적응적으로 어립잡기는 어렵기 때문에 정밀한 계산을 위하여 퍼지 뉴럴 네트워크와 적응 상호작용 다중모델 기법을 이용하였다. 퍼지 뉴럴 네트워크의 동정을 위해서는 오차 역전파 학습법을 사용하였다. 그리고 제안된 알고리즘의 수행 가능성을 보여주기 위하여 몇 가지 예를 제시하였다.

SEDRIS에서 높이맵의 가시화를 위한 폴리곤 데이터 변환 방법

손현승,김영철 한국인터넷방송통신학회 2015 한국인터넷방송통신학회 논문지 Vol.15 No.6

CPS는 다양한 임베디드 시스템들을 복합적으로 모델링 및 시뮬레이션 한다. 이때 다양한 종류의 모델이 사용되기 때문에 시뮬레이션에 사용되는 데이터들에 대한 체계적인 관리 위해 SEDRIS를 적용한다. SEDRIS는 특정 도메인 환경에서 개발된 환경데이터들을 재사용 및 상호운영 가능하기 때문에 비용과 시간을 절감할 수 있다. 기존 시뮬레이터와 SEDRIS를 연동 위해, 시뮬레이터의 지형 표현에 사용되는 높이맵을 SEDRIS의 레스터 데이터 표현방법으로 변환하여 입력만이 가능하다. 이 문제를 해결위해, 높이맵 표현을 위해 사용되는 RAW파일을 폴리곤 데이터로 변환하는 방법을 제안한다. 제안한 방법은 두 가지 이점을 제공한다. 첫 번째로 SEDRIS 내부에 환경데이터 표현이 가능해진다. 두 번째는 그림파일처럼 보이는 지형을 뷰어로 확인 가능하다. 즉, SEDRIS 비전문가도 지형 환경 데이터를 구축이 가능하다. The Cyber-Physical Systems (CPS) complexly perform modeling and simulation (M&S) for the various embedded systems. In this case, due to use diverse formatted models, we suggest to apply with the SEDRIS to systematically manage the different formatted data on M&S. The SEDRIS can reduce time and cost with reusing and interoperating environment data developed in the specific domain. To do this, we should input the data transformed the height map for terrain representation in a simulator into raster data of SEDRIS for which interoperate between the existed simulator and the SEDRIS. To solve the problem, we propose the transformation method to transfer the polygon data from RAW file used in terrain representation. With the proposed method, we can provide two advantages. First, it can possibly express the environment data into SEDRIS. Second, we can see the terrain like an image file through a viewer. Therefore, even non-expert easily constructs the terrain environment data.

축별 분할된 PSO-퍼지 C-중간 클러스터링 기법을 이용한 외란의 구분 알고리즘 연구

손현승,박진배,주영훈 제어로봇시스템학회 2012 제어로봇시스템학회 국내학술대회 논문집 Vol.2012 No.4

TS 퍼지 규칙 기반 잡음 구분에 의한 기동표적 추적기법

손현승,박진배,주영훈 제어로봇시스템학회 2011 제어로봇시스템학회 국내학술대회 논문집 Vol.2011 No.5

This paper presents the intelligent tracking method using the concept of error compensation. We utilize the positional difference between measured point and predicted point. Comparing this positional difference with expected point, we calculate the computational error to recognize the characteristics of the maneuvering target using the fuzzy system. Dealing with the error by fuzzy system, we can approximate acceleration input. To increase the effect of estimation, the velocity and acceleration of the target are will be identified and the tracking result will be compensated. To increase the robustness of the system and to adapt the situation, we can control the parameter of the membership function in fuzzy set. Procedures of the proposed algorithm can be implemented as an on-line system. Finally, an example is provided to show the effectiveness of the proposed algorithm.

중첩된 다중표적 추적 알고리즘 설계

손현승,주영훈,박진배 한국지능시스템학회 2007 한국지능시스템학회 학술발표 논문집 Vol.17 No.1

본 논문에서는 다중 표적의 중첩이라는 상황에 대한 새로운 해결 방식을 소개한다. 비선형 표적의 위치와 속도에 대한 추적을 중심으로 표적과 비표적의 중첩이 일어나는 순간 이후 분리되었을 때 추적중인 표적을 지속적으로 유지할 수 있는 방법에 대해 이야기 하고자 한다. 이 논문에서 제안된 알고리즘은 예측 명중위치 개념과 최대 잡음수준을 이용한 칼만필터 기반의 적응 상호작용 다중모델 기법으로 측정된 위치값과 예측된 명중위치 사이의 차이를 고려한 변형된 칼만필터 개념을 이용한다. 이 논문에서는 비선형 표적의 가속도를 시변 변수인 표적의 추가적인 잡음으로 두고 각각의 가속도 간격의 정도에 따라 얻어지는 모든 잡음에 대한 변수에 의해 각각의 하부 모델들을 특성화시켰다. 제안된 알고리즘은 표적의 운동특성에 따라 적응적으로 기법을 선택할 수 있는 선택적 방식을 구현하고자 한다. 표적의 기동중에 나타나는 가속도를 효과적으로 다루기 위하여 잡음의 크기가 급격히 증가하는 경우 그 증가분을 가속도로 인식하여 기동표적 관계식에 이용한다. 그리고 제안된 알고리즘의 수행 가능성을 보여주기 위하여 몇 가지 예를 제시하였다.