【摘 要】
：
针对经典BLP模型的部分主体权限过大的问题,基于可信计算技术,将可信的思想和时间特性融入到安全模型的设计,提出了基于时间可信的BLP模型（TTBLP）。该模型以BLP模型为基础,引入
【机 构】
：
解放军信息工程大学电子技术学院,北京工业大学计算机学院,武汉大学计算机学院
【基金项目】
：
国家973重点基础研究发展计划基金项目（2007CB311100）
论文部分内容阅读
针对经典BLP模型的部分主体权限过大的问题,基于可信计算技术,将可信的思想和时间特性融入到安全模型的设计,提出了基于时间可信的BLP模型（TTBLP）。该模型以BLP模型为基础,引入可信状态和可信范畴的概念,动态调节主体的访问范围,保证了只有符合可信状态安全要求的主体才能访问特定可信范畴中的客体,并给出了TTBLP安全模型的基本设计思想、定义、公理和定理。实验结果表明,该模型弥补了经典BLP模型的不足,增强了系统的安全性和灵活性。
其他文献
稠油开采技术中最典型的方法是注蒸汽热采,传统地面注蒸汽式稠油开采技术热损大、能效低、占地广导致稠油开采综合经济效益低。电磁感应加热技术的诸多优点为利用井下加热器
为了产生更有效的测试用例,以Web应用为研究对象,按功能将Web应用划分成若干个功能构件,把Web应用看成是功能构件的集合,针对其相应的交互功能,用FSM对其功能交互行为进行建
在小学数学教学过程中,灵活运用生活情境的方法既是当下教育改革的要求,又是解决数学教学过程中所出现问题的重要举措。因此,文章在简要分析小学数学教学现状的基础上,从生活
资产结构对企业的持续经营具有重要意义。在不同的企业生命周期阶段,企业的经营风险是不同的,并对资产结构的选择有着很大的影响。文章简要介绍了企业生命周期理论和资产结构
【正】 A-237钨盘激光器是新一代金属-陶瓷结构的离子激光器,具有高稳定、高可靠、长寿命等特点。 激光器的心脏激光管是用钨-铜盘与高纯氧化铝瓷管焊接成一体,陶瓷外壳,放电
为了在CDMA1X移动网络和BREW手机上设计和实现用于移动平台的监控客户端,在利用现有的流媒体和视频编解码等监控技术的基础上,综合考虑了移动网络带宽不足和移动设备性能较低
太玉959是以自选系太1501为母本、太6963为父本组配而成的玉米杂交种,由山西省农业科学院作物科学研究所与山西中农赛博种业有限公司合作培育而成。2016-2017年区域试验的平
自然状态学说的出现是自古希腊以来哲人们所构造的神义论理论体系隐含的内在矛盾发展的必然结果。其发端是质疑上帝存在之正当性的"伊壁鸠鲁悖论"。为了驳斥"伊壁鸠鲁悖论"并
目的:脂溢性角化病(Seborrheic Keratosis,SK)又称基底细胞乳头瘤或老年疣,是因角质形成细胞成熟迟缓所致的一种良性表皮内肿瘤,好发于中老年人,但近年来有报道年轻人的发病
提出了一种基于视频传感器网络的模型,其核心思想是通过视频节点和非视频节点相互协作建立模型,对目标进行探测、跟踪和定位。在探测和跟踪阶段,通过非视频节点对目标进行探测。目标在移动过程中,由非视频节点实时地跟踪目标大致的移动方向和位置;在定位阶段,由视频节点完成对目标准确定位。仿真结果表明,在节点随机部署的情况下,该模型可以有效地实现对目标区域的全覆盖,通过非视频节点和视频节点的相互协作,发挥了非视频