隨著計(jì)算機(jī)網(wǎng)絡(luò)和信息技術(shù)的日益發(fā)展和融合,Internet已經(jīng)滲入到我們社會(huì)生活的各個(gè)方面。由于Internet本身的開放性,使網(wǎng)上交易面臨著種種危險(xiǎn)。如何保證客戶之間在網(wǎng)上傳遞信息的機(jī)密性、完整性、不可抵賴性和安全性,在互聯(lián)網(wǎng)中建立并維持一種令人信任的環(huán)境和機(jī)制正成為網(wǎng)絡(luò)安全研究方面的熱點(diǎn)。CA（Certification Authority）認(rèn)證系統(tǒng)是目前普遍采用的解決方案。 本文介紹了CA認(rèn)證系統(tǒng)的基本內(nèi)容及其國(guó)內(nèi)外的發(fā)展現(xiàn)狀;闡述了基于時(shí)序邏輯語言XYZ/E的軟件體系結(jié)構(gòu)描述方法;提出了CA認(rèn)證系統(tǒng)的設(shè)計(jì)思路和建設(shè)目標(biāo);建立了CA認(rèn)證系統(tǒng)的軟件體系結(jié)構(gòu)模型:使用時(shí)序邏輯語言XYZ/E,描述了CA認(rèn)證系統(tǒng)體系結(jié)構(gòu);采用基于組件的軟件體系結(jié)構(gòu)求精方法,實(shí)現(xiàn)了CA認(rèn)證系統(tǒng)從整體的抽象描述到具體的可執(zhí)行程序之間的求精過程。 本文的研究結(jié)果說明:利用時(shí)序邏輯語言XYZ/E可以很好地將CA認(rèn)證系統(tǒng)從高層的抽象描述逐步求精到低層的具體實(shí)現(xiàn),為CA認(rèn)證系統(tǒng)驗(yàn)證和分析提供了新的思路和方法。 

【文章頁數(shù)】：70 頁

【學(xué)位級(jí)別】：碩士

【文章目錄】：
中文提要
Abstract
第一章 緒論
    1.1 CA認(rèn)證系統(tǒng)概述
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 本文研究意義
    1.4 論文組織結(jié)構(gòu)
第二章 基于XYZ／E的軟件體系結(jié)構(gòu)描述
    2.1 時(shí)序邏輯語言XYZ／E簡(jiǎn)介
    2.2 軟件體系結(jié)構(gòu)描述方法概述
    2.3 基于XYZ／E的軟件體系結(jié)構(gòu)描述
        2.3.1 組件描述
        2.3.2 連接件描述
        2.3.3 體系結(jié)構(gòu)風(fēng)格描述
    2.4 本章小結(jié)
第三章 基于XYZ／E的CA認(rèn)證系統(tǒng)體系結(jié)構(gòu)描述
    3.1 CA認(rèn)證系統(tǒng)設(shè)計(jì)思路
    3.2 CA認(rèn)證系統(tǒng)建設(shè)目標(biāo)
    3.3 基于XYZ／E的CA認(rèn)證系統(tǒng)體系結(jié)構(gòu)描述
    3.4 本章小結(jié)
第四章 基于XYZ／E的CA認(rèn)證系統(tǒng)體系結(jié)構(gòu)求精
    4.1 軟件體系結(jié)構(gòu)求精方法概述
    4.2 基于XYZ／E的CA認(rèn)證系統(tǒng)體系結(jié)構(gòu)求精
        4.2.1 第一層求精
        4.2.2 逐步求精到第二層
        4.2.3 逐步求精到第三層
        4.2.4 逐步求精到第四層
    4.3 本章小結(jié)
第五章 結(jié)束語
    5.1 本文工作總結(jié)
    5.2 相關(guān)工作比較和分析
    5.3 下一步工作
參考文獻(xiàn)
攻讀碩士學(xué)位期間參加的科研項(xiàng)目和發(fā)表(錄用)的論文
致謝


【參考文獻(xiàn)】：
期刊論文
[1]高校校園網(wǎng)PKI的設(shè)計(jì)[J]. 沈士根,殷聯(lián)甫,汪承焱.  計(jì)算機(jī)應(yīng)用. 2004(07)
[2]公開密鑰基礎(chǔ)設(shè)施PKI及其體系結(jié)構(gòu)的研究[J]. 徐慶征.  數(shù)據(jù)通信. 2004(03)
[3]數(shù)字認(rèn)證服務(wù)在校園網(wǎng)上的應(yīng)用[J]. 胡喜玲.  微計(jì)算機(jī)應(yīng)用. 2004(03)
[4]一種安全的可恢復(fù)密鑰管理機(jī)制[J]. 齊競(jìng)艷,丁劍,崔偉,黃皓.  計(jì)算機(jī)應(yīng)用. 2004(03)
[5]使用時(shí)序邏輯檢測(cè)軟件需求階段的特征干擾[J]. 費(fèi)麗娟,胡金柱,李敏.  計(jì)算機(jī)應(yīng)用. 2004(03)
[6]管道-過濾器模式的軟件體系結(jié)構(gòu)及其設(shè)計(jì)[J]. 李小龍,毛文林.  計(jì)算機(jī)工程與應(yīng)用. 2003(35)
[7]基于時(shí)序邏輯語言描述的監(jiān)控系統(tǒng)的軟件體系結(jié)構(gòu)求精[J]. 張廣泉 ,戎玫 ,晏榮杰.  計(jì)算機(jī)工程與應(yīng)用. 2003(31)
[8]認(rèn)證中心FSCA的設(shè)計(jì)與實(shí)現(xiàn)[J]. 張巍,李濤,徐春林,伍良富,任靜,鮮婷,宋淵.  計(jì)算機(jī)工程. 2003(12)
[9]基于時(shí)序邏輯的軟件體系結(jié)構(gòu)描述語言XYZ/ADL[J]. 朱雪陽,唐稚松.  軟件學(xué)報(bào). 2003(04)
[10]XYZ/E面向?qū)ο蟪绦蛘Z義概述[J]. 郭亮,唐稚松.  軟件學(xué)報(bào). 2003(03)

碩士論文
[1]CA認(rèn)證在中南財(cái)經(jīng)政法大學(xué)網(wǎng)上辦公系統(tǒng)中的應(yīng)用[D]. 宋艷紅.華中師范大學(xué) 2002
[2]基于PKI的CA認(rèn)證中心的組成研究[D]. 董杰.成都理工大學(xué) 2002
[3]基于組件的逐步求精程序設(shè)計(jì)方法[D]. 鄭建丹.中國(guó)科學(xué)院軟件研究所 2001
[4]基于XYZ/E的軟件體系結(jié)構(gòu)描述及求精實(shí)例研究[D]. 舒明.中國(guó)科學(xué)院軟件研究所 2001



本文編號(hào)：3734561