基于DTE策略的安全域隔离Z形式模型

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：taotao_xr

【摘要】

：

基于DTE策略的安全域隔离技术是构造可信系统的基本技术之一．但现有DTE实现系统存在安全目标不明确、缺乏对系统及其安全性质的形式定义和分析的缺点，导致系统安全性难以得到保

【作者】

：

卿斯汉李丽萍何建波沈晴霓

【机构】

：

中国科学院软件研究所,中国科学院研究生院,北京大学软件与微电子学院

【出处】

：

计算机研究与发展

【发表日期】

：

2007年11期

【关键词】

：

安全域隔离信息流 DTE 可信管道形式化 security domain separation information flow DTE assured p

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于DTE策略的安全域隔离技术是构造可信系统的基本技术之一．但现有DTE实现系统存在安全目标不明确、缺乏对系统及其安全性质的形式定义和分析的缺点，导致系统安全性难以得到保证．定义了一个基于DTE策略的安全域隔离模型，采用Z语言形式定义了系统状态、基于信息流分析的不变量和安全状态，并借助Z／EVES工具给出验证系统安全的形式分析方法．解决了DTE系统的形式化建模问题，为安全域隔离技术的实现和验证奠定了基础．

其他文献

龙芯2号处理器系统优化关键技术

系统软件作为处理器和应用程序之间的接口，对于充分利用处理器的特性来维护处理器与应用程序的稳定性和提高应用程序的性能起着极其重要的作用．描述了在Linux内核中解决龙芯2号

期刊

龙芯2号处理器Cache别名软TLBUncacheAccelerateGodson-2 processor cache synonyms softwa

手术室护理常见安全隐患浅析及防范

手术室护理是临床比较特殊的护理单元，一名优秀的手术室护士不仅要有全面的专业知识，而且要有敏锐的洞察力和快速的反应能力。为杜绝或减少手术室护理工作中的安全隐患，保障手术

期刊

手术室护理安全隐患

面向海量数字资源管理的FC-SAN性能研究综述

信息爆炸为海量数字资源管理带来的挑战之一就是海量信息的存储问题.以FC-SAN为代表的网络化存储为该挑战提供了新的解决途径.FC-SAN系统作为存储基础设施其性能在很大程度上

期刊

海量数字资源管理网络存储FC-SAN性能分析性能仿真性能监测

关于构建县级医院综合效益评价指标体系的探讨

1构建县级医院综合效益评价指标体系的重要意义1.1有利于医院强化医德建设,树立良好医风把反映医疗质量、服务态度等方面的指标纳入综合绩效考核评价体系中,使医院的效益评价

期刊

县级医院综合效益评价指标

重视临床微生物检验结果质量分析及审核

临床微生物检验从标本采集、运送到鉴定、药敏试验，应是全程管理、全员参与、全面监督的过程，目的是保证检验结果的准确性，为临床提供诊断和治疗依据。

期刊

临床微生物检验质量分析审核

工程估价课程资源整合及优化改革研究

工程估价课程具有很强的专业性、技术性、实践性和综合性。针对当前造价行业对工程造价人才的需求，结合教学过程中的实践经验，在介绍工程估价课程特点的基础上，详细阐述了资源整

期刊

工程估价资源整合优化改革执业资格Engineering evaluationresources integrationoptimizing refo

基于DTE策略的安全域隔离Z形式模型

其他学术论文