지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.44 No.2
- 발행연도
- 2017.2
- 수록면
- 171 - 178 (8page)
이용수
초록· 키워드
오류제보하기
본 논문에서는 안드로이드 커널 모듈의 취약점을 탐지하기 위한 자동 유닛 테스트 생성 기법을 제안한다. 안드로이드 커널 모듈의 각 함수를 대상으로 테스트 드라이버/스텁 함수를 자동 생성하고 동적 기호 실행 기법을 사용하여 테스트 입력 값을 자동으로 생성한다. 또한 안드로이드 커널 모듈의 함수 포인터와 함수 선행 조건을 고려하지 않은 테스트 생성으로 인한 거짓 경보를 줄이기 위해 정적 분석을 통한 함수 포인터 매칭 기법과 def-use 분석을 사용한 함수 선행 조건 생성 기법을 개발하였다. 자동 유닛 테스트 생성 기법을 안드로이드 커널 3.4 버전의 세 모듈에 적용한 결과 기존에 존재하던 취약점을 모두 탐지할 수 있었으며 제안한 거짓 경보 감소 기법으로 평균 44.9%의 거짓 경보를 제거할 수 있었다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. 동적 기호 실행 기반 자동화된 유닛 테스트 기법
4. 안드로이드 커널 모듈 자동 유닛 테스팅의 거짓 경보 감소 기법
5. 실험 설정 및 결과
6. 결론 및 향후 연구
References
참고문헌 (21)
참고문헌 신청
IDC Smartphone OS Market Share, 2015 Q2, http://www.idc.com/prodserv/smartphone-os-market-share.jsp
P. Godefroid, N. Klarlund, and K. Sen, DART: Directed Automated Random Testing, Proc. of the 2005 ACM SIGPLAN conference on Programming Language Design and Implementation, pp. 213-223, Jun. 2005.
I. Zakharov, M. Mandrykin, V. Mutilin, E. Novikov, A. Petrenko, and A. Khoroshilov, Configurable Toolset for Static Verification of Operating Systems Kernel Modules, Programming and Computer Software, Vol. 41, No. 1, pp. 49-64, Jan. 2015.
H. Post, C. Sinz, and W. Kuchlin, Towards Automatic Software Model Checking of Thousands of Linux Modules-A Case Study with Avinux, Vol. 19, No. 2, pp. 155-172, Jun. 2009.
T. Witkowski, N. Blanc, D. Kroening, and G. Weissenbacher, Model Checking Concurrent Linux Device Drivers, Proc. of the 22nd IEEE/ACM International Conference on Automated Software Engineering, pp. 501-504, Nov. 2007.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법
한국정보과학회 학술발표논문집
2016 .06
-
An Effective Technique for Detecting Vulnerabilities in Android Device Drivers
Journal of KIISE
2016 .11
-
안드로이드 기반 자동 설정 서비스 시스템
한국정보과학회 학술발표논문집
2015 .12
-
결함된 커널 모듈의 제거를 위한 모듈 관리 기법의 설계와 구현
대한전자공학회 학술대회
2015 .06
-
안드로이드 앱을 대상으로 한 오픈소스 SW 모듈 탐지 연구
한국정보과학회 학술발표논문집
2017 .12
-
자동 유닛 테스팅을 활용한 효과적인 지속적 자동 테스팅 시스템
한국정보과학회 학술발표논문집
2020 .12
-
동적 기호 실행을 이용한 윈도우 시스템 콜 Use-After-Free 취약점 자동 탐지 방법
정보보호학회논문지
2017 .08
-
안드로이드 취약점을 이용한 공격 시나리오 연구
한국컴퓨터정보학회 학술발표논문집
2015 .01
-
안드로이드 실행 파일 동적 분석 기술 동향
한국정보통신학회 종합학술대회 논문집
2024 .05
-
Automated Capturing and Replaying Unit Inputs of C Programs from System Executions through Static and Dynamic Analysis
Journal of KIISE
2018 .10
-
인텐트 스펙 기반 안드로이드 유닛 테스팅 프레임워크 설계와 구현
한국정보과학회 학술발표논문집
2015 .06
-
안드로이드 프레임워크를 위한 자동화된 코드 스멜 탐지 도구
한국정보과학회 학술발표논문집
2022 .12
-
안드로이드 미디어 프레임워크 취약점 검출 및 분류를 위한 Java 연결지점과 C/C++ 취약지점 간의 양방향 자료흐름 정적분석
정보과학회 컴퓨팅의 실제 논문지
2021 .10
-
A Test Scenario Generation Technique based on Task Information for Interaction Testing among Android Components
Journal of KIISE
2017 .06
-
시스템 콜을 이용한 안드로이드 앱의 특성 변화 분석
한국정보과학회 학술발표논문집
2024 .06
-
안드로이드 앱 로직 밤 탐지 기법 비교
한국정보과학회 학술발표논문집
2022 .06
-
안드로이드 어플리케이션 상호작용 테스팅을 위한 액티비티 스택을 고려한 신뢰성이 향상된 테스트 시나리오 설계 기법
한국정보과학회 학술발표논문집
2016 .12
-
안드로이드 앱 로직 밤 탐지 기법
한국정보과학회 학술발표논문집
2023 .06
-
커스텀 커널을 활용한 안드로이드 성능 향상 및 유저 인터페이스 환경 개선
한국정보과학회 학술발표논문집
2017 .12
-
정보이론 기반의 다양성을 고려한 진화적 유닛 테스트 생성 기법
한국정보과학회 학술발표논문집
2016 .12
이 논문의 저자 정보
이 논문과 함께 이용한 논문
연관규칙 마이닝과 나이브베이즈 분류를 이용한 악성코드 탐지
주영지
,
김병식
,
신주현
멀티미디어학회논문지
2017
.11
Naive Bayes 기반 안드로이드 악성코드 분석 기술 연구
황준호
,
이태진
정보보호학회논문지
2017
.10
유닛 테스트 기법 : LG전자 상업용 디스플레이 실제 사례 연구
김윤호
,
홍기창
,
김문주
한국정보과학회 학술발표논문집
2016
.06
모바일 어플리케이션의 특성에 따른 동적인 접근 권한 허용 방법
임준호
,
김강석
,
예홍진
한국정보과학회 학술발표논문집
2013
.06
[우수논문] 공개 소스 테스팅 도구를 활용한 하드웨어 의존도가 높은 임베디드 소프트웨어 단위 테스트 기법
신희정
,
JIN LONG
,
안소진
외 2명
한국정보과학회 학술발표논문집
2012
.06
최근 본 자료
댓글(0)
0