개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학위논문
- 저자정보
- 지도교수
- 문종섭
- 발행연도
- 2020
- 저작권
- 고려대학교 논문은 저작권에 의해 보호받습니다.
이용수1
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
자바스크립트 엔진은 주로 웹 브라우저에 적재되어 웹 페이지를 표시하는 여러 기능 중 자바스크립트 코드를 입력으로 받아 처리하는 모듈이다. 자바스크립트 엔진 내 취약점은 종단 사용자의 시스템 보안을 위협할 수 있어 많은 퍼징 테스트 연구가 수행되었다. 그중 일부 연구는 자바스크립트 엔진 내 테스트 커버리지를 유도하는 방식으로 퍼징 효율을 높였으나, 최적화되어 동적으로 생성된 기계어 코드에 대한 커버리지 유도 퍼징은 시도되지 않았다. 최적화된 자바스크립트 코드는 예외적인 흐름 발생 시 코드를 해제하는 런타임 가드의 기능으로 인해 퍼징을 통한 충분한 반복 테스트가 어렵다. 본 논문은 이러한 문제점을 해결하기 위해 최적화 해제를 회피하여 최적화된 기계어 코드에 대해 퍼징 테스트를 수행하는 방법을 제안한다. 또한, 동적 바이너리 계측 방식으로 수행된 런타임 가드의 커버리지를 계측하고 커버리지 증가를 유도하는 방식을 제안한다. 실험을 통해, 본 연구가 제안하는 방식이 런타임 가드 커버리지, 시간당 테스트 횟수의 두가지 척도에서 기존의 방식보다 뛰어남을 보인다.
목차
제 1 장 서론 1제 2 장 관련 연구 4제 1 절 자바스크립트 엔진 퍼징 4제 2 절 커버리지 유도 5제 3 절 자바스크립트 엔진에 대한 커버리지 유도 퍼징 6제 3 장 자바스크립트 엔진 7제 1 절 자바스크립트 최적화 71. 자바스크립트 JIT 컴파일 72. 최적화 과정 73. 런타임 가드와 최적화 해제 8제 2 절 최적화된 기계어 코드에 대한 퍼징 91. 개발자용 셸을 이용한 퍼징 수행 92. 최적화된 기계어 코드에 대한 퍼징 방법 103. 최적화 해제로 인한 퍼징 오버헤드 11제 4 장 최적화 해제 회피 및 런타임 커버리지 유도 방법론 12제 1 절 제안 방법의 전체 구성 12제 2 절 디버거 모듈 기능 구성 13제 3 절 런타임 가드 기반 커버리지 측정 14제 4 절 런타임 가드 기반 커버리지 증가 유도 16제 5 장 실험 및 평가 19제 1 절 실험 환경 19제 2 절 최적화된 자바스크립트 함수에 대한 퍼징 201. 최적화할 자바스크립트 함수 샘플 생성 192. 자바스크립트 함수 수정 20제 3 절 성능 평가 척도 20제 4 절 제안 방법의 성능 측정 211. 실험 구성 212. 실험 결과 및 해석 22제 5 절 기존 취약점 재연 실험 231. 실험 구성 232. 실험 결과 및 해석 24제 6 장 결론 25참고문헌
최근 본 자료
댓글(0)
0