基于管道的TCB扩展模型

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

【摘要】

：

为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如

【作者】

：

廖建华[1]赵勇[2]沈昌祥[2]

【机构】

：

北京大学信息科学技术学院,北京,100871

【出处】

：

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

【发表日期】

：

2010年期

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

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

其他文献

中日韩造船生产模式的研究

期刊

中日韩造船生产研究

高层建筑消防安全疏散设计问题探讨

期刊

高层建筑消防安全疏散设计

职业中毒漏诊原因分析

在临床工作中我们发现，职业中毒屡有发生，但是，职业中毒的漏诊率却很高，其原因分析如下。1对职业中毒的认识不足1．1从业人员对职业中毒的认识不足有相当一部分接触生产性毒物的工

期刊

职业中毒漏诊原因分析职业接触史生产性毒物职业病防治健康监护职业危害漏诊率驱铅治疗全然不知

基于参数依赖关系检查的测试用例空间约简方法

针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,

会议

电子数据取证的可信固定方法

在介绍传统电子数据固定方法的基础上,针对可信取证理念,给出电子数据静态属性可信的支撑框架和可信固定方法.运用DSA数字签名、时间戳技术,并结合基于让实数字签名的第3方保

虚拟可信平台层次化安全体系结构设计

针对虚拟化技术给计算平台带来的一些新的安全问题,提出一种以虚拟机应用安全为核心的虚拟可信计算平台安会体系结构,为计算平台建立一种层次化的可信计算基(TCB):由硬件信任

会议

多变量代数理论及其在密码学中的应用

介绍了有限域上二次多变量多项式方程组(MQ问题)求解理论的研究进展;描述了几种主要的MQ公钥密码算法及其相应的分析手段,并归纳出了MQ(multivariate quadratic)公钥密码系统

会议

多变量代数理论密码学公钥密码算法开放问题多项式方程组有限域上研究进展系统设计基本准则归纳流密码求解描述概括分析

部队营区蝇类密度监测及防制对策探讨

我部位于北京市区,楼房毗邻,花草树木茂盛。为深入开展除害灭病工作,提高部队生活和环境质量,1993～1997连续5年进行蝇类优势种群、季节消长等监测,为其有效防制提供了科学依据

期刊

蝇类密度监测防制对策化学杀虫剂市蝇蝇密度除害灭病有效防制部队生活舍蝇

既有建筑顶部钢结构加层的结构设计与抗震性能分析

期刊

建筑钢结构加层结构设计抗震性能

超滤膜技术在环境工程水处理中的应用分析

期刊

超滤膜技术环境工程水处理应用

基于管道的TCB扩展模型

与本文相关的学术论文