【摘要】：針對(duì)使用不同方式定量地刻畫少量可信信息更改的可容忍性問題,通過實(shí)例分析比較香農(nóng)熵、最小熵和信念等度量方式,提出一種能夠適用于大多數(shù)攻擊情形的度量方式.通過將程序建模為通信信道,根據(jù)Clarkson建立的信息流完整性模型,在攻擊者對(duì)系統(tǒng)行為有額外認(rèn)知的情況下,結(jié)合信念和最小熵討論了完整性的兩個(gè)重要特征——污染與信道抑制.結(jié)果顯示當(dāng)對(duì)手的信念與系統(tǒng)相容時(shí)可識(shí)別對(duì)手信念的準(zhǔn)確性.
[Abstract]:Aiming at the tolerance problem of quantificationally characterizing a small amount of trusted information changes in different ways, this paper presents a measurement method that can be applied to most attack situations by analyzing and comparing Shannon entropy, minimum entropy and belief. By modeling the program as a communication channel, based on the information flow integrity model established by Clarkson, when the attacker has additional knowledge of the system behavior, Two important features of integrality, pollution and channel suppression, are discussed in combination with belief and minimum entropy. The results show that the accuracy of the opponent's belief can be identified when the opponent's belief is compatible with the system.
【作者單位】： 陜西師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院;
【基金】：國家自然科學(xué)基金資助項(xiàng)目(61671280,11531009) 陜西省創(chuàng)新人才推進(jìn)計(jì)劃(青年科技新星)資助項(xiàng)目(2017KJXX-92)
【分類號(hào)】：TP309
，

本文編號(hào)：2306881