基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

TMS320C6678的LPI雷达信号检测模型设计

本文围绕低截获概率雷达信号处理的特点和实时性的要求,设计了基于FPGA和DSP传统组合模式的LPI雷达信号检测处理平台。在一款基于Keystone构架的多核DSP处理板上,创新性地运用并行关联流水线体系结构和多层任务调度分配信号处理机制,构建了针对LPI雷达信号从预处理到检测结果输出的一整套信号处理模型。经过仿真实验验证,该信号处理模型适合在低信噪比条件下对LPI雷达信号进行检测,且系统资源分配合理占用逻辑资源少,具有实时检测LPI雷达信号的潜力。     

基于VPN技术构建安全的无线校园网络

随着校园网络规模逐渐扩大,远程用户、远程办公人员、分支机构等不断增多,以及关键业务需求的增加,出现了一种通过公共网络（如Internet）来建立自己专用网络的技术,这种技术在无线校园网中的应用提高了校园网的可管理性、灵活性和安全性。     

网络信息技术在读者服务工作中的应用

本文结合当今图书馆读者服务工作开展现状和自身工作实际,在传统模式基础上提出了网上订单、读者网上留言、图书续借和预约、借书证挂失等新技术的应用,并对短信服务平台、读者书评和博客空间等新的服务模式做了积极探讨。     

画龙还需点睛人——探访人气游戏角色的创造者《莱顿教授与魔神之笛》

一款游戏能否给玩家带来深刻的第一印象,角色是最重要的因素之一,因此创造这些的角色的人设画师就必须起到画龙点睛的作用。本期我们就挑选近期的热门游戏,探访这些作品中的这些“点睛人”。看看这些画师的成长轨迹,对于热爱游戏或者绘画的你,是否会有些启发呢？     

闲话年度沉迷游戏

过去的一年,可以说是游戏丰收的一年,这里面让各位玩家身陷于其中不可自拔的佳作也不在少数。沉迷不需要理由,因为喜爱所以才会去体验,因为游戏出色才值得我们去投入时间与精力。本期就由小编带大家走近那些2009年最受关注的游戏制作人,看看他们在过去的一年都为哪些游戏而沉迷。当然,这次也少不了各位小编的亲身自述。读者不妨跟着我们一起,回顾这些2009年曾给我们留下快乐回忆的游戏,去重温那份感动与兴奋。     

军事帝国加雷玛尔

经历了《最终幻想XⅢ》这道豪华盛宴,相信越来越多的PS3玩家也会对这款同样为系列正统新作、且在今年就能与我们的见面的《最终幻想XⅢ》产生更为强烈的期待吧。作为一款网游,本作必将创造家用机同类游戏的一个全新的高峰,这也是次世代进化的重要方向。这次就让我们一起来分享关于《最终幻想XⅢ》的全新情报吧!     

邪魔院 小编带你走近日本

和往年一样,小九在这里首先要祝所有读者春节快乐。“邪魔院”在新的一年会给大家带来更多与东瀛文化有关的趣闻,栏目的形式与内容也会根据读者要求不断进行调整与尝试,希望各位能踊跃来信提出自己的想法和建议。     

高维进化策略调整神经网络结构和参数

提出一种基于佳点集原理的进化策略用于神经网络结构和参数的调整.为了克服正交设计法的一些不足来处理高维最优化问题,本文采用分步交叉框架,将佳点集技术引入实数域交叉算子增强高维空间的搜索能力.前馈神经网络的隐含节点与连接边数从小逐步递增直至学习效果足够好.通过调整能得到一个部分连接的前馈网络,减少了网络实现的耗费.最后,佳点集进化策略有效应用于生成预测太阳黑子的演化神经网络.实验结果证明了新方法的有效性.