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

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

【學位級別】：碩士

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


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

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



本文編號：3734561