基于PN码随机化的MSAC攻击防御方法

基于流速率的直序扩频（DSSS）流水印技术在嵌入多比特的水印信息时采用同一伪随机（PN）码,使得已标记数据流具有自相似性,均方自相关（MSAC）攻击通过单条已标记数据流就可检测DSSS流水印的存在性,严重破坏了DSSS流水印的隐蔽性。PN码正交化方法虽可消除已标记数据流的自相关性,进而抵御MSAC攻击的检测,但正交PN码难以生成,应用范围受限。为此,提出基于PN码随机化的MSAC攻击防御方法,在向目标数据流嵌入每个水印位时均采用随机选择的不同长度的PN码进行扩展,使得已嵌入DSSS流水印的数据流速率的均方自相关不再呈现周期性峰值,进而可在MSAC攻击面前保持隐蔽性。理论分析与实验结果表明,基于PN码随机化的MSAC攻击防御方法可有效抵御MSAC攻击的检测,且所采用的PN码易于生成,便于部署和应用。     

混合式学习支撑系统的设计与实现

针对目前高等学校教育的特点,设计并开发一个混合式学习支撑系统,给出其总体架构、概念模型及数据库的设计。该系统结合课堂教学和在线学习优势,既能支持教师教学,又能支持学生自主学习能力和创新能力的培养,可根据学生兴趣和教学资源的形态,自动选择最适合其使用该教学资源的教学策略,提高学习效率。     

高校教学管理系统的UML模型

本文介绍了UML的基本概念、建模过程、以及UML建模的优点,描述了高校教学管理系统的特点以及功能,用一个实例来说明UML在高校教学管理系统开发中的应用,建立了高校教学管理系统中考试成绩管理部分的用例图,类图,顺序图,活动图和部署图。利用UML建模,使得用户和开发人员的沟通更加顺畅,提高了软件开发的效率。     

公司办公自动化系统的分析与设计

本文主要分析与设计XX公司办公自动化系统。首先在确定系统开发任务的基础上,严格按照公司的业务流程使用UML对系统进行了需求分析,接着根据需求对系统进行设计,主要包括基于B/S模式的物理体系结构设计和逻辑设计,其中逻辑设计部分包括系统功能设计,系统的开发架构设计和系统的类结构设计。实践证明,公司办公自动化系统在实际使用中,能够使全国各地的项目组人员方便快捷的共享信息,对数据的采集和信息处理变得更加迅速。它改变了过去复杂、低效的手工办公方式,能够满足高效率处理日常工作的需要,具有较高的实践价值和现实意义。     

基于Hoare逻辑的密码软件形式化验证系统

在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例,对其功能正确性、保险性和信息流安全性进行验证,结果表明,该系统具有较高的自动化水平,可在一定程度上降低形式化验证方法的复杂度。