论文部分内容阅读
采用消息过滤算法可以在支持对象模型的多级安全系统中实现强制访问控制.但是,这种算法会引入时间隐通道,可能致使机密信息泄露.本文提出并实现了一种可信的控制策略,在消息过滤算法中采用异步消息传递方式消除时间隐通道,并对系统中对象方法的执行进行调度,确保消除时间隐通道不会导致执行结果不正确.
一种消除时间隐通道的方法调用控制策略
【摘 要】
：
采用消息过滤算法可以在支持对象模型的多级安全系统中实现强制访问控制.但是,这种算法会引入时间隐通道,可能致使机密信息泄露.本文提出并实现了一种可信的控制策略,在消息
【机 构】
：
华中科技大学计算机科学与技术学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2005年6期
【基金项目】
：
湖北省科技攻关项目
其他文献
摘 要：随着新课程改革的不断深入，初中英语的教学模式也将进行改革和调整，如何提升初中英语课堂教学的有效性，成了英语教师面临的关键性问题。英语课堂的有效性是指教师采取高效的教学手段促使学生良好的完成教学的三维目标，达到事半功倍的教学效果，其关键在于激发学生的学习兴趣，培养学生的学习动机，最终打造出高效的英语课堂。本文从当下初中英语教课堂的教学现状出发，讨论了新课程改革下打造高效英语课堂的策略，以供参
近来以改良工艺制备的"金花普洱茶"外观有大量金色炫目的"金花"点缀,但其表面金花是不是冠突散囊菌以及这种茶叶的微生物组成谱均亟需评价。因此,以该金花普洱茶为研究对象,
半导体工艺技术的飞速发展促使单芯片内集成有更多的晶体管资源。如何利用丰富的片上资源，已成为处理器体系结构研究的一个重点。本文综述了目前关于十亿晶体管处理器结构的研
目的探讨经皮冠状动脉介入术(PCI)术后病人CYP2C19*2、CYP2C19*3及PON1基因多态性与氯吡格雷血药浓度及疗效的相关性。方法采用定时定量焦磷酸测序技术检测CYP2C19*2、CYP2C1
目的探讨电子纤维支气管镜治疗小儿气管支气管异物的临床效果。方法选取2016年1月至2018年10月安徽医科大学附属安徽省儿童医院收治的气管支气管异物病儿101例,术前均行咪达
摘 要：文章结构应注意以下要素：一、 段落和层次，二、 过渡和照应，三、 开头和结尾，四、 线索和顺序。本文主要从第一个角度，结合文章常见的三种结构方式谈谈论述类文本阅读的解题技巧。 关键词：文本结构;论述类;文本阅读;解题技巧 一、 并列式 波兰尼认为人类的知识有两种：通常被描述为知识的，即以本面文字，图表和数学公式加以表述的，只是一种类型的知识;而未被表述的知识，像我们在做某事的行动中所
摘 要：身兼人文性和工具性于一体的语文学科，除了发展学生的语文素养之外，还要在学习中训练学生正确、科学运用语言的能力，以促进学生口语表达能力的提升。但纵观当今的农村语文教学，学生们的口语表达能力远远落后于教学标准的要求。本文笔者结合自身的教学实践，以小学语文为研究对象，分析了影响农村学生口语表达能力提升的因素，并提出了具体的策略措施，以提高农村小学生的口语表达能力。 关键词：小学语文;农村学生;
<正>由于文化研究类图书的学科性质、研究内容等方面与传统学科判然有别,它在策划方式、策划主体以及读者需求等方面,也反映了当前学术类图书选题策划上的一些新变化。自当代
道路桥梁建设对于一个国家的长远发展来说是必不可少的,质量上乘的道路桥梁建设能够彰显一个国家的生产力水平以及建筑水平。而作为道路桥梁建设的中心问题,道路桥梁沉降路基
随着移动互联网时代的到来,智能手机以迅猛的态势进入大众生活,并逐渐在教育领域普及。如何将智能手机合理地请进课堂、有效地服务教学,已成为亟待研究的重要课题。文章从智