【摘 要】
：
为避免操作系统中访问控制机制被篡改、旁路,基于微内核多服务器结构设计并实现了安全核,为系统的机密性和完整性提供了保障。微内核结构的简单性和模块化为安全核的形式化验
【基金项目】
：
国家863计划基金项目（2011AA01A202）, 国家自然科学基金项目（61021062）
论文部分内容阅读
为避免操作系统中访问控制机制被篡改、旁路,基于微内核多服务器结构设计并实现了安全核,为系统的机密性和完整性提供了保障。微内核结构的简单性和模块化为安全核的形式化验证奠定了基础。原型系统VTOS的安全核为用户提供多策略的访问控制,通过微内核多服务器结构为安全服务器提供了不可旁路性和完整性保障,确保安全策略的正确实施。
其他文献
【正】 第一,继续“严打”,为发展外向型经济创造良好的社会环境。我市社会治安状况是“基本稳定,相当严峻。”各种犯罪活动和治安问题比较突出,接连不断地发生流氓结伙滋扰,
基于智能的行为选择机制不能满足实现人工生命自主性行为选择的要求。根据情绪是行为活动的组织者的一般心理学理论,情绪就成为解决该问题的一个有效途径。但是,心理学情绪研究结果,尚不能满足实际研究的需要。通过理论分析和实验仿真方法对情绪物理属性,情绪与行为之间关系进行深入研究。通过情绪四维模型与阶跃响应的特征类比分析,获得描述情绪物理属性的阶跃模型,揭示负性情绪相对于正情绪具有反应时间短,存在"超调"特性
【正】 “卖淫”是剥削制度的产物。全国解放后,我国政府明令宣布取缔辱国辱民的娼妓制度,并惩办,改造了一批有罪恶的妓院老板和鸨母,从而使公开卖淫这种腐败的社会现象得以
本文结合县级融媒体中心省级技术平台规范以及县级融媒体中心建设规范,介绍了以大数据分析技术为基础,利用机器学习等技术实现主动式网络安全态势感知的原理和设计范式。结合
<正>本文就中医诊断为“水肿”的30例急、慢性肾炎患者的肾脏超声作一小结,并按中医传统分类与正常组35例作对照,现总结如下:1.一般资料肾性水肿病人30例,按解放军总后卫生部
【正】 目前,各地律师虽已开展了为横向经济联合服务工作,但这项工作还主要是在企业顾问单位范围内进行的,而律师担任企业法律顾问的“覆盖面”很有限。通过对江苏省南京、扬
【正】 国家和法是自原始社会以来就有的,还是随着阶级的产生而产生的?阶级社会作为阶级统治工具的国家和法是不是一种“歪曲的形式?”到了无阶级社会,国家和法是不是要“克
分布式互斥是分布式系统的重要问题。根据树拓扑网络的特点,提出了新型的分布式互斥算法TNDME。算法的运行范围限制在根节点到请求节点之间,采用循径方法生成分布式互斥仲裁集;采用Lamport逻辑时戳保证消息的时序性;算法采用"最大残存树"探测方法进行系统的容错处理。描述了算法的模型、主要思想、数据结构、消息结构以及伪代码,并证明了算法的正确性。理论性能分析与仿真对比证明,算法具有较低的消息复杂度、较
2006年7月1日，由中铁电气化局集团施工总承包的京沪铁路电气化改造工程顺利开通。全长1453．82正线公里繁忙干线的电气化改造工程，施工仅用了一年时间，创造了我国乃至世界铁路建设
【正】 在江南一个风景如画的城市里,某厂有个女工李甲,长得还不错。按说,找个如意的伴侣是不成问题的。可是十九岁的她进厂学徒不久,却偏偏爱上了已有意中人的师傅张乙。经