【摘 要】
：
介绍了关于安全操作系统的一个重要问题——隐蔽通道的标识。针对某些操作系统规范的分析资源不易获得、及时性差的问题,以及隐蔽通道传统的标识方法工作量过大、标识隐蔽通
【机 构】
：
北京工业大学 电子信息与控制工程学院 北京 100022
【出 处】
：
中国电子学会第十二届全国青年学术年会
论文部分内容阅读
介绍了关于安全操作系统的一个重要问题——隐蔽通道的标识。针对某些操作系统规范的分析资源不易获得、及时性差的问题,以及隐蔽通道传统的标识方法工作量过大、标识隐蔽通道效率低等问题,给出了采用共享资源矩阵法对操作系统描述性顶层规范(DTLS)进行分析的标识方法。其特点是描述性顶层规范越详细,隐蔽通道标识的效率就越高,有效地减小了隐蔽通标识的工作量,提高了标识效率,并解决了分析资源不易获得、及时性差带来的隐蔽通道标识困难的问题。
其他文献
运用复变函数的分式线性变换,通过拉普拉斯方程和电势梯度公式,计算出横截面为偏心圆柱形电容器的电场强度.
[目的]研究1.5+10HMW-GS及亚基组合对小麦主要品质性状和产量的影响。[方法]选用一份含1.5+10高分子量谷蛋白新亚基的人工合成六倍体小麦Syn-CD780,与一个含2+12的栽培品种CY
本文从农业肥料资源应用的节本增效的概念出发,综述了国内外缓/控释肥料的发展、研究现状及对不同作物的应用研究现状,着重讨论了缓/控释肥料研究应用于玉米高产的重要性和必
马铃薯是重要的粮菜饲兼用作物和工业原料作物,营养丰富,被誉为"地下苹果"和"第二面包",增产增收潜力大,科技含量高,产业链条长,是现代农业的示范作物。内蒙古是我国马铃薯的
针对珐菲亚引种南宁后地上部易旺长、倒伏,根冠比小,经济系数低等表现,设叶面喷施多效唑(PP333):[1]200mg·L(A处理)、[2]250mg·L(B处理)、[3]300mg·L(C处理)、[4]350mg·L
滇重楼(P. polyphylla var. yunnanensis)是中国传统药用植物,多年生草本植物。很多研究已经证明,植物内生菌在植物次生代谢过程中起着十分关键的作用。鉴于此,本研究利用栽
落叶大乔木,高25￣40m。干耸直,皮层厚,韧皮纤维发达,具板根和短粗的圆锥状皮刺;大枝轮生,近平展,树冠广伞形。叶互生,掌状复叶,小叶5￣7片,长椭圆形或长椭圆状披针形,长10￣20cm,
接纳控制(AC)在宽带无线接入(BWA)服务质量(QoS)中起着非常重要的作用。针对无线城域网IEEE802.16复杂的QoS定义,该文提出了统一的基于收益率的自适应概率接纳控制算法UAC和
种子是蔬菜产业的基本要素,优良品种是蔬菜生产中最重要、最有效的生产资料,是提高蔬菜产品质量和效益的关键因素。蔬菜是我省农业的优势主导产业之一,目前年播种面积达1800
目的 探讨 +GZ应激对麻醉犬血液和心肌组织中神经肽 Y(NPY)、降钙素基因相关肽(CGRP)含量的影响。 方法 10只麻醉犬分为两组 :实验组 (7例 )和对照组 (3例 )。实验组均经