基于故障传播模型的硬件安全性与可靠性验证方法

大规模集成电路正面临着诸如设计脆弱性、侧信道、硬件木马等安全漏洞的威胁。传统的功能测试验证方法无法遍历所有的输入空间,同样无法检测侧信道安全漏洞。现有的形式化验证方法关注硬件设计的等价性和功能的正确性,难以满足安全性和可靠性验证需求。研究面向安全性和可靠性验证的形式化模型,形成有效的硬件安全性与可靠性形式化验证方法。该方法能够从门级对集成电路进行建模,生成细粒度的形式化模型,实现对安全性与可靠性的形式化验证,可以捕捉硬件设计中潜在的安全隐患。实验结果表明该验证方法对硬件设计中存在的侧信道和硬件木马导致的信息泄露和篡改有很好的检测效果。

基于门级信息流追踪技术的逻辑混淆攻击方法

逻辑混淆技术是一种实现知识产权保护、防止逆向工程的主流技术手段。提出了基于门级信息流追踪技术的逻辑混淆攻击方法,采用门级抽象层次上的信息流分析方法,建立信息流模型,对输出及其污染标签进行约束,使用SAT求解器求解满足约束条件的混淆密钥序列。实验结果表明该攻击方法对5种混淆加密算法、2种面积开销生成的测试基准有很好的破解效果和效率。

基于多人网络层次分析法的商业银行网络安全评估模型

针对商业银行网络安全评估指标之间的相互依赖特性,提出一种基于网络层次分析法的多人风险评估模型。该模型首先利用网络层次分析法得出个体网络安全评估风险指数,并利用加权欧氏距离的双层多目标规划模型集结个体专家的决策结果。仿真实验通过对四家案例银行计算机网络安全风险进行评估,结果显示本模型的评估结果比个体评估更具有可信度。

基于WDM的设备驱动程序设计

介绍了Windows 2 0 0 0下用WDM开发设备驱动程序的一种基本设计方法 ,并以Printer 82 0热敏打印机为例 ,给出了驱动入口点、创建和删除设备、硬件资源分配和访问、I/O队列处理、中断处理、Win32应用程序接口等的具体实现。最终实现了打印机的实时连续快速绘图处理。

基于灰色语言变量的移动银行网络安全风险评估方法

针对移动银行网络安全风险评估问题,提出一种灰色加性语言有序加权平均算子的网络安全多人评估模型。首先在灰色模糊数中将语言变量融入其模部形成灰色语言变量,在此基础上界定了灰色加性语言变量间的运算法则、可能度以及几种灰色加性语言信息集成算子,最后构建了移动银行网络安全多人评估模型。仿真示例验证了模型的可行性。

基于灰色加性语言变量和灰色关联分析的网络安全风险评估方法

提出一种基于灰色加性语言变量和灰色关联分析的网络安全多人评估模型。首先在灰色模糊数中将语言变量融入其模部形成灰色语言变量,并界定灰色加性语言变量间的运算法则及其距离公式,在此基础上利用灰色关联分析构建网络安全多人评估模型。仿真示例验证了模型的可行性。

网络存储构架发展

分析了网络存储的作用,并从网络存储构架发展的角度讨论了以服务器为中心的构架和以网络为中心的构架及其对应的实现技术———DAS,NAS和SAN。根据当今技术发展的主流,重点分析了NAS和SAN的技术特点和应用。

分布式计算环境下的入侵检测数据分类研究

为了有效处理迅速增长的海量信息数据安全问题,在Hadoop云计算平台上,应用朴素贝叶斯算法和Logistic回归算法对入侵检测大数据进行并行计算分析。实验在伪分布模式和分布模式下进行计算,结果表明2种算法分类准确率均超过90%,Logistic回归算法比朴素贝叶斯算法运行时间更长;集群环境下运行的朴素贝叶斯算法可以有效降低运行时间。综合算法运行时间和分类准确率等因素,朴素贝叶斯算法比Logistic回归算法更能有效处理入侵检测大数据;并行计算下朴素贝叶斯算法可以有效分析入侵检测大数据。

基于虚拟机技术的网络安全实验教学研究

本文针对网络安全技术课程中的实验教学进行了研究。探讨当前网络安全实验教学中的问题,提出了利用虚拟机技术改进网络安全实验的思路。文中总结了VMware的特点,设计出了基于虚拟机技术的网络安全实验拓扑,并在拓扑的基础上例举了网络安全实验项目的实施。

基于不确定语言变量的网络安全风险评估方法

提出一种基于灰色不确定语言优先平均算子的网络安全多人评估模型。首先在灰色模糊数中将不确定语言变量融入其模部形成灰色不确定语言变量,并界定了灰色不确定语言变量的运算法则和灰色不确定语言优先平均算子,在此基础上构建了计算机网络安全多人评估模型,并将该模型应用于仿真算例。

基于GA与BP神经网络的网络入侵检测组合模型研究

针对入侵检测系统产生的高维数据的处理问题,提出基于GA与BP神经网络的入侵检测组合模型进行特征选择。为了优化入侵检测分类算法,利用遗传算法适合复杂系统优化的特点,去除入侵检测数据多维特征属性中的冗余部分,将入侵检测数据特征属性对应到染色体,BP神经网络的分类准确率作为种群个体的适应度值,通过遗传算法的全局搜索能力,找出对分类算法最有影响的特征属性组合,从而达到降维的目的。采用KDD99数据集进行分析,实验表明,经过组合算法特征选择的数据能在分类正确率、运算时间、运算稳定性等方面取得更优的效果。

僵尸网络传播模式分析和防治对策

僵尸网络在最近几年对网络安全产生了巨大的影响,严重威胁到用户的信息安全。僵尸网络由控制者利用控制协议对成千上万的僵尸主机进行控制,实施各种网络安全攻击。文章对僵尸网络的基本工作原理进行说明,对僵尸网络的传播模式进行了分析,并在此基础上提出了相应的防治对策。

基于Winpcap的数据包发生器的设计与实现

数据包发生器被广泛地应用在多种网络环境下,对于网络测试和网络分析有着重要的作用。Winpcap是功能强大的数据包捕获和网络分析构架。针对这个构架,文章着重分析了数据包构造和数据包发送方法,设计实现了基于Winpcap的数据包发生器。

网络协议双语教学评价指标体系研究

针对网络协议双语教学实际,分析网络协议双语教学模式、教材选取、多媒体课件制作、课程讲授方法、实验项目指导、课程考核等各方面内容,提出网络协议双语教学质量三级评价指标体系,从教师因素、学生因素和教学材料因素3方面构建该指标体系,采用层次分析法得出各个指标的权重。

基于数据挖掘的入侵检测多分类模型研究

入侵检测系统捕获的大量网络数据,需要采取有效的算法进行分类,用以判别数据流是否异常以及所属的攻击类别。为了有效地挖掘出判别数据流的模式与规则,针对入侵检测系统的分类器模型,采用数据挖掘技术中的反向传播神经网络算法、有监督的Kohonen神经网络算法和支持向量机算法进行对比研究。主要分析了各个算法的分类正确率、检测率和误判率。实验使用了KDD99数据集进行多类预测,结果表明,各个算法各有优势。在综合多个因素的情况下,支持向量机具有更好的分类性能。

基于网络的SGX3数控测井系统

概述了采用网络互联的专用数控测井地面系统——SGX3数控测井系统的整体设计思路。SGX3数控测井系统分下位机和上位机部分，两者通过实时网络通信方式进行数据传输。下位机现场测井工作站采用PC-104嵌入式PC，专门负责测井数据的采集。上位机采用PC机，基于Windows平台，专门负责测井数据的分析、显示、打印和存盘等。网络通信通过客户/服务器方式进行。下位机为客户机，上位机为服务器。

移动互联网环境下社会化商务消费者采纳意愿实证研究

随着社会化商务的快速发展,移动社交网络的消费者采纳意愿日益受到学者的重视。基于社会成长理论,本文结合消费者信任构建了社会化商务环境下移动社交网络消费者采纳模型。实证结果表明社会临场感、消费者信任以及网络粘性对消费者移动社交网络采纳意愿具有显著的正向影响,同时消费者信任和社会临场感对网络粘性有显著的正向影响。

一种基于三参数区间灰色语言变量的多属性群决策方法

针对属性值为三参数区间灰色语言变量的不确定型多属性决策问题进行了研究,本文将语言变量和三参数区间数融合,提出了三参数区间灰色语言变量的概念,定义了三参数区间灰色语言变量的运算规则和可能度公式,在此基础上建立了基于投影模型的三参数区间灰色语言变量的多属性群决策方法。最后,通过对移动银行服务质量评估案例验证本模型的有效性。

基于ERFM和二元logistic的商业银行零售客户流失模型研究

本文利用RFM模型和人口统计变量建立了多维商业银行客户流失预测指标,利用二元logistic模型构建商业银行零售客户流失预警模型,结合案例银行进行了实证研究。结果表明:交易频率、最近交易时间、性别、以及年龄对商业银行零售客户流失具有统计学意义,其中交易频率、最近交易时间影响最为显著。

CBL组合仪地面系统的设计

针对一个可进行声波变密度测井的CBL(水泥胶结测井)组合仪设计了一种新的地面系统来取代原AT+数控测井系统。地面系统硬件由信号预处理电路、时序电路、信号分离和分配电路、接口电路、深度处理电路等组成;软件基于Win9x环境开发,采用Delphi和汇编语言混合编程。该地面系统现场实际使用效果良好。