基于动态行为和特征模式的异常检测模型

该文针对现有的异常检测方法大多只关注系统调用出现的频率或者局部变化的情况,提出了一种将动态行为和全局特征结合起来的检测模型（DBCPIDS）．文章针对满足支持度要求的系统调用短序列,给出了特征模式的概念,并以此为基础提出了基于改进的隐马尔科夫方法（IHMM）．当利用该模型进行检测时,首先用程序轨迹匹配特征模式,如果不匹配再用IHMM进行检测,从而使得该检测模型充分利用了程序正常运行的全局特征和程序运行期间的局部变化．通过实验表明,利用该模型进行异常检测,具有很高的检测率和较低的误报率．     

网络设备监管系统的设计与实现

网络设备监管是指对IP网络中的关键设备进行实时监控和管理.使网络管理员对网络设备的使用情况有更为深入的了解.在研究分析网络管理协议的基础上论述了基于RMON的网络设备监管系统组成结构和实现原理,同时详细介绍了该系统各主要功能模块的设计与实现.     

基于策略的安全管理研究

为实现集成、协同和统一的安全管理目标,Policy越来越多地应用在安全管理领域。本文考察分析了基于策略的安全管理的四个组成部分：安全策略的语言表示、信息模型、通信协议和体系结构的现状与趋势后,指出其中关键问题是安全策略表示和安全策略在异构环境中的执行。最后,通过开发一个原型系统,探索了对关键问题的解决方案。     

国产Linux和NC在乡镇电子政务中的应用

针对我国乡镇欠发达地区开展电子政务的具体情况,通过对国产Linux和NC的分析,提出了以国产Linux和NC为核心的低成本的电子政务解决方案,并对其在实际应用中的性能进行了测试,证明了方案的可行性,最后介绍了应用所带来的良好效果。     

基于硬件辅助虚拟化技术的反键盘记录器模型

结合已有的键盘记录器,分析了Windows中从用户按键到应用程序处理消息的过程,并针对该过程详细分析了可能出现的安全威胁。在此基础上提出了基于硬件辅助虚拟化的反键盘记录器模型。利用CPU提供的硬件辅助虚拟化技术实现了虚拟机监控器,当获取用户输入时通过在虚拟机监控器中自主处理键盘中断并将读取到的键盘扫描码信息交由受保护的用户线程来保护用户键盘输入的安全。     

班组绩效管理在企业管理中的作用浅析

众所周知,人力资源管理在现代企业管理中发挥着越来越重的作用,作为绩效考核则是人力资源管理中的核心部分,那么可以预知绩效考核在企业管理申的作用.班组是企业中最基本的一个单位,是企业实现各项战略性目标的最基层,可以说班组管理的好坏直接决定着企业能否实现战略目标,班组绩效考核的好坏直接影响着班组管理进而影响企业战略目标实现行.本文阐述了现代班组绩效考核在企业基础管理中的现状和价值.     

固相化克菲尔菌粒共生发酵魔芋飞粉制备高支链氨基酸寡肽的研究

本实验采用经固相化的克菲尔菌粒发酵魔芋飞粉，以淀粉和粗蛋白转化率为优化指标，通过正交试验，得到固相化发酵剂发酵魔芋飞粉的最佳条件：35℃下，接种凝胶珠40粒到发酵基质中，上摇床振荡培养（130r/min）36h。从飞粉发酵乳中分离得到分子量在10000D以下的可溶性肽，再用两步酶解法酶解可溶性肽得到高支链氨基酸寡肽。寡肽用凝胶层析分离，分离后产物由氨基酸自动分析仪分析其成分：寡肽中支链氨基酸的含量为27．52％，达到了支链氨基酸平衡溶液的最适含量（25％～65％）。此工艺为支链氨基酸寡肽的批量生产奠定了坚实基础。     

裂褶菌放大培养条件的研究

以裂褶菌菌丝体和胞外多糖为目标产物,研究了裂褶菌从摇瓶、5L发酵罐至50L发酵罐的放大培养条件.根据单位体积发酵液所消耗的通气功率相等和单位体积发酵液通风量相等的准则,进行了主要控制参数-搅拌转速的理论放大计算,确定了裂褶菌50L发酵罐放大培养的理论搅拌转速为150r/min,通风量为30L/min;通过搅拌转速对菌体和胞外多糖产量影响的研究,确定了在发酵中后期采用阶梯式调整搅拌转速的发酵工艺,成功实现了由摇瓶至50L发酵罐的裂褶菌放大培养,裂褶菌菌丝体和胞外多糖的产量分别由原来的13.25g/L和3.14g/L提高至放大后的17.09g/L和7.74g/L.     

操作系统汇编级形式化设计和验证方法

由于系统的巨大规模,操作系统设计和实现的正确性很难用传统的方法进行描述和验证.在汇编层形式化地对系统模块的功能语义进行建模,提出一种汇编级的系统状态模型,作为汇编语言层设计和验证的纽带.通过定义系统状态模型的合法状态和状态转换函数来建立系统状态模型的论域,并以此来描述汇编层的论域.通过验证汇编层的功能模块的正确性来保证汇编语言层设计的正确性,达到对系统功能实现的正确性验证.同时,使用定理证明工具Isabelle/HOL来形式化地描述这一系统状态模型,基于这一形式化模型,在Isabelle/HOL中验证系统模块的功能语义的正确性.以实现的安全可信OS（verified secure operating system,简称VSOS）为例,阐述了所提出的形式化设计和验证方法,说明了这一方法的可行性.     

基于七号信令的收入保障系统

目前我国电信行业的收入体系是对采集到的交换机原始话单进行计费来实现的,采集点分散、实时性差,交换系统所提供的原始话单接口的复杂多变使得计费收入得不到充分保障.介绍一种基于七号信令的收入保障系统,在信令链路上实时获取话务控制的信令信息,再对信令信息分析处理后形成信令话单,该话单与计费的原始话单的比对和校验来确保计费收入的正确和完备.系统具有实时性高、容量大、可靠性强等特点,有效解决了电信运营商的收入保障问题.