%0 Journal Article
%T Modeling trust chain with stochastic process algebra<br>可信链的随机进程代数模型*
%A LIU Chang-ping
%A FAN Ming-yu
%A WANG Guang-wei
%A <br>刘昌平
%A 范明钰
%A 王光卫
%J 计算机应用研究
%D 2010
%I 
%X 计算终端引导过程的可信链表现为顺序性，在运行过程中可信链表现出随机性。相关研究工作以计算终端引导过程的可信链建模为主。以随机进程代数为形式化描述语言，建立了一种可信链模型来描述计算终端运行过程的信任传递。该模型在随机进程代数的语法中扩展了完整性属性和完整性度量概率，建立了信任传递的语义规则，并提出了基于随机进程代数的可信链语义模型。该模型对于进一步研究可信链和计算终端的完整性具有一定的参考价值。
%K trust chain
%K trusted computing
%K stochastic process algebra
%K software behavior
%K formalization methodology<br>可信链
%K 可信计算
%K 随机进程代数
%K 软件行为
%K 形式化方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=F0C980C74D78C4D394494DC1C97B4172&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=59906B3B2830C2C5&sid=96689B49185FDDBA&eid=F5397A93464C52AF&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=19