網(wǎng)絡安全現(xiàn)狀及發(fā)展趨勢畢業(yè)論文設計

1、XXXX大學畢業(yè)論文（設計）1網(wǎng)絡安全現(xiàn)狀及發(fā)展趨勢網(wǎng)絡安全現(xiàn)狀及發(fā)展趨勢作者：作者：XXXXXX【摘要】網(wǎng)絡安全的解決是一個綜合性問題，涉及到諸多因素，包括技術(shù)、產(chǎn)品和管理等。本文主要研究了信息安全現(xiàn)狀及發(fā)展趨勢，信現(xiàn)代息系統(tǒng)中的信息安全其核心問題是密碼理論及其應用，其基礎是可信信息系統(tǒng)的構(gòu)作與評估。隨著信息技術(shù)的發(fā)展與應用，信息安全的內(nèi)涵在不斷的延伸，從最初的信息保密性發(fā)展到信息的完整性、可用性、可控性和不可否認性，進而又發(fā)展為“攻

2、（攻擊）、防（防范）、測（檢測）、控（控制）、管（管理）、評（評估）“等多方面的基礎理論和實施技術(shù)。其中防火墻技術(shù)現(xiàn)今人們很關注，它是在市場上比較流行，而又能夠代表未來發(fā)展方向的安全產(chǎn)品?！娟P鍵詞】網(wǎng)絡安全發(fā)展趨勢密碼理論防火墻技術(shù)第一章引言第一章引言理論研究而言，一些關鍵的基礎理論需要保密，因為從基礎理論研究到實際應用的距離很短。現(xiàn)代信息系統(tǒng)中的信息安全其核心問題是密碼理論及其應用，其基礎是可信信息系統(tǒng)的構(gòu)作與評估。隨著計算機技術(shù)與網(wǎng)

3、絡通信技術(shù)以及信息產(chǎn)業(yè)的高速發(fā)展，介入Inter的個人和單位主機數(shù)量快速增長，尤其是計算機再政府、國防、金融、公安、和商業(yè)等部門的廣泛應用，社會對計算機的依賴越來越大，而計算機系統(tǒng)的安全一旦受到破壞，不僅會導致嚴重的社會混亂，也會帶來巨大的經(jīng)濟損失。世界重要發(fā)達郭嘉每年因計算機犯罪所造成的經(jīng)濟損失令人吃驚，遠遠超過了普通經(jīng)濟犯罪的損失。因此，確保計算機系統(tǒng)的安全已成為世界關注的社會問題，信息安全已成為信息科學的熱點課題，信息安全專業(yè)也受

4、到了社會各界的普遍關注。XXXX大學畢業(yè)論文（設計）3突出的成果有：Lowe使用進程代數(shù)CSP發(fā)現(xiàn)了NeedhamSchroeder公鑰協(xié)議的十七年未發(fā)現(xiàn)的漏洞；Schneider用進程代數(shù)CSP歸范了大量的安全性質(zhì)；基于進程代數(shù)CSP，Lowe和Roscoe分別發(fā)展了不同的理論和方法把大系統(tǒng)中協(xié)議安全性質(zhì)的研究約化為小系統(tǒng)中協(xié)議安全性質(zhì)的研究；Abadi及Gdon發(fā)展推演密碼協(xié)議的Spi演算，J.Mitchell等把Spi演算與他們發(fā)

5、展的工具Murφ結(jié)合，有可能把MIT群體的基于算法復雜性的協(xié)議安全理論與進程代數(shù)有機結(jié)合；Meadows及Syverson發(fā)展協(xié)議分析儀的工作是重要的；Bolignano使用Coq來分析大協(xié)議取得實效?？傊诙N思路至今仍是熱點。第三種思路是推廣或完善協(xié)議模型，根據(jù)該模型提出有效的分析理論。在這方面Thayer、Herzon及Guttman提出的StrSpace理論是一個相當簡潔、優(yōu)美的理論，它把以往使用過的許多思想及技術(shù)合理融為一體

6、。Paulson的歸納方法也是有力的，而Schneider基于CSP的理論分析體系已引發(fā)許多工作。正如Meadows所說：這一領域已出現(xiàn)了統(tǒng)一的信號，標明了該領域正走向成熟。但該領域還有許多工作需要完成，主要包括：如何把分析小系統(tǒng)協(xié)議的思想與方法擴充到大系統(tǒng)協(xié)議；如何擴充現(xiàn)已較成熟的理論或方法去研究更多的安全性質(zhì)，使同一系統(tǒng)中安全性質(zhì)在統(tǒng)一的框架下進行驗證，而不是同一系統(tǒng)中不同安全性質(zhì)采用不同系統(tǒng)進行驗證，只有這樣才能保證不會顧此失彼。

7、目前，已經(jīng)提出了大量的實用安全協(xié)議，有代表的有：電子商務協(xié)議，IPSec協(xié)議，TLS協(xié)議，簡單網(wǎng)絡管理協(xié)議（SNMP），PGP協(xié)議，PEM協(xié)議，SHTTP協(xié)議，SMIME協(xié)議等。實用安全協(xié)議的安全性分析特別是電子商務協(xié)議，IPSec協(xié)議，TLS協(xié)議是當前協(xié)議研究中的另一個熱點。典型的電子商務協(xié)議有SET協(xié)議，iKP協(xié)議等。另外，值得注意的是Kailar邏輯，它是目前分析電子商務協(xié)議的最有效的一種形式化方法。為了實現(xiàn)安全IP，Inter工