基于进程的无干扰可信模型

摘要：

进程代数中将系统抽象为进程、动作和状态输出,而信息流的无干扰原理可用于系统可信性的刻画。本文提出一种基于进程的无干扰可信模型NITMBP(Non—interference Trusted Model Based on Processes)。模型形式化地定义和描述了进程运行的可信条件和隔离特性,并通过进程间的干扰属性刻画进程运行过程的可信性。最后,给出系统的隔离可信和传递可信判定定理。

关键词： 无干扰可信模型 进程代数 隔离可信 传递可信

作者: 张兴 陈幼雷 盖新貌 沈昌祥

作者单位: 信息工程大学电子技术学院,郑州 450004 北京工业大学可信计算实验室,北京 100124 北京工业大学可信计算实验室,北京 100124 国防科技大学计算机学院,长沙 410073

会议类型: 国内会议

会议名称: 2008中国计算机网络安全应急年会(信息内容安全分会)

会议地点: 深圳

会议语种:中文

页码: 188-192

在线出版日期: 2008-04-07（万方平台首次上网日期，不代表论文的发表时间）