摘 要:計算終端引導過程的可信鏈表現為順序性,在運行過程中可信鏈表現出隨機性。相關研究工作以計算終端引導過程的可信鏈建模為主。以隨機進程代數為形式化描述語言,建立了一種可信鏈模型來描述計算終端運行過程的信任傳遞。該模型在隨機進程代數的語法中擴展了完整性屬性和完整性度量概率,建立了信任傳遞的語義規則,并提出了基于隨機進程代數的可信鏈語義模型。該模型對于進一步研究可信鏈和計算終端的完整性具有一定的參考價值。關鍵詞:可信鏈;可信計算;隨機進程代數;軟件行為;形式化方法
計算機應用研究2010年12期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現代工業經濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業管理與科技》2024年6期
9《現代食品》2024年4期
10《衛生職業教育》2024年10期
關于參考網