기능목록>검색 : 국방대학교 도서관

DATA FLOW ANOMALY 探知를 위한 PETRI NET 模型에 관한 硏究,. M87505

QR코드

미리보기 도서정보

도서 상세정보
자료유형 :	(군대학) 학위논문
분류기호 :	393.8
서명/저자사항 :	DATA FLOW ANOMALY 探知를 위한 PETRI NET 模型에 관한 硏究,. M87505/ 김홍영.
발행사항 :	서울: 국방대학원, 1988
형태사항 :	53p.
학위논문주기 :	학위논문(석사) -- 국방대학교 대학원, 1988
개인저자 :	김홍녕
언어	한국어

원문
원문보기 :	DATA FLOW ANOMALY 探知를 위한 PETRI NET 模型에 관한 硏究,. M87505

소장정보

국방대학교 도서관

예예약
인인쇄
SSMS
서서가부재
보보존서고
우우선정리예약
무무인예약대출

예약

1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
3. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

무인예약대출

1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
5. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

KDMT48811196 권 호 : 60
발행년 : 198802
저 자 : 김홍영
서 명 : DATA FLOW ANOMALY 탐지를 위한 PETRI NET 모형에 관한 연구

표제지 = 0,1,3
감사의 글 = 0,4,1
요약 = 0,5,1
목차 = 0,6,1
그림목차 = 0,7,1
제1장 서론 = 1,8,2
제1절 연구의 목적 및 방법 = 3,10,2
제2장 Data Flow Anomaly 탐지의 이론적 고찰 = 5,12,1
제1절 Data Flow Analysis의 정의 = 5,12,3
제2절 Data Flow Anomaly의 정의 = 8,15,3
제3절 Data Flow Anomaly의 탐지 방법 = 11,18,7
제3장 Petri Net의 이론적 고찰 = 18,25,1
제1절 Petri Net의 정의 및 특성 = 18,25,4
제2절 Reachability Tree의 처리 과정 = 22,29,4
제4장 Data Flow Anomaly 탐지의 Petri Net 모형 = 26,33,1
제1절 Petri Net의 변환 = 26,33,9
제2절 실행경로 결정 및 Anomaly 탐지 = 35,42,4
제3절 변수의 Aliasing 및 Segmentation = 39,46,3
제4절 모형의 정의 = 42,49,2
제5절 제한 사항 = 44,51,1
제5장 모형의 평가 = 45,52,4
제6장 결론 = 49,56,2
참고문헌 = 51,58,3