Institutional Repository
| 基于DTE策略的安全域隔离Z形式模型 | |
| Alternative Title | a security domain separation z model based on dte policy |
| 卿斯汉; 李丽萍; 何建波; 沈晴霓 | |
| 2007 | |
| Source | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| Volume | 44Issue:11Pages:1881-1888 |
| English Abstract | 基于DTE策略的安全域隔离技术是构造可信系统的基本技术之一.但现有DTE实现系统存在安全目标不明确、缺乏对系统及其安全性质的形式定义和分析的缺点,导致系统安全性难以得到保证.定义了一个基于DTE策略的安全域隔离模型,采用Z语言形式定义了系统状态、基于信息流分析的不变量和安全状态,并借助Z/EVES工具给出验证系统安全的形式分析方法.解决了DTE系统的形式化建模问题,为安全域隔离技术的实现和验证奠定了基础. |
| Indexed Type | EI |
| Keyword | 安全域隔离 信息流 Dte 可信管道 形式化 策略 安全域 域隔离 形式模型 系统安全性 形式定义 隔离技术 形式分析方法 信息流分析 验证 系统状态 可信系统 建模问题 安全状态 安全性质 安全目标 不变量 语言 基础formal Languages Magnetic Domains Query Languages Servers Specifications Verification |
| Department | 中国科学院软件研究所,北京,100080;中国科学院研究生院,北京,100049;北京大学软件与微电子学院,北京,102600;中国科学院软件研究所,北京,100080;中国科学院研究生院,北京,100049;中国科学院软件研究所,北京,100080;中国科学院研究生院,北京,100049;北京大学软件与微电子学院,北京,102600 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11274 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于DTE策略的安全域隔离Z形式模型.p（397KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment