论文部分内容阅读
针对可信计算基（TCB）可信扩展过程中涉及的隔离问题,提出了可信管道模型。对可信管道进行了形式化描述,给出了构成元素、建立规则和传输规则;分析了基本属性,证明了可信管道支撑下的TCB可信扩展符合非传递无干扰模型;分析了可信管道模型的安全性;给出了一个可信管道的实施框架。
可信管道模型研究
【摘 要】
：
针对可信计算基（TCB）可信扩展过程中涉及的隔离问题,提出了可信管道模型。对可信管道进行了形式化描述,给出了构成元素、建立规则和传输规则;分析了基本属性,证明了可信管道支
【机 构】
：
解放军信息工程大学电子技术学院,华北计算技术研究所,北京工业大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2011年26期
【基金项目】
：
国家高技术研究发展计划（863）No.2009AA01Z437
其他文献
<正>"亘古长夜,孕育于黄沙中的顽强生命开始复苏;一盏明灯下,画僧绘制千年壁画。一身飘逸灵动的飞天翩跹于敦煌上空,似召唤的力量开启……"2017年9月20日,中央芭蕾舞团大型原
期刊
为探讨高血压患者颈动脉病变与血管活性物质的关系 ,对 10 5例高血压患者行颈动脉超声检查 ,根据病变的不同情况分为正常组 (30例 )、增厚组 (30例 )、硬斑块组 (30例 )和软
【目的】探讨提高我院救援医学专业学生急性中毒课程的教学效果。【方法】2013年3月-6月,我们在整合和优化三部教材中的急性中毒教学内容的基础上,将2010级30名救援医学专业
随着市场经济在社会主义国家呈现越来越快的发展趋势,人才资源被认为是实现伟大中国梦进程中的关键推动力量。之于银行领域,具备优良素质的银行工作人员是当前银行业在竞争激
随着印度经济的快速发展,印度已成为全球最有吸引力的投资热土之一,也是"一带一路"沿线重要国家,有巨大的投资市场。从深化中印产业产能合作和实现产业与技术转移的角度来看,
RBAC模型通过角色将用户和权限进行了逻辑分离,然而在角色分配及权限授予时,导致的冲突检测没有得到彻底解决。提出了一种基于语义的RBAC模型冲突检测方法：利用描述逻辑作为逻