基于數(shù)據(jù)屬性的安全協(xié)議量化分析方法研究.pdf

1、本文歸納了協(xié)議安全屬性的具體內(nèi)容及在協(xié)議中實(shí)現(xiàn)這些安全屬性的相關(guān)因素,說(shuō)明協(xié)議安全屬性與協(xié)議數(shù)據(jù)內(nèi)容的相關(guān)性,以此為基礎(chǔ)提出了以數(shù)據(jù)屬性為中心的協(xié)議分析思路,討論這種思路的合理性,并闡述了以這種思路對(duì)協(xié)議進(jìn)行描述和分析的基本思想和方法.在此基礎(chǔ)上,提出了一個(gè)協(xié)議的數(shù)據(jù)屬性體系,說(shuō)明各個(gè)數(shù)據(jù)屬性的基本內(nèi)容和作用,并說(shuō)明了各個(gè)數(shù)據(jù)屬性相互關(guān)聯(lián)、變化規(guī)律,并歸納了這些數(shù)據(jù)屬性與現(xiàn)有安全協(xié)議形式化分析方法中一些概念的關(guān)聯(lián),說(shuō)明了這些數(shù)據(jù)屬性在協(xié)

2、議分析中的語(yǔ)義作用及引入數(shù)據(jù)屬性體系的合理性.隨著數(shù)據(jù)屬性體系的提出,給出了一個(gè)量化分析模型,給出了對(duì)協(xié)議分析進(jìn)行量化分析的一種可以通用的方法——用"前提/結(jié)論"對(duì)來(lái)描述由協(xié)議內(nèi)容推導(dǎo)出協(xié)議目標(biāo)的整個(gè)過(guò)程,并將它們組合成對(duì)一個(gè)協(xié)議目標(biāo)推導(dǎo)的完整貢獻(xiàn)圖,對(duì)這種推導(dǎo)關(guān)系中每個(gè)"前提/結(jié)論"對(duì)進(jìn)行重要性分析,從而實(shí)現(xiàn)對(duì)從協(xié)議內(nèi)容到協(xié)議目標(biāo)之間邏輯關(guān)聯(lián)的量化分析.從這一量化分析思想出發(fā),對(duì)現(xiàn)有協(xié)議分析方法中較常用的基于邏輯方法和串空間方法進(jìn)行了