基于DTE策略的安全域隔离Z形式模型
文献类型：期刊论文
| 作者 | 卿斯汉 ; 李丽萍 ; 何建波 ; 沈晴霓 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2007 |
| 卷号 | 44期号:11页码:1881-1888 |
| 关键词 | 安全域隔离 信息流 DTE 可信管道 形式化 策略 安全域 域隔离 形式模型 系统安全性 形式定义 隔离技术 形式分析方法 信息流分析 验证 系统状态 可信系统 建模问题 安全状态 安全性质 安全目标 不变量 语言 基础Formal languages Magnetic domains Query languages Servers Specifications Verification |
| ISSN号 | 1000-1239 |
| 其他题名 | a security domain separation z model based on dte policy |
| 中文摘要 | 基于DTE策略的安全域隔离技术是构造可信系统的基本技术之一.但现有DTE实现系统存在安全目标不明确、缺乏对系统及其安全性质的形式定义和分析的缺点,导致系统安全性难以得到保证.定义了一个基于DTE策略的安全域隔离模型,采用Z语言形式定义了系统状态、基于信息流分析的不变量和安全状态,并借助Z/EVES工具给出验证系统安全的形式分析方法.解决了DTE系统的形式化建模问题,为安全域隔离技术的实现和验证奠定了基础. |
| 收录类别 | EI |
| 语种 | 中文 |
| 公开日期 | 2011-07-01 |
| 附注 | High security level trusted information system need formal model of security policies to gain adequate assurance. Security domain separation based on DTE policy is one of the basic technologies to build trusted system. But the current DTE systems are diff |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。