安全协议的自动化设计

阐述了安全协议的自动生成-约简-优化模型。在第1阶段，依据系统规范的要求生成候选协议，并用简单的句法约束规则和基于简单冒充的早期删减规则对候选协议进行约简。第2阶段，以串空间理论为依据制定删减规则，对以上候选协议进行进一步的优化，生成符合安全需求的正确协议。     

互联网技术助力的轻量级混合教学模式研究

针对高校非计算机专业的程序设计类课程课时少、内容多、实操强度大和学生专业背景复杂的实情,借助互联网教学工具、学习平台和线上课程,设计一种教师易操作的轻量级混合式翻转课堂教学模式.该模式以面授课堂为重点,线上学习作为辅助手段,采用参与式教学方法,课内既讲重要知识点,又增加交流互动环节,激发学生积极思考和大胆提问.教学实践证明教师可以采用该模式实现个性化教学,教学效果好于传统教学模式,教学方法也得到了学生的认可.     

500kV线路跨越三峡船闸的电场安全

采用模拟试验的方法 ,对三峡电站 5 0 0 k V出线架空跨越永久船闸时对过闸船闸的工频电场及安全问题进行模拟试验分析并与有关标准或规范规定进行了比较 ,结果表明所测场强符合国内外有关标准要求。     

一种应用于电力企业网的网关实时反病毒系统

计算机病毒已成为影响和破坏电力企业网络系统安全的最大威胁之一。文中分析了电力企业网络中存在的病毒问题，并提出了一种基于网关的实时反病毒系统，介绍了系统的功能设计及其实现。该系统与网络防火墙并行工作，将防火墙技术与反病毒技术有效地结合起来，有力地保障了电力企业网络系统的安全。     

一种Internet协作工具——Web浏览器同步

介绍了一种新的Ｉｎｔｅｒｎｅｔ协作工具－－Ｗｅｂ浏览器同步，给出了基于Ｊａｖａ的实现方案。     

基于PSO及SA的高维优化方法研究及应用

针对高维优化问题提出基于改进的微粒群及模拟退火方法的SA-PSO算法.算法引入了随机选择、小邻域赋值、极值扰动,以及渐进搜索等策略,能有效解决微粒规模与优化问题维数之问的矛盾,加快收敛速度并防止陷人局部最优解.经实例应用检验,SA-PSO算法能够达到预期的效果,开辟了求解高维优化问题的新途径.     

一种针对TPM的抗重放攻击方案

可信平台模块（Trusted Platform Module,TPM）是可信计算技术的核心。可信计算平台需要TPM的可信测量能力、可信存储能力和可信报告能力,向用户证实平台是可信的。然而当前人们主要关心TPM的实现以及其上的应用开发,却很少讨论TPM本身的安全性。这样一方面很难使人们相信TPM本身是安全的,另一方面也不能很好的将TPM应用到安全领域中。对用户和TPM交互时所遵循的重要协议——对象无关授权协议OIAP进行分析,证明了该协议会受到重放攻击并提出了相应的解决方案。     

一种 Internet 协作工具——Web 浏览器同步

介绍了一种新的Ｉｎｔｅｒｎｅｔ协作工具———Ｗｅｂ浏览器同步，给出了基于Ｊａｖａ的实现方案．