지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2014.6
- 수록면
- 437 - 444 (8page)
이용수
초록· 키워드
오류제보하기
본 논문에서는 그래프 기반의 바이너리 코드 동적 실행 경로 탐색 플랫폼을 제안한다. 바이너리 코드의 조건 분기 명령어를 노드(Node), 그 외의 명령어를 에지(Edge)로 구성된 그래프를 정의하며, 이 그래프를 기반으로 하여 실행 경로 탐색을 수행하는 방안을 제안한다. 실험을 통해 제안하는 그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼의 프로토타입이 실행 경로 탐색을 올바르게 수행함을 확인하였으며, 본 논문에서 제안하는 방안을 통해 소프트웨어 테스팅을 보다 효과적으로 수행하여 소프트웨어 보증, 시큐어 프로그래밍 및 악성 프로그램 분석 등을 보다 효과적으로 수행할 수 있을 것으로 기대한다.
목차
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. 관련 연구
Ⅲ. 바이너리 코드 실행 경로 탐색의 어려움
Ⅳ. 실행 경로 탐색 플랫폼
Ⅴ. 프로토타입
Ⅵ. 결론
References
참고문헌 (19)
참고문헌 신청
1. [학술지(정기간행물)] - A. Bessey / 2010 / A Few Billion Lines of Code Later: using Static Analysis to Find Bugs in the Real World / Communications of the ACM 53 (2) : 66 ~ 75
2. [학술대회논문] - A. Moser / 2007 / Limits of Static Analysis for Malware Detection / Proceedings of the 23th Computer Security Applications Conference : 421 ~ 430
3. [학술대회논문] - D. Song / 2008 / BitBlaze: A New Approach to Computer Security via Binary Analysis / Proceedings of the 4th International Conference on Information Systems Security
4. [학술지(정기간행물)] - V. Chipounov / 2011 / S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems / ACM SIGARCH Computer Architecture News 39 (1) : 265 ~ 278
5. [학술대회논문] - M. Maurer / 2012 / TACHYON:Tandem Execution for Efficient Live Patch Testing / Proceedings of the 21st USENIX Security Symposium : 617 ~
2. [학술대회논문] - A. Moser / 2007 / Limits of Static Analysis for Malware Detection / Proceedings of the 23th Computer Security Applications Conference : 421 ~ 430
3. [학술대회논문] - D. Song / 2008 / BitBlaze: A New Approach to Computer Security via Binary Analysis / Proceedings of the 4th International Conference on Information Systems Security
4. [학술지(정기간행물)] - V. Chipounov / 2011 / S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems / ACM SIGARCH Computer Architecture News 39 (1) : 265 ~ 278
5. [학술대회논문] - M. Maurer / 2012 / TACHYON:Tandem Execution for Efficient Live Patch Testing / Proceedings of the 21st USENIX Security Symposium : 617 ~
이 논문의 저자 정보
이 논문과 함께 이용한 논문
소프트웨어 테스팅을 위한 테스트 데이터의 자동 생성
정인상
정보과학회지
2001
.11
역난독화를 위한 바이너리 프로그램 슬라이싱
목성균
,
전현구
,
조은선
정보보호학회논문지
2017
.02
바이너리 코드 분석을 통한 함수 유사도 분석 도구
양종환
,
이석수
,
정우식
외 1명
한국정보과학회 학술발표논문집
2016
.06
동적오염분석과 SMT 해석기를 이용한 소프트웨어 보안 취약점 분석 연구
김성호
,
박용수
정보과학회 컴퓨팅의 실제 논문지
2015
.03
동적오염분석과 SAT 해석기를 이용한 상용 소프트웨어 보안 취약점 분석 연구
김성호
,
박용수
한국정보과학회 학술발표논문집
2014
.06
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2015-560-001658100