지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2017.3
- 수록면
- 81 - 88 (8page)
이용수
초록· 키워드
오류제보하기
In this paper, we classified the weaknesses of C/C++ programs listed in CWE based on the diagnostic information produced at each stage of program compilation. Our classification identifies which stages should be responsible for analyzing the weaknesses. We also present algorithmic frameworks for detecting typical weaknesses belonging to the classes to demonstrate validness of our scheme. For the weaknesses that cannot be analyzed by using the diagnostic information, we separated them as a group that are often detectable by the analyses that simulate program execution, for instance, symbolic execution and abstract interpretation. We expect that classification of weaknesses, and diagnostic information accordingly, would contribute to systematic development of static analyzers that minimizes false positives and negatives.
목차
Abstract
I. Introduction
II. Related Works
III. Representation of Diagnostic Algorithms
IV. Weaknesses and Diagnostic Method
V. Conclusions
REFERENCES
참고문헌 (11)
참고문헌 신청
[인터넷자원] - CWE / / Common Weakness Enumeration
[인터넷자원] - / / NIST
[기타자료] - SAMATE / / Juliet Test Suite v1.2 for C/C++ User Guide / National Security Agency
[인터넷자원] - / / SecurityPrism
[학술지(정기간행물)] - Hyun-Joon Kwon / 2010 / Developing An Automatic Tool for Static Detection of Software Security Vulnerabilities / KIISE 28 (2) : 37 ~ 40
[인터넷자원] - / / NIST
[기타자료] - SAMATE / / Juliet Test Suite v1.2 for C/C++ User Guide / National Security Agency
[인터넷자원] - / / SecurityPrism
[학술지(정기간행물)] - Hyun-Joon Kwon / 2010 / Developing An Automatic Tool for Static Detection of Software Security Vulnerabilities / KIISE 28 (2) : 37 ~ 40
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
소스코드의 취약점 이력 학습을 이용한 소프트웨어 보안 취약점 분석 시스템
한국산학기술학회 논문지
2017 .11
-
JavaCC를 이용한 정적 분석 도구 구현
한국컴퓨터정보학회논문지
2018 .12
-
A Study for reducing the false alarms of software weakness analyzer using the BERT model
INTERNATIONAL CONFERENCE ON FUTURE INFORMATION & COMMUNICATION ENGINEERING
2023 .01
-
스마트 컨트랙트 취약점 자동 분류 시스템
ICT플랫폼학회 하계학술발표대회논문집
2023 .07
-
블록체인 관련 보안약점 연구
한국컴퓨터정보학회 학술발표논문집
2020 .07
-
흐름 정보를 이용한 보안약점의 진단 방법 연구
한국정보과학회 학술발표논문집
2018 .06
-
보안약점 종류에 따른 정적분석 도구의 탐지 성능 연구
한국정보과학회 학술발표논문집
2019 .12
-
안드로이드 동적 클래스 로딩 기법을 이용한 개발단계에서의 보안약점 및 시큐어 코딩 연구
멀티미디어학회논문지
2016 .10
-
무선통신기반 열차제어시스템 보안 취약성에 관한 연구
한국통신학회 학술대회논문집
2018 .01
-
크리스퍼 유전자가위 기반 차세대 감염병 분자진단기술
KSBB Journal
2023 .06
-
심볼 테이블을 이용한 보안약점 정적 분석 도구의 설계
한국정보과학회 학술발표논문집
2015 .12
-
Simulation-based improvements in diagnostic communication software design quality
한국자동차공학회 춘계학술대회
2019 .05
-
임베디드 SW를 위한 보안약점 탐지도구의 성능 향상 방안
한국정보과학회 학술발표논문집
2017 .12
-
On the Use of Prompt Engineering for Research Purposes: Strength and Weaknesses of the GPT Model and the Case Study of Researching Productivity Theory with ChatGPT
대한산업공학회 춘계공동학술대회 논문집
2023 .05
-
The Present and Future Diagnostic Strategies Can be Developed to Manage COVID-19
한국생물공학회 학술대회
2020 .06
-
자가용설비 진단정보 종합관리시스템에 대한 연구
조명·전기설비학회논문지
2017 .02
-
ECU 진단통신을 위한 표준 진단통신 모듈 연구
한국정보통신학회 종합학술대회 논문집
2022 .05
-
베트남 건설 시장 진출을 위한 SWOT 분석
대한건축학회 논문집 - 구조계
2015 .05
-
의미 기반 정적 분석과 규칙 명세 언어를 활용한 C/C++ 프로그램 보안 취약점 검출
정보과학회 컴퓨팅의 실제 논문지
2019 .10
-
설계단계에서 발생하는 보안약점에 대한 연구 : 소프트웨어 개발보안 관점
한국정보과학회 학술발표논문집
2020 .07
이 논문의 저자 정보
이 논문과 함께 이용한 논문
서버 SSL/TLS 취약점 자동 탐지를 위한 시스템 개발
조성원
,
최현상
,
허규
외 2명
정보보호학회논문지
2018
.02
소스코드의 취약점 이력 학습을 이용한 소프트웨어 보안 취약점 분석 시스템
이광형
,
박재표
한국산학기술학회 논문지
2017
.11
파일 퍼징을 이용한 SW 취약점 분석
김상수
,
강동수
한국컴퓨터정보학회 학술발표논문집
2017
.07
증언의 맥락과 의미화 : 한국, 대만, 일본의 ‘일본군 위안부’ 다큐멘터리 비교
오영숙
동북아 문화연구
2017
.03
魏晉南北朝 시기 隱士의 사회적 정체성
정진걸
중어중문학
2016
.12
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2017-004-002342151