基于切片技术的远程缓冲区溢出攻击检测模型

远程缓冲区溢出漏洞是网络安全领域危害最严重的安全漏洞，提高远程缓冲区溢出攻击防御能力成为安全研究的重要课题。本文提出了一种基于切片技术的远程缓冲区溢出攻击检测模型，给出了模型的架构思想和结构，以及各模块单元的实现技术和方法。最后，通过实验对模型的有效性进行了验证，并对各要素对模型性能的影响进行了客观的分析和评价。     

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

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

电子政务网信息交换共享平台的设计与实现

信息交换和共享是电子政务建设的基础.首先提出了电子政务内网信息交换共享平台的框架,并详细阐述了每部分的作用和功能,最后给出了交换逻辑的实现和系统的集成方式.通过使用个性化的适配器统一实现数据交换业务.电子政务内网信息交换共享平台具有应用范围广泛、融合不同应用系统性强的特点.     

中山大学珠海校区体育馆

正中山大学珠海校区位于珠海市唐家湾地区,经过约10余年时间的建设和发展,珠海校区日趋成熟,但诺大的校园却缺少一个能够为广大师生提供综合性文体活动的场所,亟需建设一个集大型集会、球类运动比赛、演出、多功能会议和学生活动中心功能于一身的多功能体育馆,成为延伸和发展校园文化的载体。珠海校区体育馆的建设就是在这样的背景之下展开的。体育馆建筑总面积约2.5万m2,其中架空层占了相对较大的一个比例,主体共三层,建筑总体高度23.8m,首层主要的功能为室内比赛场、多功能厅、     

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

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

百度翻译和有道翻译API的封装与利用

国内提供在线翻译服务的公司主要有百度和有道,两者均提供了互联网应用编程接口。讨论将这两个接口再封装为一个DLL文件,支持动态链接导出函数和COM两种方式,使得各种编程语言能以更简单、灵活便捷的方式使用这两个API。     

某电气系统电磁抗扰性分析及解决方案

为了查找某电气系统电磁抗扰性薄弱环节,对该电气系统的关键接口电缆进行了电磁兼容性测试.对查找出的薄弱环节,从电磁兼容三要素出发,分析干扰传播路径,对其采取屏蔽、接地加固措施.经试验验证措施有效,达到系统间兼容工作的目的.     

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

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

Windows Rootkit隐藏技术研究

Rootkit是恶意软件用于隐藏自身及其他特定资源和活动的程序集合。该文分析和研究现有的针对Windows系统的代表性Rookit隐藏技术,将其总结为2类：通过修改系统内核对象数据实现隐藏和通过修改程序执行路径实现隐藏。说明并比较了相应的技术原理,展望了Rootkit隐藏技术未来的发展趋势。     

Web服务会话实体认证协议的改进

会话认证协议原型是针对Web服务会话实体通信安全问题而提出的概念模型.从密钥机制、匿名服务实例以及会话管理几个方面分析,协议中存在的安全问题和不足之处,并基于DH算法对协议原型作出了改进和扩展.最后,运用改进后的协议对Web服务会话实体之间的通信和认证进行管理,发现改进后的会话实体认证协议能够使Web服务会话交易过程更加安全.