• 제목/요약/키워드: Binary Code Analysis

검색결과 126건 처리시간 0.034초

바이너리 취약점의 자동 탐색을 위한 동적분석 정보 기반 하이브리드 퍼징 연구 (A Study on Hybrid Fuzzing using Dynamic Analysis for Automatic Binary Vulnerability Detection)

  • 김태은;전지수;정용훈;전문석
    • 한국산학기술학회논문지
    • /
    • 제20권6호
    • /
    • pp.541-547
    • /
    • 2019
  • 최근 자동화 되는 해킹 및 분석 기술의 발전으로 인하여 수많은 소프트웨어 보안 취약점이 빠르게 발표되고 있다. 대표적인 취약점 데이터베이스인 NVD(National Vulnerability Database)에는 2010년부터 2015년까지 보안 취약점(CVE: Common Vulnerability Enumeration) 약 8만 건이 등록되었으며, 최근에도 점차 증가하고 있는 추세이다. 보안 취약점은 빠른 속도로 증가하고 있는 반면, 보안 취약점을 분석하고 대응하는 방법은 전문가의 수동 분석에 의존하고 있어 대응 속도가 느리다. 이런 문제점을 해결하기 위해 자동화된 방법으로 보안 취약점을 탐색하고, 패치하여 악의적인 공격자에게 공격 기회를 줄 수 있는 보안 취약점을 사전에 대응 할 수 있는 기술이 필요하다. 본 논문에서는 복잡도 분석을 통해 취약점 탐색 대상 바이너리의 특징을 추출하고, 특징에 적합한 취약점 탐색 전략을 선정하여 취약점을 자동으로 탐색하는 기술을 제안한다. 제안 기술은 AFL, ANGR, Driller 도구와 비교 검증 하였으며 코드 커버리지는 약 6% 향상, 크래시 개수는 약 2.4배 증가, 크래시 발생율 약 11% 향상 효과를 볼 수 있었다.

다매체 직접수열 대역확산 다중접속 시스템의 성능분석 (performance Evaluation of a Multi-Media DS/SSMA System)

  • 김홍직;송익호;김상우;한진희
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송공학회 1996년도 학술대회
    • /
    • pp.33-38
    • /
    • 1996
  • A multi-media binary DS/CDMA system with variable processing gain and coherent correlation receivers are considered under additive white Gaussian noise channels. Two types of information sources with different rates and transmitting powers are assumed to be transmitted simultaneously in the same channel. Average signal-to-noise ratios at the correlation receiver outputs for each type of information sources are analytically derived as functions of discrete partial cross-correlations between spreading code sequences. The analysis is expected to provide analytical tools for use in preliminary system design and spreading code selection.

  • PDF

24/25 I-NRZI 변조기 설계에 관한 연구 (A Study on 24/25 I-NRZI Modulation)

  • 박기서;박종진조원경
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 1998년도 하계종합학술대회논문집
    • /
    • pp.277-280
    • /
    • 1998
  • The paper provides an overview of those requirements. A detailed description is given of the construction of the new channel code, called 24/25 code, that compiles with the given constraints and involves only a minor drawback in terms of the overhead needs. The servo position information is recorded as low frequency componets, pilot tracking tones, which are embedded in the recorded stream of binary digits. Pilot tracking Tones are used to derive head position reference information in camcorders and DVCRs. A simple pilot tone encoder has been designed by using a new approach, "2 path precoder". Owing to this method, the hardware size can be significantly reduced. the correctness of the method has been verified by theoretical analysis and by extensive simulation.imulation.

  • PDF

세탁기용 자동변속기 (Auto-Transmission)의 이상음 검사자동화 시스템에 관한 연구 (A Study on Noise Automatic Inspection System for Washing Machine Auto-Transmission)

  • 김재열
    • 한국공작기계학회:학술대회논문집
    • /
    • 한국공작기계학회 1998년도 춘계학술대회 논문집
    • /
    • pp.310-315
    • /
    • 1998
  • This study includes noise automatic inspection system for washing machine auto-transmission one of modern home necessary. We effort to find and certificate sound noisesource by sound power and sound intensity, and apply to frequency analysis in vibration related sound noise. Still more we have been studying to data acquisition and programming for MS VisualBasic version 5.0. System component is below. 1) Pentium PC for data acquisition. 2) DSO for noise acquisition. 3) S/W for comparison and decision. 4) I/F Board for data communication. Wave form data through the DSO are converting to ASCII code data. The ASCII code through binary converting S/W are to be decision fitness or the badness comparison S/W. Finally, we will making noise monitoring system and automatic inspection system.

  • PDF

4-위상 신호 방식에 알맞은 직접수열 부호분할 다중접속 서명수열 (DS/CDMA Signature Sequences for 4-phase Signaling)

  • 박소령;송익호
    • 한국통신학회논문지
    • /
    • 제30권5C호
    • /
    • pp.313-319
    • /
    • 2005
  • 이 논문에서는, 상관 (correlation) 성질이 비동기 (asynchronous) 4-위상 신호 방식에 알맞은 다상 (polyphase)수열 집합을 제안한다. 제안한 수열과 이진 의사잡음 (pseudo-noise: PN) 수열을 서명수열로 (signature sequence)쓸 때 직접수열 부호분할 다중접속 (direct sequence code division multiple access: DS/CDMA) 시스템의 성능을 견주어 본다. 최대 절대 상관값으로 (maximum magnitude of correlations) 분석한 최악 성능과 모의 실험으로 얻은 평균 비트오류율 성능 모두에서 제안한 수열을 쓰면 이진 의사잡음 수열을 쓸 때보다 시스템 성능이 더 나음을 보인다.

자동변속기(Auto-Transmission)의 이상음 검사자동화 시스템개발 (Development of Automatic Program for Noise Inspection of Auto-transmission)

  • 김재열
    • 한국생산제조학회지
    • /
    • 제9권6호
    • /
    • pp.9-18
    • /
    • 2000
  • This study includes noise automatic inspection system for washing machine auto-transmission one of modern home necessary. We effort to find and certificate sound noise source by sound power and sound intensity, and apply to frequency analysis in vibration related sound noise. still more we have been studying to data acquisition and programming for MS VisualBasic version 5.0. System component is below. 1) Pentium PC or data acquisition. 2) DSO for noise acquisition. 3)S/W for comparison and decision. 4) I/F Board for data communication. Wave form data through the DSO are converting to ASCII code data. The ASCII code through binary converting S/W. Finally we will making noise monitoring system and automatic inspection system.

  • PDF

단편화된 실행파일을 위한 데이터 구조 역공학 기법 (Reverse engineering of data abstractions on fragmented binary code)

  • 이종협
    • 정보보호학회논문지
    • /
    • 제22권3호
    • /
    • pp.615-619
    • /
    • 2012
  • 실행파일에 대한 정적인 분석을 통한 역공학 과정은 소프트웨어 보안에서 필수적인 단계이다. 역공학은 크게 소프트웨어가 사용하는 데이터 구조와 제어 구조에 대하여 수행된다. 특히 데이터 역공학은 소프트웨어를 이해하기 위해 필수적이지만 기존의 VSA 기법은 단편화된 실행파일에 대한 한계를 가지고 있다. 본 논문에서는 동적인 영역할당을 통해 이러한 문제점을 해결하고 데이터 구조 역공학의 성능을 향상시킨다.

소스코드 주제를 이용한 인공신경망 기반 경고 분류 방법 (Warning Classification Method Based On Artificial Neural Network Using Topics of Source Code)

  • 이정빈
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제9권11호
    • /
    • pp.273-280
    • /
    • 2020
  • 자동화된 정적분석 도구는 소스 코드상에 잠재된 결함을 개발자들이 적은 노력으로 빠르게 찾을 수 있도록 도와준다. 하지만 이러한 정적분석 도구는 수정할 필요가 없는 오탐지 경고들을 무수하게 발생시킨다. 본 연구에서는 소스코드 블록의 토픽 모델을 이용한 인공신경망 기반의 경고 분류 기법을 제안한다. 소프트웨어 변경 관리 시스템으로부터 버그를 수정한 리비전들을 수집하고, 개발자들로부터 수정된 코드 블록들을 추출한다. 토픽 모델링을 이용하여 수집된 코드 블록의 토픽 분포 값을 구하고, 코드 블록의 리비전 간 경고들의 삭제 여부를 표현하는 이진데이터를 인공신경망의 입력 값과 출력 값으로 사용하여 심층 학습을 수행한다. 그 결과, 인공신경망 기반의 분류 모델이 높은 예측 성능으로 진성 또는 오탐지 경고를 분류하였다.

기호 형태의 값-집합 분석을 이용한 ARM 위치 독립적 코드의 정교한 역어셈블리 기법 (A Disassembly Technique of ARM Position-Independent Code with Value-Set Analysis Having Symbol-Form Domain)

  • 하동수;오희국
    • 정보보호학회논문지
    • /
    • 제28권5호
    • /
    • pp.1233-1246
    • /
    • 2018
  • 스마트 모바일의 보급에 따라, 컴퓨터 보안에서 ARM 아키텍처 명령어로 구성된 위치 독립적 코드의 역어셈블리 기법이 중요해지고 있다. 그러나 대부분의 기존 기법들은 x86 아키텍처 대상으로 연구되었으며, 위치 종속적 코드의 문제 해결과 범용성에 초점이 맞추어져 있다. 따라서, ARM 아키텍처의 고정 길이 명령어와 위치 독립적 코드의 특징이 제대로 반영되지 않아, 바이너리 계측과 같이 바이너리 자체를 직접 수정하는 수준의 고도화된 응용 보안 기술에 적용하기에는 수집되는 주소 정보의 정확도가 낮다. 본 논문에서, 우리는 ARM 명령어로 구성된 위치 독립적인 코드의 특성을 반영한 역어셈블리 기법을 제안한다. 정확하고 추적 가능한 주소의 수집을 위해, 도메인이 기호화된 값-집합 분석을 설계하였다. 또한, 역어셈블의 주요 문제점을 해결하기 위해, 컴파일러가 생성하는 코드의 특징을 활용한 휴리스틱을 고안하였다. 우리 기법의 정확도와 유효성을 검증하기 위해, 안드로이드 8.1 빌드에 포함된 669개의 공유라이브러리 및 실행 파일을 대상으로 실험하였으며, 그 결과 완전한 역어셈블의 비율이 91.47%로 나왔다.

제주 정낭 채널 Code II (Jeju Jong Nang Channel Code II)

  • 이문호;칸하심알리;박주용
    • 전자공학회논문지
    • /
    • 제49권12호
    • /
    • pp.36-44
    • /
    • 2012
  • "제주 정낭 Code I"에서는 배경과 역사 그리고 물리적 의미에 대해 알아보았고, 본 논문에서는 디지털 휴먼 이진 코드인 한국의 제주도 전통에서 나무문으로 쓰인 정낭 정보통신의 뿌리를 소개하면서 AWGN 모델과 비슷한 정낭 결정 채널 모델을 조사하고, 채널 용량 분석에 접근하는 결정적 모델을 찾는 것을 목표로 한다. 또한 이 분석은 AWGN 모델의 용량에 대한 이해를 제공한다. 정낭 정보통신은 가족의 행방을 전달 위해 세 구멍으로 두 수직 돌에 3개의 서까래를 놓은 것으로 결정적인 신호이다. 따라서 정낭 채널 코드는 이동통신 기지국간 Backhaul에 사용됨을 보인다.