【摘 要】
：
针对访问的持续性保护问题,使用控制模型可以加强对传统模型的访问控制。已有的使用控制系统研究中,利用可信计算技术保证访问控制策略的正确实施。该类工作存在的问题是,对
【机 构】
：
中国科学院大学,中国科学院软件研究所
论文部分内容阅读
针对访问的持续性保护问题,使用控制模型可以加强对传统模型的访问控制。已有的使用控制系统研究中,利用可信计算技术保证访问控制策略的正确实施。该类工作存在的问题是,对使用控制模型的决策连续特性支持不足。提出了新型的可信使用控制架构,持续监控系统变化,在使用过程中控制客体资源,有效支持决策连续性。提出了一种基于模型的行为证明方案,利用可信芯片TCM（trusted cryptography module）作为信任根,度量使用控制架构的动态行为,确保策略有效实施,并在操作系统内核中实现了该可信使用控制架构。通过实
其他文献
通过介绍循证检验医学的概念与思想,提出在检验实习带教中引入循证检验医学的必要性,认为在实习学生中开展循证检验医学训练有助于提高检验医学教育的水平和实习学生的素质,
为了解阜新市游泳池水质微生物污染情况,制定有效的卫生监督措施,于2004年1～9月对我市4个室内和2个室外游泳池水质进行了微生物监测.检验项目包括：细菌总数、大肠菌群、游离余
目的探讨320层动态容积CT血管成像在诊断肺动脉栓塞中的价值。方法回顾性分析30例临床确诊为肺动脉栓塞的320层动态容积CT肺动脉成像资料,并用最大密度投影（MIP）、多平面重组（MP
随着我国经济和社会的发展,人民生活水平日益提高,学生的营养问题越来越受到重视.为了解我市中小学生现时的营养状况,于2001年对上饶市在校学生开展了营养调查工作,并对其现
“DeslgnProzess设计进程2008——德中平面设计大赛”着眼于过程设计和过程教育。大赛的宗旨是追求知识性和艺术性的完美结合，重点不是去评价已经完成的成熟的设计作品，而是着
目的：探讨三维CT血管造影（3D-CTA）在自发性脑出血病因诊断中的作用.方法：对20例自发性脑出血患者3D-CTA和14次数字减影脑血管造影（DSA）检查.结果：3D-CTA发现脑动脉瘤7例、脑动静脉畸
[目的]比较腹腔镜小儿疝囊高位结扎术与传统手术在治疗小儿腹股沟斜疝的优缺点。[方法]总结80例小儿腹股沟斜疝患儿的手术治疗情况,分析小儿腹股沟斜疝传统手术方式与腹腔镜