RISC体系结构计算机的中断检测

通过对若干种ＲＩＳＣ体系结构的分析,特别是对Ｓｕｎ４Ｍ体系结构的中断处理机制及其检测技术的分析研究。给出了中断检测的定义,中断检测的内容、中断检测的组成和适用于ＲＩＳＣ体系结构计算机的中断检测程序和中断服务例程的框架性算法,通过计数器／时钟中断检测实例对中断检测机制进行了阐述。     

基于标号变迁系统的测试集自动生成

首先,依据ISO89646的定义,阐述了协议一致性测试的基本概念,然后,介绍标号变迁系统（LTS）的形式化理论的定义和基本性质,利用LTS,给出测试例、测试集以及测试生成的形式化定义,第3,表述了实现关系在测试生成中的地位和作用,定义了输入输出系统,并在输入输出系统以及△变换的基础上引入实现关系ioco,根据实现关系ioco给出了一个测试集自动生成算法,该算法能很好地适用于递归的LTS。     

基于信息流的资产识别及其重要性评估方法研究

信息资产识别及其重要性评估是信息安全风险评估过程中的一个重要环节。文章基于信息流来对以信息处理和信息传递为主的业务流程系统进行资产识别和重要性评估研究。文中首先利用Petri网来分析以信息为处理对象的业务流程系统,识别业务流程中所涉及的信息资产,通过信息传递将不同的信息资产连接起来,这样信息资产就被转化为一个相互连接的有向网络图,然后文章提出FrequencyRank算法并结合信息安全等级保护的内容来对有向网络图中所包含的信息资产节点的重要性进行评估。实验结果表明：文章提出的方案能够准确的计算出信息资产重要性,符合实际的情况。     

一种具有入侵容忍特性的组网方案设计与实现

目前的防火墙系统只能抵御已知的攻击手段，对于新出现和来自于内部网络的方法都无能为力，因此在系统被入侵后，如何仍能对用户提供全部或者部分的服务就成为一个非常重要的问题。该文设计了一种具有容忍特性的组网方案，方案中防火墙将整个网络划分为若干个风险区域，对每个风险区域实行不同的保护，当系统被非法用户入侵时，使威胁仍停留在被入侵的风险区域，其他风险区域仍可以照常提供服务。最后通过仿真及物理实验方法，证明了该方案设计的系统在具有良好的性能及安全特性，并且该方案成本较低，非常适合于中小型企业使用。     

MANET中一种基于多信道的按需路由及其仿真

在移动自组织（Ad hoe）网络多信道环境下，现有路由协议不能充分利用多信道的特点。针对多信道Ad hoe网提出一种新路由协议，使节点对间能互不影响的并发传送数据。以提高网络容量。简单介绍了现有的按需距离矢量路由协议（AODV）及信道分配原理，对此路由协议进行微小修改，通过增加信道索引表项，动态交互信道信息等机制，提出一种多信道按需路由协议AODV—MC，并与现有的按需路由协议进行了相关的对比仿真实验。仿真结果说明。AODV—MC相对其他按需路由协议能更好的适应多信道环境，在网络开销增加极小的情况下。明显地减少了丢包率，提高了网络吞吐量。     

基于模型检查的协议一致性测试套自动生成

提出一种构造完全可执行协议一致性测试套的新方法。该方法分别用Kripke结构和CTL公式来描述协议的EFSM模型和测试套所要满足的控制流和数据流测试覆盖标准，借助模型检查中的例证构造技术生成满足相应覆盖标准的测试套。在此基础上该文给出了测试套优化算法。实验结果表明该方法可行有效。     

协议测试标准TTCN-3的实现

TTCN-3是ITU-T等国际组织制定的用于协议和软件测试的最新标准。通过分析TTCN标准的发展历程。该文比较两种不同的测试实现方法,并详细介绍了以虚拟机方法建立的TTCN-3测试执行系统。该系统突破了目前国内外广泛采用的语言翻译系统的结构,在提高测试效率的同时增强了测试系统的实用性。     

恶意软件动态分析云平台

传统的杀毒软件基于特征码识别的方式有效但具有一定的局限性.使用沙箱动态分析的方法能通过目标软件的行为特征对其恶意属性进行判断,可以同时达到检测恶意软件和帮助分析人员快速分析恶意软件的目的.为了提高沙箱平台分析的易用性和高效性,本文设计并实现了一个恶意软件动态分析云平台,通过分布式的沙箱控制机制,保证沙箱的分析能力以及可扩展性,并可通过对目标软件的分析结果来判断其是否属于恶意软件.实验表明,设计的云沙箱系统能够有效和高效的检测出恶意软件的恶意行为.     

针对云计算IaaS隔离性的测试系统

为解决IaaS云计算隔离性的测试问题,通过分析和总结已有的隔离性的测试方法,设计并实现了针对云计算IaaS基于消息中间件的分布式测试系统.实现时,采用基于消息中间件的分布式架构,并将控制端与测试端独立,降低了耦合性,增强了可扩展性.在OpenStack云计算环境中进行测试,验证了系统设计的可行性.该测试系统适用于云服务安全的其他能力测试.     

商业管理信息系统支撑环境的构建

文章从系统集成的角度,全面分析论证了设计商业管理信息系统的支撑环境时所涉及的实用技术,包括高速以太网配置,基于客户／服务器体系的数据库服务器和数据库管理系统的选型,数据库容错技术,数据分布技术,并给出了具体的实施方案。实际应用证明所提出的技术切实有效,获得了良好的效果。