| 基于DTE策略的安全域隔离Z形式模型 |
| 其他题名 | a security domain separation z model based on dte policy
|
| 卿斯汉; 李丽萍; 何建波; 沈晴霓
|
| 2007
|
| 发表期刊 | 计算机研究与发展
 |
| ISSN | 1000-1239
|
| 卷号 | 44期号:11页码:1881-1888 |
| 摘要 | 基于DTE策略的安全域隔离技术是构造可信系统的基本技术之一.但现有DTE实现系统存在安全目标不明确、缺乏对系统及其安全性质的形式定义和分析的缺点,导致系统安全性难以得到保证.定义了一个基于DTE策略的安全域隔离模型,采用Z语言形式定义了系统状态、基于信息流分析的不变量和安全状态,并借助Z/EVES工具给出验证系统安全的形式分析方法.解决了DTE系统的形式化建模问题,为安全域隔离技术的实现和验证奠定了基础. |
| 收录类别 | EI
|
| 关键词 | 安全域隔离
信息流
Dte
可信管道
形式化
策略
安全域
域隔离
形式模型
系统安全性
形式定义
隔离技术
形式分析方法
信息流分析
验证
系统状态
可信系统
建模问题
安全状态
安全性质
安全目标
不变量
语言
基础formal Languages
Magnetic Domains
Query Languages
Servers
Specifications
Verification
|
| 部门归属 | 中国科学院软件研究所,北京,100080;中国科学院研究生院,北京,100049;北京大学软件与微电子学院,北京,102600;中国科学院软件研究所,北京,100080;中国科学院研究生院,北京,100049;中国科学院软件研究所,北京,100080;中国科学院研究生院,北京,100049;北京大学软件与微电子学院,北京,102600
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11274
|
| 专题 | 基础软件国家工程研究中心
|
推荐引用方式
GB/T 7714 |
卿斯汉,李丽萍,何建波,等. 基于DTE策略的安全域隔离Z形式模型[J]. 计算机研究与发展,2007,44(11):1881-1888.
|
| APA |
卿斯汉,李丽萍,何建波,&沈晴霓.(2007).基于DTE策略的安全域隔离Z形式模型.计算机研究与发展,44(11),1881-1888.
|
| MLA |
卿斯汉,et al."基于DTE策略的安全域隔离Z形式模型".计算机研究与发展 44.11(2007):1881-1888.
|
修改评论