可信鏈的隨機(jī)進(jìn)程代數(shù)模型

摘 要：計(jì)算終端引導(dǎo)過(guò)程的可信鏈表現(xiàn)為順序性，在運(yùn)行過(guò)程中可信鏈表現(xiàn)出隨機(jī)性。相關(guān)研究工作以計(jì)算終端引導(dǎo)過(guò)程的可信鏈建模為主。以隨機(jī)進(jìn)程代數(shù)為形式化描述語(yǔ)言，建立了一種可信鏈模型來(lái)描述計(jì)算終端運(yùn)行過(guò)程的信任傳遞。該模型在隨機(jī)進(jìn)程代數(shù)的語(yǔ)法中擴(kuò)展了完整性屬性和完整性度量概率，建立了信任傳遞的語(yǔ)義規(guī)則，并提出了基于隨機(jī)進(jìn)程代數(shù)的可信鏈語(yǔ)義模型。該模型對(duì)于進(jìn)一步研究可信鏈和計(jì)算終端的完整性具有一定的參考價(jià)值。關(guān)鍵詞：可信鏈；可信計(jì)算；隨機(jī)進(jìn)程代數(shù)；軟件行為；形式化方法