可信鏈的隨機進程代數模型
2010-12-31 00:00:00劉昌平范明鈺王光衛
計算機應用研究 2010年12期
摘 要：計算終端引導過程的可信鏈表現為順序性，在運行過程中可信鏈表現出隨機性。相關研究工作以計算終端引導過程的可信鏈建模為主。以隨機進程代數為形式化描述語言，建立了一種可信鏈模型來描述計算終端運行過程的信任傳遞。該模型在隨機進程代數的語法中擴展了完整性屬性和完整性度量概率，建立了信任傳遞的語義規則，并提出了基于隨機進程代數的可信鏈語義模型。該模型對于進一步研究可信鏈和計算終端的完整性具有一定的參考價值。關鍵詞：可信鏈；可信計算；隨機進程代數；軟件行為；形式化方法
