论文部分内容阅读
针对可信应用环境的安全性验证问题,利用通信顺序进程描述系统应具有的无干扰属性,基于强制访问控制机制对系统中的软件包进行标记,并对系统应用流程建模。将该模型输入FDR2中进行实验,结果证明,系统应用在运行过程中达到安全可信状态,可以屏蔽环境中其他应用非预期的干扰。
可信应用环境的安全性验证方法
【摘 要】
：
针对可信应用环境的安全性验证问题,利用通信顺序进程描述系统应具有的无干扰属性,基于强制访问控制机制对系统中的软件包进行标记,并对系统应用流程建模。将该模型输入FDR2
【机 构】
：
海军工程大学电气与信息工程学院,北京工业大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2011年23期
【基金项目】
：
国家“863”计划基金资助重点项目（2009AA01Z437）, 国家“973”计划基金资助项目（2007CB311100）
其他文献
数学概念教学方法众多,研究结论也颇多,笔者结合自身教学经验,提出数学符号视觉下的概念教学方法,形成了“从课前数学概念相关词汇预设,数学词汇有效贯通课堂教学,及数学符号
随着沥青混凝土路面力学-经验设计和分析方法的发展,路面材料参数的研究显得越来越重要。本研究利用MTS材料试验系统对ATPB-25和ATPB-30两种沥青混合料进行了动态模量试验测
最近三十来年,中国画界的展览中,工笔画的势头愈来愈旺。以前水墨大写意一统天下的局面被工笔逐渐渗透,终至今天的两者平分天下,而工笔画且时时有后来居上过半之势。这使得工
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
速写中的那种鲜活性和灵活性是照片无法取代的，速写的过程，是画者和所描绘物体交流的过程，也是自己和自己的作品的对话的过程，速写可以把你一闪即逝的直觉和灵感迅速的以形象化和
根据维吾尔语形态变化丰富的特殊性,搭建一个基于Factored的维汉机器翻译系统,将Factored系统和基于层次短语的Joshua翻译系统以及Moses中基于句法的翻译模型进行系统融合,构
农村信贷是指在中国农村地域范围内,以农村金融组织为中介的货币借贷行为。农村信贷是我国农村金融体系的重要组成部分。本文研究的农村信贷主要以一般的信贷业务分析为主,包
传统Dijkstra算法用于路径诱导会使路网节点的数量增多、搜索范围扩大,从而耗费大量时间和空间,降低停车诱导信息系统（PGIS）的运行效率和实时性。针对城市路网的特定环境和路径
本文在原有理论与研究的基础上,结合中国现有的实际情况,提出了包含社会问题产生、问题捕获、问题闯入、各方博弈以及议题备选等阶段的中国公共政策议程设置的动态实现路径。