MARC 닫기
00000nam c2200205 c 4500
000005147924
20250305140449
ta
250304s2025 hck 000a kor
▼a 211070
▼c 211070
▼d 211070
▼a 393.8
▼a 393.8
▼b 국384ㅅ
▼a CWE-502 취약점 검증을 위한 PMD 룰셋 확장 =
▼x Expanding PMD Ruleset for Validating CWE-502 Vulnerabilities /
▼d 이지선
▼a 논산 :
▼b 국방대학교 국방관리대학원,
▼c 2025
▼a 1책 ;
▼c 26 cm
▼a 석사학위논문
▼a 지도교수: 강동수
▼a 목차 정보 수록
▼a 학위논문 (석사) --
▼b 국방대학교 국방관리대학원,
▼c 컴퓨터공학전공,
▼d 2025.01
▼a 참고문헌수록
▼a 석사
▼a 컴퓨터공학
▼a 무기체계 소프트웨어
▼a 소프트웨어 신뢰성
▼a 정적 분석
▼a CWE-502
▼a 역직렬화
▼a 이지선
▼a 강동수
▼a 국방대학교.
▼b 국방관리대학원
▼a 석사학위논문
▼a (군대학) 학위논문
| 자료유형 : | (군대학) 학위논문 |
|---|---|
| 분류기호 : | 393.8 |
| 서명/저자사항 : | CWE-502 취약점 검증을 위한 PMD 룰셋 확장 = Expanding PMD Ruleset for Validating CWE-502 Vulnerabilities / 이지선 |
| 발행사항 : | 논산 : 국방대학교 국방관리대학원, 2025 |
| 형태사항 : | 1책 ; 26 cm |
| 총서사항 : | 석사학위논문 |
| 일반주기 : | 지도교수: 강동수 |
| 일반주기 : | 목차 정보 수록 |
| 학위논문주기 : | 학위논문 (석사) -- 국방대학교 국방관리대학원, 컴퓨터공학전공, 2025.01 |
| 서지주기 : | 참고문헌수록 |
| 개인저자 : | 이지선 |
| 개인저자 : | 강동수 |
| 단체저자명 : | 국방대학교. 국방관리대학원 |
| 언어 | 한국어 |
| 원문보기 : |
CWE-502 취약점 검증을 위한 PMD 룰셋 확장 = Expanding PMD Ruleset for Validating CWE-502 Vulnerabilities |
|---|
1장 서론 1
1.1. 연구 배경 및 목적 1
1.2. 연구 범위 및 방법 2
2장 미국 국방 소프트웨어 취약점 분석 3
2.1. 국내외 보안 약점(취약점) 공유 체계 3
2.2. 정적 분석 도구 PMD 6
2.3. CWE-502(안전하지 않은 역직렬화) 7
3장 미국 국방 소프트웨어 취약점 분석 13
3.1. 분석 대상 국방 소프트웨어 13
3.2. CWE-502와 관련된 취약점 분석 17
4장 PMD 룰셋 확장 22
4.1. SEI CERT 코딩 표준 22
4.2. PMD 룰셋 확장 방법 26
5장 사례연구 및 평가 43
5.1. 사례연구 43
5.2. 진단 규칙 구현 환경 및 비교평가 49
6장 결론 52
부 록 : Compliant Solution의 AST 53
참고문헌 74
해상교통로 : 봉쇄의 유용성과 그 경제적 효과
397.2 최825ㅎ
해양전략, 그리고 충무공 이순신
397.23 박616ㅎ
(K-국방 획득·정비·유지·운영·공급망 관리를 위한) 무기체계 운영전략 : dARMOS
394.56 문592ㅁ
우리 국방의 논리
390.911 한747ㅇ
인사이트 6·25 : 요즘 사람들을 위한 6·25 전쟁사
392.1911 이151ㅇ
新 예비전력의 이론과 실제 증보개정[실은 2판]
391.4 이539ㅅ
첨단과학기술군 : 병역자원 급감 상쇄전략
391.1 조721ㅊ
마음(mind)을 향한 전쟁 : 인지전의 과학과 전략
392.17 류774ㅁ
서평쓰기