论文部分内容阅读
对ＢＬＰ模型下的Ｔｏｒｊａｎ Ｈｏｒｓｅ进行分析研究，提出了Ｔｏｒｊａｎ Ｈｏｒｓｅ类侵入机制的理论，并证明了Ｔｏｒｊａｎ Ｈｏｒｓｅ满足ＢＬＰ模型的要求。
基于BLP模型的Torjan Horse类侵入机制的研究
【摘 要】
：
对ＢＬＰ模型下的Ｔｏｒｊａｎ Ｈｏｒｓｅ进行分析研究，提出了Ｔｏｒｊａｎ Ｈｏｒｓｅ类侵入机制的理论，并证明了Ｔｏｒｊａｎ Ｈｏｒｓｅ满足ＢＬＰ模型的要求。
【机 构】
：
西安西北工业大学
【出 处】
：
电光与控制
【发表日期】
：
1997年1期
【基金项目】
：
航空科学基金
其他文献
光栅平视显示器是一般平视显示器功能上的一种延伸，它对提高收音机在夜间和不良气象条件下的能力具有现实意义。本文简明叙述了光栅平视显示器的组成及特点，对样机的主要技术进
随着新课程的不断改革,对英语教学提出了更新更高的要求,要求教师加强对学生主题情感的重视,合理地运用现代信息技术为学生营建更多丰富的、生动欢快的语言情境,逐渐丰富课堂
下法在虚证中运用体会赵光明（江苏省泰兴市中医院泰兴２２５４００）关键词虚证肺痨紫斑胸痹肺胀下法通腑泻下法不仅在急、重、危、实证治疗中起着重要作用，而且在治疗虚证方面也广泛运用。医
上海日本人居留民的子弟教育陈祖恩日本人进入上海发展自己的事业是伴随明治维新的发端和中日通商条约的签订而开始的。从１８７０年的最初７人至太平洋战争爆发后的超过１０万人，日本人在上
小学英语是英语教学体系中的重要组成部分,对于如何构建一个愉快的学习环境是摆在教师面前的首要问题,想要构建愉快的学习氛围就要改变传统的教学方法,新的教学方法对学生学
通过对数字图像功率谱的分析，建立了一种图像清晰度评价方法。该评价方法利用了任意图像的功率谱不变性，从而可以对任意图像进行清晰度评价。该方法结合了人眼的视觉特性，从而使
目的:探讨食管癌术后发生呼吸衰竭（respiratory failure,RF）的主要危险因素,作为临床指导依据从而针对性地预防其发生。方法:将已行食管癌手术的170例患者分为术后发生呼衰的31
在信息化的现代社会中,随着计算机技术快速发展,互联网技术也日新月异。这些技术给人们的生活方式也带来了重大的变革。然而互联网技术在给人们带来巨大便利的同时,也给人们
设计说明:该折叠电动车整车造型体现灵活和简约,外形小巧,易折叠,便于携带,座椅底部设计舒适的减振结构给使用者带来良好的骑行体验。座椅与车身形成三角形,使车身更加稳固。
期刊
21世纪科学技术迅猛发展,计算机技术、通信技术被引入众多行业领域,传统模式被颠覆,行业信息化建设稳步推进。医院作为关乎人们日常生活和健康的重要行业,实现数字化医院是现