面向递增累积型缺陷的灰盒模糊测试变异优化

大量访问越界、内存耗尽、性能故障等缺陷是输入中有效数据的规模过大,超过临界值引起的.而现有灰盒模糊测试技术中的数据依赖识别和变异优化技术大都针对固定规模输入数据格式,对规模递增输入数据的构造效率不高.为此,针对这类累积型缺陷模糊测试对应的状态特征值最优化问题,提出一种对特征值依赖的输入数据的格式判别和差分变异方法.根据引发特征值最值更新的有效变异的位置分布和发现频次特征,判别待发现缺陷状态优化是否依赖于输入中相关数据规模的增长,将引发最值更新的有效变异内容应用于规模递增输入数据生成,提升该类累积型缺陷的复现和定向测试效率.依据该思想,实现了模糊测试工具Jigsaw,在测评实验数据集上的实验结果表明提出的判别方法能够高效地区分特征值依赖的输入数据组织形式,且提出的差分变异方法显著提升了需要大量输入才能触发累积型缺陷的复现效率.

基于多种同构化变换的SLP向量化方法

超字级并行(superword level parallelism,SLP)是一种面向处理器单指令多数据(single instruction multiple data,SIMD)扩展部件实现程序自动向量化的方法,这种方法被广泛应用于主流编译器中.SLP方法有赖于先找到同构指令序列再对之进行自动向量化.将非同构指令序列等价转为同构指令序列以扩展SLP方法的适用范围是当前研究趋势之一.提出SLP的一种扩展方法──SLP-M向量化方法,引入二元表达式替换同构转换方式,基于条件判断和收益计算的选择,利用多种指令序列同构化转换,将满足特定条件的非同构指令序列转换为同构指令序列,再进一步实施自动向量化,从而提升SLP的适用范围和收益.在LLVM中实现了SLP-M方法,并利用SPEC CPU 2017等标准测试集进行了测试评估.实验结果表明,SLPM方法相比于已有方法在核心函数测试中性能提升了21.8%,在基准测试程序整体测试中性能提升了4.1%.

基于Agent的分布式入侵检测系统模型

提出了一个基于 Agent的分布式入侵检测系统模型框架 .该模型提供了基于网络和基于主机入侵检测部件的接口 ,为不同 Agent的相互协作提供了条件 .在分布式环境中 ,按照系统和网络的异常使用模式的不同特征和环境差异 ,可利用不同的 Agent进行检测 ,各 Agent相互协作 ,检测异常行为 .该模型是一个开放的系统模型 ,具有很好的可扩充性 ,易于加入新的协作主机和入侵检测 Agent,也易于扩充新的入侵检测模式 .它采用没有中心控制模块的并行 Agent检测模式 ,各 Agent之间的协作是通过它们之间的通信来完成的 ,各 Agent之间可以交流可疑信息和进行数据收集 .Agent之间各自独立 ,相互协作 ,合作完成检测任务 .另外 ,模型采用一定的状态检查和验证策略 ,保证了 Agent的自身安全和通信安全 .该模型与特定的系统应用环境无关 ,因此 。

一个基于Unix平台的分布式网络监视器系统

针对监视器应实时、高效的原则 ,详细讨论了基于 U nix系统的 Internet网络监视器的设计方案与实现方法 .由此将整个系统分为 3层 :在底层部分 ,简述了 DL PI接口、STREAM机制 ,详细讨论了线程之间的同步与互斥问题 ;在中层部分 ,为提高系统的性能 ,提出了分布式处理的方案 ,并对该方案实现中的几个关键问题进行了讨论 ,同时为了说明实际效果 ,给出了部分实际运行数据 ;在上层部分 ,采用了 CGI程序的编程技术和基于 WEB用户界面技术 ,另外 ,在客户端加入了身份认证机制 ,以增强系统的安全性 .系统相对于国内外同类系统而言 ,具有在数据处理能力和可扩充性方面的明显优势 .

体力活动对结直肠癌发病影响的重庆地区大样本病例-对照研究

目的研究重庆地区人群结直肠癌发病危险与体力活动之间的关系.方法进行院内病例-对照研究,478名有效病例和838名对照均选自于2002年1月至2004年6月在第三军医大学3所附属医院住院治疗的重庆本地居民患者,并按年龄相差5岁以内、性别和居住地相同的条件进行配对.采用条件逻辑回归方法计算OR值,表示与疾病危险性的关联程度.结果重体力/极重体力劳动使直肠癌的危险显著增加(OR=1.49,95%CI:1.03～2.17),对结肠癌没有显著影响.而每日保持适当的直立活动时间(2～5 h/d)避免久坐(卧)则对直肠癌有显著保护效应 (OR=0.6,95%CI:0.36～0.99).10年前的体重指数、锻炼频率、睡眠时间等因素对直肠癌或结肠癌均无显著影响.结论体力活动程度对结直肠癌尤其是直肠癌的发病可能存在不同影响.

基于信息属性的空间数据安全传输机制研究

空间数据安全分发需要针对空间环境条件变化进行数据安全传输方案优化。以数据质量为核心,基于信息属性对空间数据传输过程进行建模,并提出适应空间环境的数据安全保护策略和方法。设计基于信息属性感知的空间数据安全分发机制。结合数据加密和认证对空间数据安全分发进行优化与评估。对空间数据信息属性及各种约束条件与安全传输机制间的制约规律进行分析,对算法的鲁棒性、可伸缩性和可靠性进行理论分析和仿真验证,并验证安全传输策略和方法的可行性。

乙肝疫苗免疫无(弱)应答原因及对策

乙型肝炎是常见传染病,应用乙肝疫苗是最有效的预防措施。然而,接种疫苗后仍有部分人无免疫应答。本文综述影响机体免疫应答的主要因素:①机体因素,包括性别、年龄、体重,免疫功能低下等;②免疫程序;③乙肝病毒感染;④检测方法与试剂等。应对措施:①增加接种次数;②改变接种途径;③加大接种剂量;④更换疫苗种类等。

针对NIDS的分布式攻击评估技术研究

对网络入侵检测系统本身的一些安全问题，如可靠性和生存健壮性等进行了研究，针对网络入侵检测系统——Snort，利用分布式协同攻击技术对NIDS的可靠性和生存健壮性进行了测试．实验结果显示，当前的NIDS是脆弱的．

天基综合信息系统安全策略设计与验证技术研究

针对天基综合信息系统面临的安全威胁,结合安全需求和约束条件,面向远程空间信息支援任务想定,设计主动可控的安全防护策略规则,并研究安全策略规则的形式化描述方法,进而实现动态可配置的安全策略仿真验证系统,以安全策略规则对安全分发技术的动态部署驱动为例,迭代验证安全策略对安全技术的指导作用。为从策略层面提高天基综合信息系统安全防护部署的可动态配置能力和性能/代价提供解决思路和验证方法。

大肠癌SMAD4基因研究进展

SMAD4是近年来从染色体18q21.1分离出的一个候补肿瘤抑制基因,其编码的蛋白SMAD4参与了转化生长因子β(TGF鄄β)超家族细胞内信号传导过程。SMAD4是信号传递蛋白SMADs的功能活动中心。人大肠癌组织中常有染色体18q21的缺失,其中包括DCC、SMAD4和SMAD2等基因,SMAD4纯合性丢失可能参与了结直肠癌的致癌过程,并在晚期结肠癌生长中起重要作用,为临床肿瘤治疗开辟新的思路。

入侵检测技术研究综述

入侵检测是信息安全保障的关键技术之一。本文综述了入侵检测系统的最新研究进展,包括基本概念、模型、方法等,讨论了该领域尚存在的问题及今后的发展趋势。

网络安全入侵检测:研究综述

入侵检测是近年来网络安全研究的热点 .首先说明入侵检测的必要性 ,并给出入侵检测的概念和模型 ,概述了多种入侵检测方法及体系结构 .最后 ,讨论了该领域当前存在的问题及今后的研究方向 .

一种基于网状关联分析的网络蠕虫预警新方法

通过对网络蠕虫行为模式的分析,提出一种基于网状关联分析的网络蠕虫预警的新方法,并设计了预警算法,建立了网络蠕虫预警模型和基于预警算法的原型系统,最后给出相关实验数据和分析结果。与现有的网络蠕虫检测方法相比校,新方法更加有效,而且能够预警未知的网络蠕虫。

特洛伊木马隐藏技术研究

主要研究Linux环境下的特洛伊木马隐藏技术,提出了协同隐藏思想,并给出木马协同隐藏的形式化模型。针对现有木马对抗实时检测的缺陷和通信隐藏能力的不足,采用实时检测对抗技术和隐蔽通道技术开发了一个内核级木马原型,改进了木马的隐藏能力。通过实验结果分析,这一木马体现了协同隐藏的思想,验证了实时检测对抗技术和网络隐蔽通道技术的有效性。

基于OWL-S的服务发现语义匹配机制

本文提出一种基于OWL-S的语义web服务匹配系统的机制,将语义元素引入UDDI系统中,从而在UD-DI中保存语义信息.系统通过语义服务匹配算法提高web服务匹配的准确度和召回率,并通过数据映射机制保证模型对于当前的服务发现标准UDDI基础架构的兼容以及UDDI标准操作接口的透明性.系统使用本体概念的索引机制提高服务发现的效率.而且,系统在建立和维护索引的过程、或服务的匹配过程中使用近似概念搜寻算法进一步提高本体概念搜寻和服务匹配的效率.

内核级木马隐藏技术研究与实践

文章通过对现有Linux下的内核级木马的隐藏和检测技术的分析研究,讨论了有关的隐藏和检测技术,并在此基础上实现了一个内核级木马。通过实验测试,该木马达到了较好的隐藏效果,可以避过目前大多数检测工具的检测。

后门植入、隐藏与检测技术研究

在对现有后门攻击技术进行研究分析的基础上 ,深入研究了后门的植入方法和隐藏技术并对相应的检测方法进行了讨论。采用相关技术在Linux平台上实现了一个内核级后门代理程序 ,通过实验测试 。

重庆地区人群GSTT1和GSTM1基因多态性与结直肠癌易感性研究

目的 了解谷胱苷肽转硫酶GSTT1和GSTT1基因多态性与结直肠癌易感性的关系。方法 采用多重PCR技术对 82例病例和 82例对照GSTT1、GSTM1基因型进行了检测和分析。结果 GSTM1基因缺失频率在病例组和对照组之间有显著差异 (P <0 .0 1,OR =2 .464 ,95 %CI =1.3 11～ 4.63 3 )。GSTM1和GSTT1基因同时缺失的个体在病例组和对照组之间有差异 (P <0 .0 5 ,OR =2 .476,95 %CI =1.0 46～ 5 .861)。结论 GSTM1基因缺失可能是结直肠癌发生的易感基因型。GSTT1基因单独缺失与结直肠癌发生的危险性不相关 ,但在GSTM1缺失基础上再伴有GSTT1基因缺失的个体 。

重庆地区人群亚甲基四氢叶酸还原酶基因多态性与结直肠癌易感性关系研究

目的 探讨重庆人群亚甲基四氢叶酸还原酶 (Methylenetetrahdrofolatereducatase ,MTHFR)基因多态性与结直肠癌的关系 ,研究叶酸、MTHFR基因多态性以及结直肠癌发生的交互作用。方法 ①用聚合酶链反应限制性片段多态性(PCR RFLP)技术 ,检测 82例结直肠癌患者和 82例正常对照的MTHFR基因多态性。②使用放免方法检测病例及对照血浆中的叶酸含量。结果 ①病例组叶酸水平显著低于对照组。②结直肠癌患者与对照MTHFR突变基因型率分别为 5 6 1%和 5 1 3 %,无统计学差异。结论 叶酸水平与结直肠癌的发生显著相关 ,是结直肠癌发病的保护因素。