• 정보보호학회논문지
• /
• 제30권5호
• /
• pp.847-857
• /
• 2020

IoT 장비가 상용화되면서 IP카메라, 도어락, 자동차, TV 등 일반 생활기기에 블루투스나 유무선의 네트워크가 내재되어 출시되고 있다. IoT 장비는 네트워크를 통해 많은 정보들을 공유하며 개인적인 정보들을 수집하여 시스템을 가동하기 때문에 IoT 장비에 대한 보안은 더욱 중요해지고 있다. 또한, 현재 사이버 위협 중 웹 기반 공격과 애플리케이션 공격이 상당히 많은 비중을 차지하고 있고, 이를 보안하기 위해 보안 전문가들이 수동 분석을 통해 사이버 공격의 취약점들을 분석하고 있다. 그러나 수동 분석으로만 취약점을 분석하기에는 사실상 불가능하기 때문에 현재 시스템 보안을 연구하는 연구원들은 자동화된 취약점 탐지 시스템을 연구하고 있고, 최근 USENIX에서 발표된 Firm-AFL은 커버리지 기반의 퍼저를 사용하여 퍼징의 처리속도와 효율성에 대해 연구를 진행하여 시스템을 제안했다. 하지만, 기존 도구는 펌웨어의 퍼징 처리속도에 초점을 두고 연구를 진행하다 보니 다양한 경로에서 취약점을 발견하지 못했다. 본 논문에서는 기존 도구에서 찾지 못한 다양한 경로에서 취약점을 발견하고자 변이과정을 강화시켜 기존 도구가 찾은 경로보다 더 많은 경로를 찾고, 제약조건을 해결하며 더 많은 크래시를 발견하는 IoTFirmFuzz를 제안한다.

• Journal of Platform Technology
• /
• 제11권3호
• /
• pp.32-44
• /
• 2023

블록체인 브릿지(이하 '브릿지'이라 한다.)는 블록체인간 자산 이동을 가능하게 해주는 서비스를 말한다. 브릿지는 사용자에게 가상 자산을 입금 받고 다른 블록체인의 사용자에게 동일한 가상 자산을 전달하는 역할을 한다. 블록체인 환경은 각각 독립적이기 때문에 일반적인 방식으로 다른 블록체인으로 자산을 옮길 수 없기 때문에 사용자는 브릿지를 이용한다. 따라서 브릿지를 이용한 자산 이동은 일반적인 방식으로 추적할 수 없다. 만약 악성 행위자가 브릿지를 통해 자금 이동을 하였다면 기존의 자산 추적 도구로는 추적에 한계가 있다. 따라서 본 논문에서는 브릿지의 구조를 파악하고 브릿지 요청에 대한 이벤트 로그를 분석하여 브릿지 이용 정보를 획득하는 방법에 대하여 제안한다. 우선 브릿지의 구조를 파악하기 위해 Ethereum Virtual Machine(EVM) 기반 블록체인에서 작동하는 브릿지를 대상으로 분석을 진행하였다. 분석한 내용을 바탕으로 임의의 브릿지 이벤트에 대하여 적용해보았다. 나아가 실제 추적에 사용될 수 있도록 브릿지 이용정보를 지속적으로 수집하여 저장하는 자동화 도구를 제작하였다. 실제 브릿지 이용 후 도구를 통해 이용 정보를 추출하여 송신 블록체인, 수신 블록체인, 전달받는 지갑 주소, 전송한 토큰의 종류, 수량과 같은 추적에 중요한 정보들을 확인할 수 있었다. 이를 통해 블록체인 브릿지를 이용한 자산 이동 추적의 한계를 극복할 수 있음을 보여주었다.

• 융합보안논문지
• /
• 제24권2호
• /
• pp.89-104
• /
• 2024

본 연구는 SW 엔지니어링 관련 업무에 AI(Artificial intelligence) 기술을 이용하는 사용 의도에 영향을 미치는 요인을 고찰하기 위한 실증적 연구로서, AI 증강 특성과 대화형 UI/UX의 특성 측면에서 이용에 영향을 미치는 핵심 요인을 이해하는데 연구의 목적이 있다. 이를 위해 AI 관련 기술의 이용 경험이 있는 정보통신 분야 종사자를 대상으로 설문을 진행하고 수집된 데이터를 분석하였다. 실증 분석의 연구 결과 지각된 유용성에는 전문성, 흥미성, 실재감, 심미성, 효율성, 유연성 요인들이 긍정적인 영향을 미쳤고, 지각된 사용 용이성에는 전문성, 흥미성, 실재감, 심미성, 유연성 요인들은 긍정적인 영향을 미쳤다. 다양성은 지각된 사용 용이성과 지각된 유용성 모두에 영향을 미치지 않았다. 지각된 사용 용이성은 몰입감에 유의미한 영향을 주어 사용 의도에 긍정적인 영향을 주었다. 이 같은 연구 결과는 애플리케이션의 설계, 개발, 테스트 및 프로세스 자동화등과 같은 SW 엔지니어링 관련 업무에서 AI 기술을 적용한 도구의 사용에 영향을 주는 요인에 대한 학술적 이해와 함께 AI 증강 개발 서비스를 제공하는 도구의 제작자가 사용자 유입 전략을 수립할 수 있도록 실무적인 방향을 제시하였다는 점에서 의의가 있다.

• 전자공학회논문지
• /
• 제49권12호
• /
• pp.209-218
• /
• 2012

최근 무어의 법칙을 연장시킬 시스템 집적 기술로서 Field Programmable Stateful Logic Array (FPSLA)가 제안되었다. 본 논문은 FPSLA의 설계 자동화 절차를 확립하고 논리 합성, 동기화, 물리적 매핑, 자동 배치 등의 접근 방법을 최초로 제시한다. 특히, 동기화를 통해 배치를 1차원 문제로 축소한 후 비선형 최적화 기법을 개량한 개략 배치 모델 및 하향식 계층적 2분법을 이용한 배치 적법화 알고리즘을 제안하였다. 또한, 제안된 모델 및 알고리즘을 소프트웨어로 구현하여 ACM/SIGDA 벤치 마크 예제에 적용함으로써 그 유효성을 입증하였다. 이 소프트웨어에는 Fanout 수만큼 출력 상태를 같은 단의 멤리스터성 스위치에 복사해야 하는 FPSLA의 특성을 고려하여 최적화 단계 별로 넷을 하이퍼에지로 통합했다가 다시 에지로 분리하는 기법이 제안되었으며 약 18.4%의 추가적 최적화를 이룩했다. FPSLA의 출력 상태 복사는 논리 단 일부에 셀 밀도가 집중되는 문제를 노출했으며 단위 논리 게이트의 Fanin을 제한하는 기법으로 18.5% 감소 효과를 얻었다. FPSLA의 실용성 확보를 위해서는 우선 논리 합성 시 Fanin의 수가 일부 단에 집중되지 않도록 제약하는 방안을 개발하여야 한다. 또한, FPSLA 패브릭 구조를 이식하기 위해 대칭성이 감소된 나노와이어 크로스바가 형성하는 복잡한 그래프 상에서 수행되어야 하는 자동 배선의 효율성 연구도 필요하다. 이러한 툴 개발은 설계 자동화 자체뿐만 아니라 FPSLA의 패브릭 구조 개선에 필요한 실험에 유용한 평가 도구로서도 큰 역할을 할 것이다.

• 정보과학회 논문지
• /
• 제44권5호
• /
• pp.476-485
• /
• 2017

미래 대공 유도무기체계 전술작전센터는 미래 공중위협, 전술정보, 통합전장 환경 생성 및 관리, 교전통제 및 지휘통제 알고리즘 연구를 위한 환경을 제공한다. 통합전장상황 생성 및 처리, 전술작전 자동화 처리 핵심 기능요소에 대한 개발을 위해서는 다역할(포대/대대) 전술작전 통제 및 재구성 설계가 가능한 소프트웨어가 필요하다. 따라서 기능 별 알고리즘 소프트웨어, 전술작전화면 소프트웨어, 장비들 간 연동을 위한 링크 소프트웨어를 데이터 중심 설계를 통해 재구성 가능하도록 개발하였다. 본 논문에서는 포대/대대 별 전술작전 운용화면에 재구성이 가능한 전술작전화면 프레임워크를 소개한다. 전술작전화면 프레임워크는 포대/대대 및 임무별 다역할 전술작전화면을 재구성 가능한 구조를 위해 공통데이터 모델설계와 MVC패턴을 이용한 화면구성도구를 개발하였다. 화면구성도구를 이용하여 화면 개발을 위한 전술작전화면 프레임워크를 제공한다. 전술작전화면 프레임워크를 이용하게 된다면 공통기반의 구조를 통해 화면 설계를 재사용 할 수 있다. 또한 쉽고 빠르게 재구성이 가능한 화면을 개발할 수 있을 것이다.

• 한국안전학회지
• /
• 제20권2호
• /
• pp.169-174
• /
• 2005

최근 산업현장 전반에 걸쳐 작업관련성 근골격계질환의 발생이 증가하고 있으며 그 피해의 규모도 점점 확대되어 가고 있다. 뿐만 아니라, 과거에는 주로 중량물 취급 또는 단순반복적인 작업등에 의해서 발생하였지만 최근에는 대부분의 생산현장에서 컴퓨터를 이용한 자동화가 이루어지고 가정용 PC가 널리 보급됨에 따라 컴퓨터의 사용과 관련한 근골격계질환의 발생이 증가하고 있다. 많은 사람들이 컴퓨터의 사용과 관련한 불편함 및 통증을 호소하면서 각종 보조도구들이 개발 및 판매되고 있으나 대부분 그 효과가 입증되지 않은 상태로 사용되고 있어서 오히려 이러한 보조도구의 사용이 근골격계질환의 발생위험성을 더 높아지게 할 수도 있다. 본 연구에서는 마우스 사용 시 보조도구로 이용되는 전완 지지대의 사용에 대하여 그 효과를 실험을 통하여 평가하였다. 본 실험에서는 Borg's scale과 근전도(Electromyography : EMC)를 이용하여 측정하였으며 분산분석(Analysis of Variance : ANOVA)을 통해 유의성을 검증하였다. 측정자료를 분석한 결과 전완지지대'의 사용이 오히려 작업의 효율을 떨어뜨리고 작업자가 느끼는 불편함 및 통증의 정도와 근육의 활동량을 증가시킴을 알 수 있었다.

• 한국농림기상학회지
• /
• 제20권3호
• /
• pp.243-251
• /
• 2018

작물 생산량의 시 공간적 분석은 정책입안자와 이해관계자들에게 중요한 정보를 제공할 수 있으나, 이를 위해서는 공간적 기상자료를 처리하고 이에 맞추어 작물 모형을 구동할 수 있는 작업들이 필요하다. 이에 따라 DSSAT (Decision Support System for Agrotechnology Transfer)을 기반으로 지역내 작물 생산성 자료를 생산할 수 있는 자동화 시스템을 개발하고자 하였다. 이 시스템은 전문적인 컴퓨터 프로그래머가 아니더라도 사용가능한 R과 shell script를 기반으로 개발되었다. 먼저, 격자형 기상자료의 각 격자에 해당하는 정보를 텍스트 형식의 기상 입력자료 형식으로 변환하는 기능을 가지는 모듈을 작성하였다. 다음으로 R 패키지를 사용하여 GIS자료 처리와 병렬 처리기능이 구현된 R script을 작성하였다. 또한, 작물 모델을 자동으로 구동하는 기능을 shell script를 사용하여 구현하였다. 사례 연구로, 미국 Illinois 주에서 콩의 최대 수량을 얻을 수 있는 재배관리 조건의 공간적인 분포를 파악하고자 하였다. 개발된 도구를 통해 AgMERRA 자료로부터 Illinois 주의 1981 - 2005년 까지의 기상입력자료를 생산하였다. 해당 지역에서 1개의 CPU 코어를 사용하여 1년간의 자료를 처리하기 위해 7.38 시간이 걸렸으나, 병렬처리를 통해 16개의 CPU 코어를 사용하였을 때 처리 시간이 크게 줄어, 35분만에 처리가 가능하였다. 이렇게 생산된 기상 입력자료들을 작물 모형 자동 구동 시스템에 활용하여 해당 지역에서의 최대 수량과, 최대 수량을 가지는 성숙군 및 파종일 지도를 작성할 수 있었다. 특히, 본 연구에서 개발된 도구는 DSSAT 모델뿐만 아니라 국내에서 사용되는 다른 작물모델들에게 적용될 수 있어 공간적 작물 생산성 평가에 도움을 줄 수 있을 것으로 보인다.

• 디자인학연구
• /
• 제18권1호
• /
• pp.223-232
• /
• 2005

컴퓨터의 보급으로 모든 산업이 자동화 및 간편화 되어가고 있는 개발 및 생산체계 환경과 경쟁적인 산업디자인 제품개발 과정에서 가장 우선하는 것은 신속성과 다양성의 추구라고 할 수 있다. 디자인을 연구하는 학생들에게 사회 환경 적응을 위해 다양한 아이디어를 단시간에 전개해야만 한다. 그러므로 학교나 기업에서 새로운 조형의 전개와 신속한 디자인 설계검토 및 생산을 위해서는 신속한 조형능력에 대한 결과를 보여줄 수 있는 새로운 도구를 찾게 되었다. 이와 같은 환경변화에 따라 기업은 경쟁이 치열해짐에 따른 제품설계에서부터 생산에 이르기까지의 소요되는 시간과 비용 절감에 따른 요구와 학교는 다양한 디자인전개에 따른 3차원 모형에 대한 결과물 제시 등으로 RP도입을 생각하기에 이르렀다. 본 연구는 앞으로 도입해서 사용하고 있거나 예정하고 있는 대학에 하나의 새로운 사례로서 도움이 될 수 있다고 생각한다. 본 연구목적은 이러한 시점에서 연구자가 재직하고 있는 대학에서 사용하고 있는 RP기기를 중심으로 학생들의 디자인결과물을 어떻게 제작했으며, 수작업이나 CNC기기를 사용한 모형제작 방식과 의 차이점을 비교하려고 한다. 그 결론으로는 수동형 도구로는 곡선적인 모형으로 형태가 큰 것이, CNC기기로는 복잡하지 않으면서 정교하게 제작하려는 모형, RP는 복잡하면서 제품의 크기가 작은 것이 경제적이 측면에서 유리함을 알 수 있었다.

• 한국멀티미디어학회논문지
• /
• 제15권9호
• /
• pp.1156-1164
• /
• 2012

한옥은 단순히 전통건축의 의미를 넘어서 우리 선조들의 삶에 대한 양식과 인식을 담고 있는 지금도 살아 숨 쉬는 문화유산이다. 최근 한옥이 자연친화적 건축으로 주목을 받게 되면서 한옥의 전통적 방식을 훼손하지 않으면서도 건축과정에 효율을 꾀할 수 있는 방안이 모색될 필요가 대두되었다. 이에, 본 논문에서는 건축정보모델링을 기반으로 하는 설계 지원도구를 개발하여 한옥의 설계에서 검증, 생산 공정에 이르는 전 과정을 지원하는 것을 목표로 한다. 이를 위해 먼저, 전통건축의 통시대적 고찰과 한옥의 목구조 방식에 대한 체계적인 분석을 통해 전통건축 설계에 필요한 부재들에 대한 효율적 설계 방식을 제시한다. 논문에서 제안하는 방식은 특성이 비슷한 부재들을 모아서 하나의 템플릿으로 설계하고 다양한 형태의 유사부재들을 속성 값에 따라 자유롭게 생성할 수 있도록 객체지향 방식의 표현기법을 사용하는 것이다. 이 방식은 객체지향 방식의 부재를 표현함에 있어서 연결 부재간의 상관관계를 부재와 부재간의 관련 파라미터들 사이의 결합규칙을 적용함으로써 설계의 오류를 최소화 하도록 지원할 수 있다. 또한 개발된 시스템은 서양건축 설계 위주의 CAD프로그램에 플러그 인 형태로 수행할 수 있기 때문에 전통적인 방식의 한옥설계는 물론 한옥 건축문화를 현대적 생활공간에 쉽게 접목할 있도록 고안되었다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권8호
• /
• pp.543-554
• /
• 2013

모델 중심 개발 방법론은 시스템 개발의 추상화 수준을 높임으로써 구현 세부 사항과는 독립적으로 중요한 요구사항과 설계 문제 등을 개발 단계 초기에 점검할 수 있도록 해준다. 그러나 현재까지 많은 소프트웨어가 코드중심, 상향식 개발방식을 통해 개발되어 왔고, 따라서 적절한 도구의 지원 없이는 이러한 모델 중심 개발 방법을 도입하는 것이 쉽지 않다. 현재 코드 중심으로 개발된 시스템에 모델 중심 개발 방법론을 도입할 수 있도록 코드로부터 모델을 생성하는 역공학적인 접근방법이 연구되고 있으나 대부분 코드에서 일차적인 모델을 추출하는 데 그치고 있다. 하지만 추상컴포넌트 개념을 이용하면 이러한 모델을 일차적으로 추출에 그치지 않고, 추출된 일차 모델을 상위수준의 추상화 단계로 연속적으로 추출할 수 있다. 본 연구에서는 이러한 추상컴포넌트의 연속적인 추출 과정 중 첫 번째 단계인 코드로부터 최하위 기반(base) 추상컴포넌트를 추출하는 과정을 자동화할 수 있는 기법을 제안하고, 실제 도구 구현을 통해 그 기법의 타당성을 평가한다. 실험 대상으로 선택된 코드는 무선센서 네트워크 운영체제인 TinyOS의 소스 코드이며, 해당 소스 코드는 nesC 언어로 작성되었다.