안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법Automated Unit-test Generation for Detecting Vulnerabilities of Android Kernel Modules

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 530
  • Download : 0
DC FieldValueLanguage
dc.contributor.author김윤호ko
dc.contributor.author김문주ko
dc.date.accessioned2017-09-25T05:13:46Z-
dc.date.available2017-09-25T05:13:46Z-
dc.date.created2017-09-12-
dc.date.created2017-09-12-
dc.date.issued2017-02-
dc.identifier.citation정보과학회논문지, v.44, no.2, pp.171 - 178-
dc.identifier.issn2383-630X-
dc.identifier.urihttp://hdl.handle.net/10203/226032-
dc.description.abstract본 논문에서는 안드로이드 커널 모듈의 취약점을 탐지하기 위한 자동 유닛 테스트 생성 기법을 제안한다. 안드로이드 커널 모듈의 각 함수를 대상으로 테스트 드라이버/스텁 함수를 자동 생성하고 동적 기호 실행 기법을 사용하여 테스트 입력 값을 자동으로 생성한다. 또한 안드로이드 커널 모듈의 함수 포인터와 함수 선행 조건을 고려하지 않은 테스트 생성으로 인한 거짓 경보를 줄이기 위해 정적 분석을 통한 함수 포인터 매칭 기법과 def-use 분석을 사용한 함수 선행 조건 생성 기법을 개발하였다. 자동 유닛 테스트 생성 기법을 안드로이드 커널 3.4 버전의 세 모듈에 적용한 결과 기존에 존재하던 취약점을 모두 탐지할 수 있었으며 제안한 거짓 경보 감소 기법으로 평균 44.9%의 거짓 경보를 제거할 수 있었다.-
dc.languageKorean-
dc.publisher한국정보과학회-
dc.subject소프트웨어 테스팅-
dc.subject자동 유닛 테스팅-
dc.subject동적 기호 실행-
dc.subject안드로이드 커널 모듈 테스팅-
dc.subjectsoftware testing-
dc.subjectautomated unit testing-
dc.subjectdynamic symbolic execution-
dc.subjectAndroid kernel module testing-
dc.title안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법-
dc.title.alternativeAutomated Unit-test Generation for Detecting Vulnerabilities of Android Kernel Modules-
dc.typeArticle-
dc.type.rimsART-
dc.citation.volume44-
dc.citation.issue2-
dc.citation.beginningpage171-
dc.citation.endingpage178-
dc.citation.publicationname정보과학회논문지-
dc.identifier.kciidART002196079-
dc.contributor.localauthor김문주-
dc.description.isOpenAccessN-
dc.subject.keywordAuthor소프트웨어 테스팅-
dc.subject.keywordAuthor자동 유닛 테스팅-
dc.subject.keywordAuthor동적 기호 실행-
dc.subject.keywordAuthor안드로이드 커널 모듈 테스팅-
dc.subject.keywordAuthorsoftware testing-
dc.subject.keywordAuthorautomated unit testing-
dc.subject.keywordAuthordynamic symbolic execution-
dc.subject.keywordAuthorAndroid kernel module testing-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0