| 可信链的随机进程代数模型* |
| |
| 引用本文： | 刘昌平,范明钰,王光卫. 可信链的随机进程代数模型*[J]. 计算机应用研究, 2010, 27(12): 4650-4653. DOI: 10.3969/j.issn.1001-3695.2010.12.073 |
| |
| 作者姓名： | 刘昌平 范明钰 王光卫 |
| |
| 作者单位： | 电子科技大学,计算机科学与工程学院,成都,611731 |
| |
| 基金项目： | 国家“863”计划资助项目(2009AA01Z403，2009AA01Z435) |
| |
| 摘 要： | 计算终端引导过程的可信链表现为顺序性，在运行过程中可信链表现出随机性。相关研究工作以计算终端引导过程的可信链建模为主。以随机进程代数为形式化描述语言，建立了一种可信链模型来描述计算终端运行过程的信任传递。该模型在随机进程代数的语法中扩展了完整性属性和完整性度量概率，建立了信任传递的语义规则，并提出了基于随机进程代数的可信链语义模型。该模型对于进一步研究可信链和计算终端的完整性具有一定的参考价值。
|
| 关 键 词： | 可信链 可信计算 随机进程代数 软件行为 形式化方法 |
Modeling trust chain with stochastic process algebra |
| |
| LIU Chang-ping,FAN Ming-yu,WANG Guang-wei. Modeling trust chain with stochastic process algebra[J]. Application Research of Computers, 2010, 27(12): 4650-4653. DOI: 10.3969/j.issn.1001-3695.2010.12.073 |
| |
| Authors: | LIU Chang-ping FAN Ming-yu WANG Guang-wei |
| |
| Affiliation: | (School of Computer Science & Engineering, University of Electronic Science & Technology of China, Chengdu 611731, China) |
| |
| Abstract: | |
| |
| Keywords: | trust chain trusted computing stochastic process algebra software behavior formalization methodology |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
