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

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

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

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

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

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

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

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