可信链的随机进程代数模型

• 作者: 刘昌平 王光卫 范明钰
• 来源期刊: 计算机应用研究
• 关键词: 可信链 可信计算 随机进程代数 软件行为 形式化方法
• 年，卷（期）: 2010,（12）
• 页码范围: 4650-4653
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.12.073

摘要

计算终端引导过程的可信链表现为顺序性,在运行过程中可信链表现出随机性.相关研究工作以计算终端引导过程的可信链建模为主.以随机进程代数为形式化描述语言,建立了一种可信链模型来描述计算终端运行过程的信任传递.该模型在随机进程代数的语法中扩展了完整性属性和完整性度量概率,建立了信任传递的语义规则,并提出了基于随机进程代数的可信链语义模型.该模型对于进一步研究可信链和计算终端的完整性具有一定的参考价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	范明钰	电子科技大学计算机科学与工程学院	100	1008	17.0	27.0
2	王光卫	电子科技大学计算机科学与工程学院	49	639	13.0	24.0
3	刘昌平	电子科技大学计算机科学与工程学院	5	214	4.0	5.0