• 정보처리학회논문지C
• /
• 제13C권4호
• /
• pp.397-404
• /
• 2006

소프트웨어 공격이 성공하기 위해서는 공격 코드가 프로그램의 주소 공간에 주입된 후 프로그램의 제어 흐름이 공격 코드 위치로 변경되어야 한다. 프로그램의 주소 공간 중 코드 영역은 실행 중에 변경이 불가능하므로 공격 코드가 주입될 수 있는 곳은 데이터 영역 밖에 없다. 따라서 데이터 영역으로 프로그램의 제어가 변경될 경우 주입된 공격 코드로 제어가 옮겨 가는 공격이 발생한 것으로 판단할 수 있다. 따라서 본 논문에서는 프로그램의 제어 흐름과 관련된 CALL, JMP, RET 명령어의 목적 주소를 검사하여 제어가 옮겨갈 목적 주소가 프로그램의 실행 코드가 저장된 텍스트 영역이 아닌 데이터 영역일 경우 소프트웨어 공격이 발생한 것으로 간주하는 소프트웨어 공격 탐지 기법을 제안하였다. 제안된 방법을 이용하면 함수의 복귀주소뿐만 아니라 함수포인터, longjmp() 버퍼 등 프로그램 제어 흐름과 관련된 모든 데이터가 변경되었는지 점검할 수 있었기 때문에 기존 기법들보다 더 많은 종류의 공격을 탐지할 수 있었다.

• 한국빅데이터학회지
• /
• 제7권2호
• /
• pp.1-9
• /
• 2022

글로벌 시대에 들어서면서 수입식품 안전관리에 대한 중요성이 증가하고 있다. 해외 식품업체 주소정보는 수입식품 안전관리를 위한 핵심 정보로써 식품위해 발생시 신속한 대처와 사후관리를 위해 반드시 검증되어야 한다. 그러나 각국의 주소체계가 다른 관계로 하나의 검증시스템이 모든 국가의 주소를 검증할 수는 없다. 또한, 주소검증은 사용하는 분야에 따라 검정목적이 상이할 수 있다. 본 논문에서는 주어진 해외 식품업체 주소로부터 해당 국가의 행정구역 레벨로 분류하는 문제를 다룬다. 수입식품 안전관리를 정확하고 효율적으로 하기 위하여 수입식품제조업체 주소를 해당 국가의 행정구역 수준으로 정확하게 매칭하는 것이 필요하다. 수입식품이 생산·제조되는 위치와 식품제조에 영향을 줄 수 있는 환경정보, 재난재해 정보를 결합함으로써 선제적 수입식품 안전관리가 가능하다. 그러나, 일부 국가에서는 주소를 표기할 때 행정구역 레벨명을 생략하여 작성하고 있으며, 동일한 지명이 여러 행정구역 레벨에서 중복되는 경우가 있어 주소로부터 행정구역 레벨을 정확히 분류하는 일은 쉽지 않다. 본 연구에서는 이러한 경우에 적합한 딥러닝 기반 행정구역 레벨 분류 모델을 제안하고, 실제 해외 식품회사 주소 데이터에 대하여 검증한다. 구체적으로 다중 레이블 분류 모델에서 멱집합(Label Powerset)을 이용해 훈련하는 방식을 사용한다. 제안된 기법의 검증을 위해 식약처에 등록된 에콰도르 및 베트남에 있는 해외 제조업소 주소에 대하여 정확도를 검증하였으며, 기존의 분류 모델보다 정확도가 각각 28.1% 및 13% 정도 향상되었다.

• 대한전자공학회논문지TC
• /
• 제41권11호
• /
• pp.39-45
• /
• 2004

본 논문은 차세대 망을 위한 주소분석 알고리즘을 제안한다. 즉, 차세대 망에서의 공중 전화망 번호체계 및 ATM 망 번호 체계를 수용할 수 있는 통합망 주소분석 메커니즘을 제안한다. 본 논문에서 제안하는 통합망 주소분석 메커니즘은 시스템 및 망 운용 중 대규모 정보의 변화에도 능동적이고, 융통성 있게 대응할 수 있는 주소분석 소프트웨어 구현이 목적이다. 이를 위해 주소분석 데이터베이스의 구조를 설계하고 주소분석 알고리즘을 기술하였다. 제안되는 관계형 모델 데이터베이스 구조는 복잡한 망의 주소 정보를 효율적으로 관리할 수 있도록 하는 효과를 갖는다. 또한 제안하는 메커니즘을 검증하기 위하여 실제 환경에 적용하여 연동 시험을 통해 우수성을 입증하였다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제2권5호
• /
• pp.217-222
• /
• 2013

Return-Oriented Programming(ROP)는 기존 return-to-libc의 발전된 형태로 프로그램의 코드 영역에 있는 가젯을 조합하여 공격자가 원하는 모든 기능을 수행할 수 있는 코드 재사용 공격 기법이다. ROP 공격을 방어하는 기존 방어 기법들은 동적 실행 흐름 분석으로 인한 높은 성능 부하를 보이거나 ROP 공격에 대한 부분적인 방어만 가능하였다. 본 논문에서 제시하는 간접 분기 목적 주소 검증 기법(Indirect Branch Target Address Verification)은 간접 분기문의 목적 주소가 유효한지 검사해서 ROP 공격을 탐지하며, ROP 공격의 대부분을 방어할 수 있다. 또한 동적 실행 흐름 분석이 필요 없기 때문에 낮은 성능 부담을 보인다. SPEC CPU 2006 벤치마크를 대상으로 한 성능평가에서 15%보다 적은 성능 부하를 보였다.

• 스마트미디어저널
• /
• 제8권2호
• /
• pp.86-93
• /
• 2019

본 연구에서는 스마트 단말에서 워크스코어 어플리케이션의 사용 편의성 향상을 위한 GUI 개발을 목적으로 한다. 본 연구는 선행연구에서 개발된 서울시를 대상으로 한 워크스코어 데이터를 활용하였다. 어플리케이션 GUI는 크게 다섯 개의 영역으로 구성된다. 각 영역은 주소입력창 및 검색버튼, 상세정보(주소, 위도, 경도, 워크스코어) 출력, 화면전환 및 워크스코어 출력 개수 입력창, 데이터 입력창, 메뉴버튼 영역으로 구성된다. 한편, 어플리케이션 GUI 검증을 위해 강남역과 명동역 인근의 총 12개의 데이터(주소, 위도, 경도, 워크스코어)와 여러 검증 시나리오들을 활용하였다. 먼저, 총 12개 지점의 데이터를 기반으로 주소검색과 키워드 검색의 정확성을 확인하였다. 새로운 위치의 워크스코어를 입력 하고 해당 위치를 검색함으로써, 입력 및 검색이 정상적인지를 확인하였다. 마지막으로 총 13개의 데이터를 파일로 출력한 후 파일 내 데이터의 누락 여부를 확인하였다. 본 연구에서 개발한 워크스코어 어플리케이션은 이 모든 시나리오에서 정상적으로 작동되는 것을 확인하였다. 본 연구에서 개발한 워크스코어 어플리케이션은 일반 시민 누구나 일상생활에서 요긴하게 활용될 것으로 기대된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.343-345
• /
• 2004

높은 효율성과 시스템 자원을 세일하게 제어할 수 있는 편리성을 제공하기 위해서 소프트웨어의 안전성에 대한 책임을 개발자가 지게하는 C 언어의 특성으로 인해서 버퍼 오버플로우, 포맷 스트링 기법 등을 이용한 소프트웨어 공격이 계속 나타나고 있다. 지금까지 알려진 소프트웨어 공격 기법의 다수가 버퍼 오버프로우 기법을 이용한 것이어서 지금까지의 연구는 주로 버퍼 오버플로우 공격 방지 및 탐지에 집중되어 있어 다른 공격 기법에 적용하는 데는 한계가 있었다. 본 논문에서는 소프트웨어 공격의 궁극적인 목적이 제어흐름을 변경시키는 것이라는 것을 바탕으로 프로그램의 제어흐름이 정상적인 범위를 벗어날 경우 이를 공격으로 탐지하는 새로운 기법을 제안하고 기존 연구 결과들과 비교하였다.

• 한국아동복지학
• /
• 제26호
• /
• pp.61-86
• /
• 2008

본연구의 목적은 이혼가정자녀들의 문제행동을 예측하는데 있어서 누적적 위험모델의 효과성과 누적적 위험요인의 수와 그 누적적 영향력이 이혼가정자녀의 문제행동에 영향을 미치는지를 검증하는데 있다. 누적적위험 요인은 생태체계적인 측면에서 12개로 구성하였으며 위험요인의 원점수를 2진수로 변환하여 0-12점의 점수로 측정하였다. 연구결과, 이혼가정자녀들이 부모이혼후 경험한 위험요인의 수가 많은 아동일수록 문제행동의 가능성은 증가하는 것으로 나타나 위험요인의 누적적 효과가 있음이 검증되었다. 또한 이혼가정자녀의 문제행동에 누적적위험요인의 영향력과 다중위험 요인의 영향력이 일관성있게 나타났다. 이러한 결과를 근거로 이혼가정자녀들의 행동문제를 위한 예방과 전략이 모색되었다.

• 한국멀티미디어학회논문지
• /
• 제10권3호
• /
• pp.411-419
• /
• 2007

EVM(Embedded Virtual Machine)은 모바일 디바이스, 셋톱박스, 디지털 TV에 탑재되어 하드웨어에 독립적으로 수행되는 스택기반 가상기계이며, SIL(Standard Intermediate Language)은 EVM의 중간언어로 객체지향 언어와 순차적인 언어를 위한 연산 코드 집합을 갖고 있다. 기존에는 C 프로그램을 실행하기위해 플랫폼에 의존적인 목적코드로 변환하여 실행하였다. 이런 문제를 해결하기 위해 본 연구팀은 EVM을 개발하면서 목적기계의 코드가 아닌 플랫폼에 독립적인 스택기반의 SIL 코드를 생성하는 ANSI C 컴파일러를 개발하였다. 본 논문에서는 ANSI C 컴파일러가 생성한 SIL 코드를 3-주소 코드 형태의 재 표현된 ANSI C 프로그램으로 변환하는 SIL-to-C 역컴파일러(Decompiler) 시스템을 설계하고 구현하였다. 이와 같은 작업은 ANSI C 컴파일러가 생성한 SIL 코드가 올바른지를 확인할 수 있는 검증 방법을 제시하며, 소프트웨어 오작동 및 버전 호환이 이루어지지 않을 때 소프트웨어의 구조를 변경하고 수정하여 성능을 개선하는 작업을 용이하게 한다.

• 한국비블리아학회지
• /
• 제18권2호
• /
• pp.271-288
• /
• 2007

본 연구의 목적은 SCI와 같은 국제적인 데이터베이스에 등재된 학술지 중에서 한 나라의 학술지를 찾아내고 구분하는 기준이 어떤 것들이 있으며, 또 이러한 기준이 그 나라의 학술지를 모두 찾을 수 있는지에 대한 검증을 하는 것이다. 학술지 발행국, 학술지 편집 및 발행 주체 학술지명에 한국과 관련한 고유한 단어 포함여부, 한국 주소 논문이 많은 학술지 등 4가지 기준에 의거하여 SCI와 JCR 데이터베이스를 검색하고 학술지 웹사이트 등 관련 자료를 추적하였다. 그 결과 2006년도 SCI 등재 한국 학술지는 모두 40종인 것으로 나타났다. SCI에서 학술지 발행국을 한국으로 처리한 것은 38종, 외국출판사에서 발행하나학술지 편집주체가 한국의 학회인 학술지는 2종, JCR 2006에서 검색 가능한 것은 36종, 한국 관련 고유명사가 학술지명에 나타나는 학술지는 11종이고, 한국 주소 논문이 많은 SCI 학술지 20위 안에는 9종이 그리고 500위 안에는 36종이 포함되었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권6호
• /
• pp.643-656
• /
• 2000

ATM 포럼에서 제안하여 표준화 한 MPOA(MultiProtocol Over ATM)는 다야한 네트워크 환경에서 ATM 네트워크에게 효과적인 브릿징과 라우팅을 제공하는 프로토콜로써, 서브넷 간에 효율적인 유니캐스트 데이타 전송을 주된 목적으로 하고 있다. 본 논문에서는 ITU에서 표준화한 통신 시스템 개발용 명세 기술 언어인 SDL(Specification and Description Language)을 사용하여 MPOA 구성요소를 구현하였으며, 상위 계층에서 받은 패킷에 대한 주소 해석, Ingress/Egress 캐쉬 관리, 지름길 설정 등에 따른 MPOA 자동 절차를 SDT(SDL Design Tool)에서 제공하고 있는 시뮬레이터를 통하여 검증하였다.