網路監控程式設計與實作

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士

、以作者查詢全國書目

、勘誤回報

、線上人數：9

、訪客IP：18.117.79.92

姓名

曾達品(Da-Ping Tseng) 查詢紙本館藏

畢業系所

資訊工程學系在職專班

論文名稱

網路監控程式設計與實作
(Design and Implementation of a Network Monitoring System)

相關論文

★ 移動代理人監控系統之設計與實作	★ 以正規表式法為基礎之地理編碼服務設計與實作
★ Android應用程式開發之持續整合系統	★ 基於設計矩陣之需求追溯關係建立方法
★ 點對點移動代理人之設計與實作與於車資通訊之應用	★ 網頁內容叢集分類法之設計與實作
★ 設計與實作於行動裝置上以XUL為基礎之介面呈現	★ Android平台上以OSGi為基礎之服務遞送
★ 利用網頁內容結構之區塊擷取方法以呈現新聞服務	★ 設計與實作以感測器為中心的查詢機制
★ 針對路徑規劃服務之Web 2.0系統設計與實作	★ 整合OSGi與RESTful服務之BPEL引擎
★ 利用文件相似度以轉換網路內容為OSGi Bundles	★ 量測Java類別的耦合關係
★ 轉換Android應用程式為OSGi Service	★ 物聯網應用之Context塑模方法

檔案

[Endnote RIS 格式]

[Bibtex 格式]

[相關文章]

[文章引用]

[完整記錄]

[館藏目錄]

[檢視]

[下載]

本電子論文使用權限為同意立即開放。
已達開放權限電子全文僅授權使用者為學術研究之目的，進行個人非營利性質之檢索、閱讀、列印。
請遵守中華民國著作權法之相關規定，切勿任意重製、散佈、改作、轉貼、播送，以免觸法。

摘要(中)

網際網路日益興盛，人們利用它提供各式各樣的服務，也從網際網路上使用各種服務，企業的運作亦由過去傳統的商務模式，進入電子商務的時代，企業內部的運行溝通，都基於網路基礎架構，而整個人類生活上的活動，都與網路息息相關，也因此網路的安全，就更顯得重要。本論文實作網路監控程式，對於防阻駭客，保護企業組織內部網路的安全，以及利用網路監控程式來模擬駭客入侵，以驗證網路安全性的高低，具有良好正面的意義。
在論文中討論的內容包括三部份：一是遵循Rational Unified Process （RUP）模式，發展「網路監控程式」系統。二是「網路監控程式」系統的分析，以Unified Modeling Language (UML) Use Case來分析使用者需求，並將之轉換成Z描述的正規規格（Formal Specification），以檢驗使用者需求的規格是否正確。三是「網路監控程式」系統的設計與實作，以UML Class Diagram來設計系統規格，並透過Java語言來實作。包括系統規格、系統測試及手冊。其中Z的Formal Specification將是本論文的重點。

摘要(英)

Internet has become more popular day by day , people use it to provide various services. Due to the utilization of Internet, the business operation has gradually changed to e-business model from traditional business. The internal communication within a business was based on the network framework, the human life and their activities were more relevant to the network also. Therefore, The security of network is become more important than before.
The thesis ‘Network Monitoring Program” will bring good benefits and impacts on preventing network attack, securing internal business network safety, as well as using hacker attack simulated program to test the security of network.
In my treatise includes ： (1) follow Rational Unified Process (RUP) to develop “Network Monitoring System”. (2) perform system analysis of this system by Use Case, and transform the Z formal specification to check the consistence. (3) design and implement this system by means of UML Class Diagram, and Java language.

關鍵字(中)

★ 網路監控程式
★ 正規規格
★ 軟體工程

關鍵字(英)

★ Rational Unified Process
★ Formal Specification

論文目次

第一章緒論 1
1.1 背景 1
1.2 動機 1
1.3 論文結構 2
第二章相關背景知識介紹 3
2.1 軟體工程 3
2.1.1 Notation 3
2.1.2 Process 5
2.1.3 Tool 7
2.2 網路基礎知識 7
2.2.1 通訊協定 8
2.2.2 TCP/IP體系的架構 9
2.2.3 TCP/IP與乙太網路(Ethernet) 9
2.2.4 「網路監聽」的原理 10
第三章網路監控程式「系統分析」 12
3.1 問題陳述 12
3.2 製作計劃 12
3.3 需求分析 13
3.3.1 功能性需求 13
3.3.2 非功能性需求 18
3.3.3 系統操作環境需求 18
3.4 分析規格 18
3.4.1 Z正規規格 19
第四章網路監控程式「系統設計與實作」 27
4.1系統設計 27
4.1.1系統設計目的 27
4.1.2設計方法與工具 27
4.1.3系統元件與模組設計規劃 27
4.1.4 主要的UMLClass Diagram 29
4.1.5 使用者介面設計規劃 31
4.2 實作規格 32
4.2.1 實作規格文件目的 32
4.2.2 系統實作說明 32
第五章結論 33
參考文獻 34
附錄一 Z 規格 36
附錄二使用手冊 41
1手冊文件製作目的 41
2系統需求 41
3安裝程序 41
4系統執行及操作程序 41
5網路監控 46
附錄三 UML類別圖 47
附錄四 UML循序圖 49

參考文獻

1.B, http://www.afm.sbu.ac.uk/b/
2.Grady Booch, et al,. The Unified Modeling Language User Guide, Addison-Wesly, Reading, MA 1999.
3.Bernd Bruege and Allen H. Dutoit, Object-Oriented Software Engineering-Conquering Complex and Changing Systems, Prentice-Hall International, Upper Saddle River, NJ,2000.
4.Antoni Diller, Z : an introduction to formal methods, Chichester, West Sussex, England New York : Wiley & Sons , 1994.
5.Extreme Programming, http://www.extremeprogramming.org/
6.Douglas E. Comer, Computer networks and internets, Upper Saddle River, N.J : Prentice Hall , c1997.
7.Douglas E. Comer, Internetworking with TCP/IP, London : Prentice-Hall International , 1991-1994.
8.David Flanagan, Java In A Nutshell 3nd Ed., O’REILLY, 2000.
9.David Flanagan, Java Examples In A Nutshell 2nd Ed., O’REILLY, 2001.
10.Martin Fowler, UML Distilled 2nd Ed., Addison-Wesley, Reading, MA., 2000.
11.J2SDk 1.4.1, http://java.sun.com/j2se/1.4.1/download.html - docs
12.Java packet capture library, http://sourceforge.net/projects/jpcap/
13.Packet Capture Architecture for Windows, http://winpcap.polito.it/
14.Terry Quatrani, Visual modeling with Rational Rose 2000 and UML, Reading, Mass. : Addison Wesley, c2000.
15.The Vienna Development Method, http://www.csr.ncl.ac.uk/vdm/
16.Ian Sommerville, Software Engineering,6th Edition, Addison Wesley Longman, 2000.
17.Hans van Vliet, Software Engineering, Second Edition: Principles and Practice, John Wiley & Sons, 2000.
18.林長毅編譯,Elliotte Rusty Harold著, Java網際網路程式設計2nd Ed., O,REILLY, 2002.
19.黃嘉輝, Java網際網路程式設計, 文魁資訊, 2003.
20.網路通訊協定, STD 0049, RFC 1132.
21.網路監控, http://www.fanqiang.com/
22.網路監控, http://kiki.ee.ntu.edu.tw/~nmf01/

指導教授

李允中(Jonathan Lee)

審核日期

2003-7-18

推文