【摘 要】
：
根据用户必需的软件中可能隐藏的缺陷或者破坏行为在整个软件中所占比例极低、而当前一般的恶意代码分析技术不适合此类软件的可信度量分析这种情况,提出了理想化的主体行为
【机 构】
：
北京理工大学软件学院,海军航空工程学院电子信息工程系,鲁东大学信息与电气工程学院
【基金项目】
：
中国博士后科学基金项目（20090461461）, 山东省自然科学基金专项（ZR2010FL013）
论文部分内容阅读
根据用户必需的软件中可能隐藏的缺陷或者破坏行为在整个软件中所占比例极低、而当前一般的恶意代码分析技术不适合此类软件的可信度量分析这种情况,提出了理想化的主体行为静态可信的强约束条件,然后结合软件业务流程的确定性、软件代码的可见性以及信息资产风险可评估性,提出了适合工程应用的主体行为静态可信的弱约束条件,并基于主体行为静态可信的弱约束条件构建了模型的实现框架,对用户必需的软件是否将如实地按照用户需求运行进行可信度量,提前确定软件中是否含有对信息系统或信息资产的潜在威胁,以便采取必要的防护措施。
其他文献
随着我国城市化进程的加快,很多办公、休闲娱乐等活动都在室内进行,同时一些退休老人和学校学生几乎都在室内进行学习生活活动,因此室内环境对人们生活的影响越来越大,良好的
在我国倡导全民阅读的时代背景下,高校图书馆阅读推广活动有着重要的现实意义.阅读活动的推广有助于引导学生关注阅读,爱上阅读,形成良好的阅读习惯,促进大学生自身综合素质
<正>在印刷生产中印刷品背面粘脏是经常发生的,当发现不及时还会产生纸与纸之间的粘连,严重影响产品质量,甚至造成废品.因此在印刷生产过程中防止印刷品产生背面粘脏是印刷操
<正>1.过去的十年间,计算机集成制造技术(CIM),即在数字化工作流程中不同生产工序的联接及自动化,精简了制造业的结构并使其效率更高。现在,诸如印刷机自动化之类的技术进步
<正> 在新科技革命蓬勃兴起的当代,计算机技术在印刷领域中的应用是全面的、卓有成效的,它为印刷业带来了巨大的、深刻的变化。单就印刷机的电气控制系统而言,品种越来越多,
<正>凹印图象中的网点丢失是个常见的质量问题.它涉及诸多因素,主要有以下几个:1、印刷压力.印刷压力过小会引起网点丢失;2、承印物表面状况.表面平滑度低的承印物容易引起网
<正>平台式扫描仪是目前应用范围最广的扫描仪.全球市场上销售的主要有AGFA、HP、Lino-type-Hell、MICROTEK、U-MAX、MUSTEK等厂商生产的扫描仪,其中60%以上是台湾品牌、另外
本文主要针对散射矩阵的探头补偿方法进行对比验证,通过电偶极子与实际探头响应常数对待测天线在位于测试系统坐标系原点以及偏离坐标系原点的情况下进行补偿对比,利用等效成
本文以安徽省袁小寨村为例,通过该村家庭农场发展的优势、劣势、机会、威胁等方面,分析该地区家庭农场突破发展的瓶颈.研究发现,袁小寨村在发展家庭农场过程中,具有土地、劳
有人认为学数学是枯燥而艰苦的脑力劳动，实际上数学也蕴含着许多可激发兴趣的因素，教师应努力挖掘这些因素，巧妙地将数学知识融入游戏中。它会将学数学的枯燥变得兴趣盎然，从而明