基于管道的TCB扩展模型

来源 :2010年第四届中国可信计算与信息安全学术会议 | 被引量 : 0次 | 上传用户：edwinandwolf

【摘要】

：

为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如何利用TCB扩展构建安全机制间的信息交互机制,以实现不同安全机制之间的统一.通过对TCB扩展模型的安全性分析,进一步说明了模型的科学性和现实可行性.

【作者】

：

廖建华赵勇沈昌祥

【机构】

：

北京大学信息科学技术学院,北京,100871;中国科学院软件研究所信息安全国家重点实验室,北京,100049

【出处】

：

2010年第四届中国可信计算与信息安全学术会议

【发表日期】

：

2010年10期

【关键词】

：

TCB扩展安全管道信息交互机制

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

非感兴趣区域时空分析的运动显著区域检测

为了有效地进行视频质量评估和视频信息保护,提出了一种基于非感兴趣区域(region-of-non-interest,RONI)时空分析的运动显著区域(motion salient region,MSR)检测算法.通过确定RONI,运动显著区域可作为RONI的补集被提取.实验结果证明,该方法可以有效检测出运动显著区域,准确率达到93%,对于那些有复杂摄像机运动的视频也具有强鲁棒性.

期刊

非感兴趣区域时空分析运动显著区域region-of-non-interest spatial-temporal analysis motion salie

煤矿乏风甲烷分离富集过程的数值研究

建立了吸附床内煤矿乏风二维气体流动、吸附传质的数学模型，以轴向流吸附床为研究对象，对活性炭富集分离煤矿乏风甲烷过程进行了模拟，得到了各个循环步骤下床内详细的流动、浓度

期刊

甲烷分离富集煤矿乏风数值模拟methane separating and enriching coal-mine ventilation air mode

“郭勒”——国家级非遗刻纸创新设计

我国工艺美术历史悠久、品类繁多,并且具有优秀传统文化的积淀。手工艺伴随着农耕文化的发展而兴盛起来。刻纸是剪纸的一种,刻纸技艺保留着几千年来民族文化的精、气、神。作

期刊

农耕文化创新设计优秀传统文化刻纸手工艺工艺美术国家级非遗

能量有效的扇区划分LEACH改进算法

针对无线传感器网络生存期和能量有效性问题,提出了一种基于多跳传输和节点ID扇形分布的低功耗自适应集簇分层型协议（LEACH）改进算法MHS-LEACH.该算法根据节点的剩余能量调整簇

期刊

无线传感器网络低功耗自适应集簇分层型协议(LEACH)多跳通信能量管理扇区划分wireless sensor networks low enery a

不同取代联苯的细胞毒性及与单壁碳纳米管的协同细胞毒性

用四甲基偶氮唑盐比色法（MTT比色法）考察了联苯、2-溴代联苯、2-联苯基羧酸和2-氨基联苯等4种不同取代联苯化合物的细胞毒性及其分别与单壁碳纳米管结合的协同毒性．实验结果表明

期刊

联苯类化合物单壁碳纳米管细胞毒性协同细胞毒性biphenyl compounds single-wall carbon nanotubes cytoto

基于面板数据的交通事故宏观模型研究

作者基于7个国家1963--2005年的历史数据，分析了国内外交通事故的发展规律，阐述了宏观因素对交通安全的影响．通过模型比较，选择面板数据模型研究影响因素之间的关系，分别采用固定

期刊

面板数据交通事故模型宏观预测固定效用随机效应Husman检验panel data traffic accidents model macro e

艾利丹尼森在印度推出边角料回收项目

艾利丹尼森在印度为标签印刷企业中推出了废边回收计划。该公司今年首次与回收商Shakti塑料工业合作,在南亚太地区和撒哈拉以南非洲(SAPSSA)实施这一项目。迄今为止,边角废料

期刊

丹尼森印刷企业

茶蒸青叶中儿茶素类的制备及其对氧自由基的清除作用

以茶鲜叶经过蒸汽杀青得到的“蒸青叶”为原料,制备儿茶素类产物。采用HPLC分析了儿茶素类的含量和组分,同时采用邻二氮菲-Fe2+氧化法与NBT光还原法,研究了儿茶素类产物对两

期刊

蒸青叶儿茶素类清除自由基抗氧化剂

氯胺在管网中水相衰减影响因素研究

以纯水和管网水为研究对象,分别考察了氯氨比、氯胺质量浓度、总有机碳（total organic carbon,TOC）浓度、NO2--N质量浓度、温度θ和pH等水质参数对氯胺衰减的影响.研究结果表明

期刊

氯胺衰减氯氮比总有机碳浓度亚硝酸氮chloramine decay w（Cl）∶w（N） total orgainc carbon（TOC） nitri

全球超级印刷企业排排看

全球第一大软包装印刷企业安姆科,成立于1860年。目前总部位于瑞士苏黎世,但本质上还是一家澳洲公司,并在澳洲上市。过去十年间,安姆科收购的企业遍布全球各地,从南非到南美,

期刊

印刷企业

基于管道的TCB扩展模型

与本文相关的学术论文