计算机安全中的无干扰模型

摘要：

与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质.自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无干扰信息流模型.本文基于进程代数框架研究这些模型,并给出了一些新的结果和证明.

关键词：安全模型、信息流、无干扰、进程代数

所属期刊栏目：32

分类号：TP3;X1

资助基金：国家高技术研究发展计划863计划863-104-06-1

在线出版日期：2005-03-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：159-165