基于操作语义的时间隐通道分析

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:khl0907
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法。该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等推导规则为基础,以及完整的信息传导操作语义的模型,分析了两个高低安全级进程抽象机状态变化及其状态动态变化序列,最后对可视窗口的分析,可以找到其中存在的时间隐通道。
其他文献
本文对何梁何利基金奖在中国医学科学院医学科研技术发展中的获奖情况进行了调查。分别从培育领军人物、推动学科发展、着力国家战略需求等方面分析了获奖者在医学科学院科技
房地产企业的税款计算和缴纳一直都是实际工作中的重点和难点,企业和税务部门均认为该行业的税款计算过于复杂。同时,房地产企业和税务部门的博弈每天都在精彩上演,导致税款
本文采用叶绿素荧光图像分析手段,研究了土壤干旱对高山嵩草(Kobresia pygmaea)叶片PSII非光化学猝灭中光诱导和非光诱导的量子产量的影响,及其与稳态作用光强的交互效应。结
颜面部烧伤后很容易发生眼睑外翻,主要表现为睑缘和睑结膜受瘢痕挛缩的影响向外翻转,由于眼险闭合不良,眼球经常外露而受刺激,引起眼球充血、异物感、炎症、溢泪、干燥等,严重者可
检验检测行业是服务业的重要组成部分,加强检验检测机构的诚信建设,提高信用水平对提高检验检测活动质量,保障产品质量安全具有积极意义。本文重点研究了质量信用评价在检验
目的:评价义获嘉新一代铸瓷贴面(IPS e.max铸瓷贴面)在前牙美容应用的临床效果。方法:对2007~2008年在我院门诊就诊的45例前牙美容患者,总计180颗患牙行IPS e.max铸瓷贴面美容修复
目的:了解西安市青少年恒牙列单侧后牙反[牙合]的患病情况,为单侧后牙反[牙合]的早期治疗提供依据,并初步探讨单侧后牙反[牙合]与颞下颌关节紊乱症的相关性。方法:对西安市3所
满族拥有悠久的历史和灿烂的文化,满族女性头饰艺术在中国民族头饰文化和女性头饰文化中占有重要的地位,在发展变迁的过程中形成了造型优美、制度完备、工艺精湛的头饰艺术文
目的:总结利用指轴型复合组织瓣修复拇指多指畸形的手术方法。方法:从形态、大小近似的两拇指远端至两指分叉处设计切口线,去除两指相邻的各半侧皮肤软组织及一侧拇指的指骨
预算绩效管理是政府绩效管理的重要组成部分,是财政科学化精细化管理的重要内容。预算绩效管理理念进入我国以来,逐渐为社会各界认同和接受。20世纪80年代,“新公共管理”理