지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회 컴퓨팅의 실제 논문지 정보과학회 컴퓨팅의 실제 논문지 제25권 제10호
- 발행연도
- 2019.10
- 수록면
- 493 - 499 (7page)
- DOI
- 10.5626/KTCP.2019.25.10.493
이용수
초록· 키워드
오류제보하기
보안 취약점을 정적 분석으로 검출하는 것에는 여러 장점이 있지만 일반적으로 새로운 취약점 검출을 지원하기 위한 비용이 크다는 어려움이 있다. 검출 범위를 손쉽게 확장하기 위해 보안 취약점을 표현할 수 있는 방법을 정의하고 그 표현에 부합하는 프로그램을 검출하는 기술이 존재하지만 대개 프로그램의 모양에만 의존하거나 간단한 값 흐름 분석에만 적용할 수 있었다.
이런 점을 보완하기 위하여 보안 약점을 표현할 수 있는 규칙 명세 언어를 정의하고 이를 기반으로 취약점을 검출하는 요약 해석 기반 정적 분석 도구를 고안 및 구현하였다. 분석 대상 언어는 C/C++이며, 상용 정적 분석 도구에 포함된 C/C++ 분석 엔진을 기반으로 규칙 명세 언어 매칭 검사기를 구현했다. 대상 취약점은 CWE(Common Weakness Enumeration) 목록 중 적합한 17가지를 선별했다. 정오탐률 계산을 위해 자동생성한 테스트 셋을 대상으로 성능을 시험한 결과 정탐률은 61.4%, 오탐률은 7.5%로 집계되었다.
이런 점을 보완하기 위하여 보안 약점을 표현할 수 있는 규칙 명세 언어를 정의하고 이를 기반으로 취약점을 검출하는 요약 해석 기반 정적 분석 도구를 고안 및 구현하였다. 분석 대상 언어는 C/C++이며, 상용 정적 분석 도구에 포함된 C/C++ 분석 엔진을 기반으로 규칙 명세 언어 매칭 검사기를 구현했다. 대상 취약점은 CWE(Common Weakness Enumeration) 목록 중 적합한 17가지를 선별했다. 정오탐률 계산을 위해 자동생성한 테스트 셋을 대상으로 성능을 시험한 결과 정탐률은 61.4%, 오탐률은 7.5%로 집계되었다.
목차
요약
Abstract
1. 서론
2. 보안 취약점 규칙 명세 언어
3. RDL - 실행 의미 매칭 방법
4. 성능 시험
5. 관련 연구와의 비교
6. 결론 및 향후 연구 과제
References
참고문헌 (10)
참고문헌 신청
Patrick Cousot, and Radhia Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proc. of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 238-252, Jan. 1977.
Logozzo, Francesco, and Manuel Fahndrich, Pentagons: A weakly relational abstract domain for the efficient validation of array accesses, Science of Computer Programming, Vol. 75, Issue 9, pp. 796- 807, Sep. 2010.
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne, Antoine Mine, and Xavier Rival, Static analysis by abstract interpretation of embedded critical software, ACM SIGSOFT Software Engineering Notes, Vol. 36, Issue 1, pp. 1-8, Jan. 2011.
Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach, Precise analysis of string expressions, Proc. of the International Static Analysis Symposium, pp. 1-18, Jun. 2013.
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, and Kwangkeun Yi, Global sparse analysis framework, ACM Transactions on Programming Languages and Systems, Vol. 36, Issue 3, Article No. 8, Sep. 2014.
Logozzo, Francesco, and Manuel Fahndrich, Pentagons: A weakly relational abstract domain for the efficient validation of array accesses, Science of Computer Programming, Vol. 75, Issue 9, pp. 796- 807, Sep. 2010.
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne, Antoine Mine, and Xavier Rival, Static analysis by abstract interpretation of embedded critical software, ACM SIGSOFT Software Engineering Notes, Vol. 36, Issue 1, pp. 1-8, Jan. 2011.
Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach, Precise analysis of string expressions, Proc. of the International Static Analysis Symposium, pp. 1-18, Jun. 2013.
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, and Kwangkeun Yi, Global sparse analysis framework, ACM Transactions on Programming Languages and Systems, Vol. 36, Issue 3, Article No. 8, Sep. 2014.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
보안취약점 탐지를 위한 정적 분석기법 비교 연구
한국정보기술학회논문지
2025 .02
-
바이너리 취약점의 자동 탐색을 위한 동적분석 정보 기반 하이브리드 퍼징 연구
한국산학기술학회 논문지
2019 .06
-
웹툰 어플리케이션의 정적, 동적 분석을 통한 보안취약점 연구
한국통신학회 학술대회논문집
2017 .11
-
code2vec 모델을 활용한 소스 코드 보안 취약점 탐지
한국소프트웨어감정평가학회논문지
2020 .01
-
분석단계에서 취약점 관리의 보안 요건 정의에 관한 연구
한국컴퓨터정보학회논문지
2015 .03
-
분석적 방법을 적용한 원전디지털자산 취약점 평가 연구
정보보호학회논문지
2018 .12
-
함수 프롤로그 및 에필로그를 이용한 바이너리 정적 분석 기반 버퍼 오버플로우 취약점 탐지 기법
정보과학회 컴퓨팅의 실제 논문지
2024 .10
-
오픈소스의 보안 취약점에 관한 연구
한국정보과학회 학술발표논문집
2016 .06
-
정적 및 동적 분석을 이용한 크로스 체크기반 취약점 분석 기법
한국산학기술학회 논문지
2018 .12
-
홈 네트워크를 위한 보안취약점 분석 및 고찰
한국컴퓨터정보학회 학술발표논문집
2015 .01
-
공개 취약점 정보를 활용한 소프트웨어 취약점 위험도 스코어링 시스템
정보보호학회논문지
2018 .12
-
보안 취약점 진단 및 조치를 위한 효율적인 자동화 도구 구현
한국통신학회 학술대회논문집
2021 .02
-
R을 활용한 기반시설 보안취약점 토픽분석
한국생산제조학회 학술발표대회 논문집
2018 .05
-
S/W 개발 분석 단계에서 취약점
한국컴퓨터정보학회 학술발표논문집
2015 .01
-
연합학습에서의 보안 취약점 분석
한국통신학회 학술대회논문집
2023 .02
-
원전 적용을 위한 네트워크 기반 취약점 스캐너의 비교 분석
한국정보통신학회논문지
2018 .10
-
바이너리 정적 분석 기반 Out-of-Bounds Read 취약점 유형 탐지 연구
정보보호학회논문지
2021 .08
-
“프로그램 정적 분석” 특집을 내면서
정보과학회지
2016 .03
-
기업 제품의 보안 취약점 개선을 위한 보상제 동향
정보보호학회지
2018 .04
-
정적 분석 도구 성능 비교 및 분석: 오픈소스의 보안 취약점을 기반으로
한국통신학회논문지
2022 .04
이 논문의 저자 정보
이 논문과 함께 이용한 논문
과제기반 교수법에서의 영문법 교육에 대한 오해와 이해: 의미-형태 초점 기법과 과제 디자인을 통한 영문법 교육
이진화
영어학
2021
.01
C/C++ 프로그램을 위한 진단 정보와 분석 방법의 분류
한경숙
,
이담호
,
표창우
한국컴퓨터정보학회논문지
2017
.03
유도만능 줄기세포 제작 이점 및 한계
황석연
,
임현구
BT NEWS
2014
.03
줄기세포공학 : 재생의학을 위한 새로운 패러다임
조승우
,
양기석
BT NEWS
2010
.11
한국인 영어 학습자가 보이는 영어 리듬의 시간적 안정성 구현
김희성
,
신지영
,
장영수
외 1명
언어
2007
.09
최근 본 자료
댓글(0)
0