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

Files in This Item:
File Name/ File Size Content Type Version Access License
基于DTE策略的安全域隔离Z形式模型.pdf(397KB)----限制开放-- 联系获取全文

Recommended Citation:
卿斯汉,李丽萍,何建波,等. 基于DTE策略的安全域隔离Z形式模型[J]. 计算机研究与发展,2007-01-01,44(11):1881-1888.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[卿斯汉]'s Articles
[李丽萍]'s Articles
[何建波]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[卿斯汉]‘s Articles
[李丽萍]‘s Articles
[何建波]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace