【摘 要】
：
为获取系统运行时安全态势的完整性,在现有的信息安全态势评估指标体系中引入了业务效能指标,提出了一种混合指标的信息系统安全态势评估方法.该方法包含2个部分:基于Q.S模型构建系统业务效能指标,其中包含实数型、区间型和语言型数据,通过BECM方法获得系统的业务效能指数;系统的安全风险态势、稳定性态势等属性具有不可比较性,是导致系统整体安全态势不确定性的重要因素,针对这一问题,应用格蕴涵代数的语言值综合
【机 构】
：
西南交通大学智能控制开发中心,成都610031;四川省信息安全测评中心,成都610017 西南交通
【出 处】
：
第八届信息安全漏洞分析与风险评估大会
论文部分内容阅读
为获取系统运行时安全态势的完整性,在现有的信息安全态势评估指标体系中引入了业务效能指标,提出了一种混合指标的信息系统安全态势评估方法.该方法包含2个部分:基于Q.S模型构建系统业务效能指标,其中包含实数型、区间型和语言型数据,通过BECM方法获得系统的业务效能指数;系统的安全风险态势、稳定性态势等属性具有不可比较性,是导致系统整体安全态势不确定性的重要因素,针对这一问题,应用格蕴涵代数的语言值综合评价模型,对本文构建的指标体系进行评价,从而得到完整的信息系统安全态势.示例说明了该方法具有直观可信的态势评估结果,有利于决策分析.
其他文献
通过流变仪、静态、动态热稳定实验等试验,比较了铅盐复合稳定剂、有机锡和有机复合稳定剂TF-790KX(含有机碱化合物)体系对未增塑聚氯乙烯(PVC-U)型材的塑化、静态受热变色、二辊动态拉片变色和热分解以及型材的物理机械性能的实验,结果表明:有机复合稳定剂TF-790KX产品是一种可用于PVC-U型材性价比理想的环保稳定剂.
以壳聚糖(CS)为基体,引入聚乙烯基吡咯烷(PVP)和聚乙烯醇(PVA),以戊二醛为交联剂,硝酸铈铵为引发剂,采用微波辐射制备了具有环境敏感型的CS/PVP/PVA三元智能水凝胶,并考察了制备条件对凝胶溶胀性能影响.结果表明,当PVP.CS=2:1、引发剂用量5.14wt.％、交联剂用量1.2wt.％、320W,40s的条件下,可制备出理想的三元凝胶.在45℃、pH=7的溶液中可达到最大溶胀率,约
采用乳液法制备了一种改性的高岭土复合粒子,再将该复合粒子与PVC共混,研究了改性高岭土的用量对PVC复合材料力学性能,毛细管流变性能,耐热性能等的影响.结果表明,改性高岭土复合粒子的用量为8phr时,该复合体系的抗冲击性能最好;随着聚合物改性高岭土份数的增加,PVC复合体系的加工流变逐渐变差,但其耐热性能有所提高.
塑料草坪是一种美观高档的防滑、防污铺地材料.大连塑料研究所有限公司10年前即开始研制,于2007年申请国家发明专利,并于2011年获得国家发明专利证书(ZL 2007 1 0012454.0).它美观持久,草丝不易脱落,塑料底基不易撕裂、不易变形,防污阻燃,易排水,易清洁,易保养,草面逼真,环保无毒,耐磨性良好.它独特的设计还能有效清除附在鞋底的灰尘及污物,并且其色彩的多样性能为设计师和物业管理人
研制了具有高压高冷却速率的直接加压聚合物PVT特性测试装置.对该装置的测试性能以及压力、冷却速率等参数对聚合物PVT特性的影响进行实验研究.结果表明:该装置的重复精度为0.14％,实验数据与Tait方程拟合数据相关性系数为0.9987;比容积V的转变点温度随冷却速率的增大而降低,随压力的提高而变大.
本文对ABS常用的四种润滑剂进行了研究,对其红外光谱、转矩流变性能、熔点和耐热性能进行了对比分析,结果表明:EBS和YY-502A的极性较强,对ABs具有良好的内润滑性能,可用于ABS改性塑料和色母粒的分散润滑助剂;YY-502A具有双熔点特点,比单一熔点EBS具有更好的颜料分散和预处理功能,同时克服了低熔点润滑剂在加工初期出现润滑过渡的问题;YY-502A的耐热性能优于EBS和5502,是ABS
以闽旋公司自有产品为基础,针对塑料加工业对旋转接头的广泛应用需求,研发设计专用旋转接头.本文详细介绍了旋转接头的结构、工作原理、分类及性能特点等,并通过在塑料加工生产设备中的应用,验证塑料加工业用旋转接头在密封性能、节能环保、安全等方面都取得了可喜的效果,可进一步推广产业化.
Android是在移动领域市场占有率最高的操作系统,其开源的系统、海量的应用使得Android的用户量与日俱增,因此Android的安全问题受到业界的高度重视和广泛关注.特别是Android设备上大量涌现的恶意应用,已成为Android生态圈发展所面临的重大问题.本文基于Android4.1.2设计并实现了一个沙盒,能够对Android系统中应用的行为进行动态监视和记录.然后,提出了一种基于行为分
通常程序的不变式验证可转化为不动点求解问题,但直接计算不动点是非常困难的,故验证时态性质p常依赖于找到合适的辅助不变式q,使之满足Reach(M)(∈)[q](∈)[p].本文提出了两种解决方法:(1)基于抽象解释及不动点抽象定理,在抽象域中通过前向或逆向转换求解抽象不动点,并采用widening和narrowing操作加速收敛,从而完成不变式的自动验证.(2)通过Tableau方法构造所验证时态
随着对无线传感器网络的广泛研究与应用,用户对传感器节点的安全性要求日益提高,节点安全模型已经成为无线传感器领域的热点问题之一.由于传统基于密码学的信息安全技术并不能够完美的解决传感器节点面临的安全威胁,信誉系统已经被引入到无线传感器网络中.通常,在信誉系统中,每个节点需要包含一个"看门狗"模块用于对其邻居节点的行为进行记录和评价,这些评价可能被其他节点采用而成为二手信誉信息."看门狗"模块通常能够