發(fā)布時間：2021-01-11 07:12

　　隨著社會的不斷進(jìn)步,信息技術(shù)也得到快速發(fā)展。社會變得高度信息化,由此帶來的信息安全也成為社會亟待解決的一個問題。在已有的自動機(jī)和Petri網(wǎng)（Petri Net）模型的不透明性驗證算法里,無論是基于語言還是基于狀態(tài)進(jìn)行的不透明性驗證都是一個系統(tǒng)單獨(dú)運(yùn)作時的不透明性驗證。由于系統(tǒng)同步運(yùn)行的情況大量存在,針對同步系統(tǒng)的不透明性驗證變得十分必要。在進(jìn)行多系統(tǒng)同步下的不透明性驗證時,首先面臨的問題是其不透明性判斷算法的計算復(fù)雜度大。目前判斷系統(tǒng)的不透明性的算法有很多,通常都需要遍歷整個系統(tǒng)行為。而計算復(fù)雜度隨著系統(tǒng)狀態(tài)的增加呈現(xiàn)指數(shù)增長,因此構(gòu)建的判斷模型面臨著狀態(tài)爆炸的問題。其次,如果按照常規(guī)的步驟進(jìn)行多同步系統(tǒng)的不透明性判斷,就必須先進(jìn)行多系統(tǒng)的同步操作。但是很多情況下由于資金和地域的諸多原因很難將兩個系統(tǒng)完全放在一起同步。考慮到這兩點(diǎn)不足,針對于各個系統(tǒng)的不可觀事件集相同且屬于共同事件集或者相關(guān)事件集的情況,本文提出了新的同步系統(tǒng)不透明性驗證方法。如果將信息安全性按照保護(hù)的對象方面進(jìn)行分類,主要分為信息內(nèi)容的安全性和信息傳播機(jī)制的安全性。本文研究的是后者,將信息傳播機(jī)制進(jìn)行抽象,從而得到... 

【文章來源】：西安電子科技大學(xué)陜西省 211工程院校 教育部直屬院校

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

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

【文章目錄】：
摘要
ABSTRACT
符號對照表
縮略語對照表
第一章 緒論
    1.1 課題研究背景及意義
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 本文主要工作
第二章 基本概念
    2.1 語言基礎(chǔ)概念
        2.1.1 字符串和字母表
        2.1.2 集合
        2.1.3 關(guān)系和操作
    2.2 自動機(jī)模型
    2.3 自動機(jī)操作
        2.3.1 交運(yùn)算和同步積
        2.3.2 自循環(huán)系統(tǒng)
    2.4 系統(tǒng)不透明性
        2.4.1 當(dāng)前狀態(tài)不透明性
        2.4.2 初始狀態(tài)不透明性
        2.4.3 初始狀態(tài)和終止?fàn)顟B(tài)對不透明性
    2.5 本章小結(jié)
第三章 基于語言的同步系統(tǒng)不透明性判斷條件
    3.1 基于語言判斷同步系統(tǒng)當(dāng)前狀態(tài)不透明性的條件
        3.1.1 同步雙系統(tǒng)當(dāng)前狀態(tài)不透明性
        3.1.2 同步多系統(tǒng)當(dāng)前狀態(tài)不透明性
        3.1.3 實(shí)例
    3.2 基于語言判斷同步系統(tǒng)初始狀態(tài)不透明性的條件
        3.2.1 同步雙系統(tǒng)初始狀態(tài)不透明性
        3.2.2 同步多系統(tǒng)初始狀態(tài)不透明性
        3.2.3 實(shí)例
    3.3 基于語言判斷同步系統(tǒng)初始狀態(tài)和終止?fàn)顟B(tài)對不透明性的條件
        3.3.1 同步雙系統(tǒng)初始狀態(tài)和終止?fàn)顟B(tài)對不透明性
        3.3.2 同步多系統(tǒng)初始狀態(tài)和終止?fàn)顟B(tài)對不透明性
        3.3.3 實(shí)例
    3.4 本章小結(jié)
第四章 基于狀態(tài)的同步系統(tǒng)不透明性判斷條件探究
    4.1 基于狀態(tài)判斷同步雙系統(tǒng)不透明性的條件
        4.1.1 雙系統(tǒng)的判斷模型構(gòu)建
        4.1.2 同步雙系統(tǒng)不透明性
        4.1.3 算法及實(shí)例
    4.2 基于狀態(tài)判斷同步多系統(tǒng)不透明性的條件
        4.2.1 多系統(tǒng)的判斷模型構(gòu)建
        4.2.2 同步多系統(tǒng)不透明性
        4.2.3 算法及實(shí)例
    4.3 本文方法與傳統(tǒng)方法的比較
        4.3.1 實(shí)例
        4.3.2 系統(tǒng)復(fù)雜度和判斷系統(tǒng)不透明性步驟對比
        4.3.3 判斷系統(tǒng)不透明性計算量對比
    4.4 本章小結(jié)
第五章 總結(jié)與展望
    5.1 總結(jié)
    5.2 展望
參考文獻(xiàn)
致謝
作者簡介



本文編號：2970331