【摘 要】
：
近年来，安全保障作为操作系统安全的一个重要方面越来越受到研究者的重视。对于高安全级别操作系统，体系结构层次的结构化是必须要达到的安全保障要求，是其区别于低安全级别
【机 构】
：
北京工业大学计算机学院，北京 100022
【出 处】
：
2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)
论文部分内容阅读
近年来，安全保障作为操作系统安全的一个重要方面越来越受到研究者的重视。对于高安全级别操作系统，体系结构层次的结构化是必须要达到的安全保障要求，是其区别于低安全级别系统的本质特征。本文首先分析了传统信息流模型在解决安全保障问题方面的不足，然后以传统无干扰模型为基础， 研究了安全保障在其中的描述和体现，提出了能够满足引用监视器假设的结构化规则。其次，提出可信管道的概念，将其应用到无干扰模型的结构化保障中，并对模型的安全性进行了证明。最后，给出了一种基于可信管道的结构化信息流控制的实现方案。
其他文献
模块化推理在程序分析和程序验证领域得到了广泛的关注与应用，其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented program
国有企业是支撑社会经济发展的重要力量,在经济新常态背景下,国有企业面对的挑战不断增加,企业的经济增长速度有所减缓.基于此种情况,国有企业应当通过加强财务内部控制的方
本文首先阐述了在中小民企实施全面预算管理的重要性及现实意义,其次揭示了中小民企全面预算管理推行过程中存在的一些问题,并逐一分析了问题产生的原因及其危害,最后在上述
1997年3月26日,我县东辛店乡姜家村发生一起婚宴食物中毒,调查证实为鼠伤寒沙门氏菌污染豆腐皮所引起.报告如下: 1 中毒发生经过3月26日,姜家村村民姜××举办结婚宴席,上午9
针对Web服务的可信性缺乏有效度量方法的问题,引用本体的基本思想和主要理论对Web服务进行统一的语义描述和建模,提出了可信Web服务的度量模型(MM-TWS),建立了面向本体的可信
基于Shamir门限方案和ElGamal密码体制，提出了一种基于树状结构的密钥托管方案。在该方案中，一组用户只需一个公共会话密钥即可进行秘密通信，该密钥使用一个基于ElGamal密码
随着中国经济水平和国际地位的不断提高,全球“汉语热”持续升温,这极大地促进了海外汉语培训市场的发展.为详细分析该行业的发展情况,本文主要从消费者行为的角度出发,对辅
随着COM构件技术的广泛使用，COM构件暴露出越来越多的缓冲区溢出安全漏洞。为进一步提高COM构件的安全性，本文设计实现了COM构件栈缓冲区溢出漏洞检测系统CSDS(component s
进入新世纪,越来越多的日资企业在华投资设厂,而日资企业内部的跨文化管理问题作为经营的关键问题也日渐突显出来.本文以对苏州某日资企业及广州某日资企业所进行的实地走访
近年来,房地产企业在城镇化规模不断扩张的背景下获得了很多的发展机会和发展空间,但与此同时,房地产行业内的竞争也变得越发激烈.财务成本管理作为企业经营管理的重要一环,