-
题名计算机安全中的无干扰模型
被引量：9
- 1
-
-
作者
周伟
尹青
郭金庚
-
机构
信息工程大学网络工程实验室
-
出处
《计算机科学》
CSCD
北大核心
2005年第2期159-165,共7页
-
基金
国家863计划信息安全技术主题"网络安全积防御技术"(编号:863-104-06-1)
-
文摘
与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质。自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无干扰信息流模型。本文基于进程代数框架研究这些模型,并给出了一些新的结果和证明。
-
关键词
安全模型
计算机安全
进程代数
访问控制
信息流
框架
干扰
定义
概念
本质
-
Keywords
Security model, Information flow,Non-interference,Process algebra
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名计算机安全中的经典模型
被引量：5
- 2
-
-
作者
周伟
尹青
王清贤
-
机构
信息工程大学网络工程实验室
-
出处
《计算机科学》
CSCD
北大核心
2004年第3期195-200,共6页
-
基金
国家863计划信息安全技术主题"网络安全及防御技术"(编号:863-104-06-1)
-
文摘
安全模型是构造安全计算机系统的基础。到目前为止,已有多种公开发表的安全模型。本文总结了几种重要的早期安全模型,其中包括访问矩阵模型,HRU模型,BLP模型、格模型和无干扰模型,并对它们进行了分类和简要评述。本文将它们称为经典安全模型。这些经典安全模型都是开创性的,从各个不同的方面对安全问题进行抽象,模型所定义的安全问题具有典型性,并对后续的研究产生了重要影响。目前,共享计算机系统的安全问题仍然是计算机科学的中心问题之一,研究这些经典模型,对于我们全面理解计算机系统的安全问题,展望未来发展方向,具有重要意义。
-
关键词
计算机安全
安全模型
HRU模型
BLP模型
格模型
无干扰模型
访问矩阵模型
-
Keywords
Security model, Access control model. Lattice model .Non-interference model
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名动态系统的一致同余安全
- 3
-
-
作者
周伟
尹青
郭金庚
-
机构
信息工程大学网络工程实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2005年第9期1514-1519,共6页
-
基金
国家"八六三"计划信息安全技术主题项目(863-104-06-1)资助.
-
文摘
研究动态系统的安全问题.针对动态系统运行时间配置的可变特性,引入了动态系统的进程代数模型和复杂动态系统概念,定义了动态系统的一致安全性质和一致同余安全性质.基于观察同余等价,构造了一类一致同余安全模型.本文证明,动态系统的安全性质是一致安全性质,而对于复杂动态系统,其安全性质是一致同余安全性质.
-
关键词
动态系统
安全
一致安全
同余安全
-
Keywords
dynamic system
security
uniform security
congruent security
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
