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
전쟁론 / 전면개정판
392.1 클583ㅈㄹ김
대한민국 군사전략의 변천 : 1945~2000
392.3 이341ㄷ
이라크 전쟁 : 부시의 침공에서 오바마의 철군까지 = THE IRAQ WAR
392.1918 이189ㅇ
테크놀로지와 전쟁의 역사 : 전쟁의 기술은 세계를 어떻게 바꾸었나
392.1 박385ㅌ
군사혁신 : IT에서 AI까지
391.11 정476ㄱ
Military AI, 전쟁의 미래를 다시 쓰다
392.13 박548ㅁ
미국은 왜 전쟁을 멈추지 못하는가 : 트럼프와 1조 달러 전쟁 기계의 야망
390.132 하316ㅁ백
알고리즘 전쟁 : AI가 바꾸는 미래 전쟁의 판도 = Algorithms of armageddon : the impact of artificial intelligence on future wars
392.13 갈587ㅇ김
북한의 육해공군 = The armed forces of North Korea
390.9111 미847ㅂ성
서평쓰기