基于事件逻辑的改进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协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

基于iPhone手机的数字码实时识别与应用

根据苹果手机拍摄防伪标签数字实时识别的需要,针对防伪数字字号较小的因素和苹果手机因拍摄距离的原因造成的图像缩小、数字模糊、背景复杂等问题进行处理,提高识别精度。首先通过人工选取数字码区域,并进行背景数字分离,定位获取数字图像;其次采用灰度化和二值化得到黑白图像;然后通过投影对数字码图像进行分割,并对每个数字图像进行归一化、锐化和细化;基于统计学抽取数字码的特征,采用最近邻域判别函数进行数字码识别,取得很好的识别效果。     

基于指尖触控的互动投影系统

随着人机交互技术的不断发展,互动投影技术的应用逐渐广泛.该技术通过摄像机等传感器技术感知周围场景动态并结合投影的显示功能实现交互的方式,如增强现实、结构光编码、三维重建等.基于触控的互动投影技术在未来的嵌入式人机交互系统中具有广阔的前景.文章基于单目摄像机与投影仪系统实现能够在任意平面徒手触摸的交互.系统的功能主要通过前景区域分割、指尖点的定位以及触摸检测三个步骤来实现.与目前相关领域的研究文献进行的对比实验证明,所提算法在稳定性、准确性以及实时性等方面具有一定优势.     

基于云查杀技术的轻量级局域网信息保护机制研究

文章基于云查杀技术,设计并实现了一个轻量级的局域网信息保护机制。该机制主要围绕局域网内的路由器做安全防护,可以截获试图非法修改路由器配置信息的数据包,弹出相应的提示信息;将网内某台主机作为云检测端,维护一个相关配置信息的数据库(如DNS库,库中维护相应信息的黑名单和白名单),周期性地对网内终端进行扫描,查看每个终端的配置信息,与配置信息数据库中的数据进行比对,并根据规则在需要的情况下对终端做相应的重新配置或向终端用户及管理员发出警告。该机制借鉴了云查杀的理念,将其从公网移植到了局域网,弥补了一般网络入侵检测机制缺乏应用层分析手段的弊端。针对目前家庭路由器用户普遍缺乏安全保护意识,不懂如何进行家庭网络防护的问题,文中机制不需要用户具备信息安全方面知识,对普通用户十分友好,在家庭局域网中具有广阔的应用前景。     

基于分层光流的煤矿井下运动目标跟踪算法

针对煤矿井下视频序列高噪声、运动目标繁多、目标交错等特点,提出了一种基于分层光流法的矿井运动目标跟踪算法。首先对相邻两帧视频序列采用帧差法确定多个初始目标跟踪模版;然后采用SUSAN角点检测提取模版内的特征点;最后运用改进的分层光流法进行目标检测和跟踪,并在跟踪过程中对模版进行更新。该算法实现了煤矿井下多目标运动物体的稳定跟踪,并能解决目标部分遮挡问题。实验和仿真结果证实了该算法的有效性。     

基于MATLAB图像简单处理应用

数字图像处理是一种通过计算机采用一定的算法对图形图像进行处理的技术。数字图像处理技术已经在各个领域上都有了比较广泛的应用,图像处理的信息量很大,对处理速度的要求也比较高。MATLAB强大的运算和图形展示功能,使数字图像处理变得更加的简单和直观。该文介绍如何利用MATLAB及其图像处理工具箱进行图像灰度、亮度、截图和查找边缘效果处理,通过简单的例子来说明利用MATLAB图像处理工具箱及函数进行图像处理的方法。     

基于.NET MVC架构的多媒体教室管理系统的设计与实现

多媒体教室管理是高校现代教育技术管理部门的重要工作之—,为了满足一线教学的顺利进行,其重要性不言而喻。利用Visual Studio2010开发平台和SQL Server2008数据库软件,采用ASP.NET MVC架构设计多媒体教学管理系统,以满足管理部门、教师和学生等用户对多媒体教室信息共享的要求。     

基于邮件系统的智能DNS设计与实现

该文针对国外,或者偏远地区电子邮件访问速度慢的问题,提出了一种基于邮件系统的智能DNS解析。通过阅读mydns软件的源码,在mydns源码的基础上进行修改,利用关系数据库mysql,使得DNS服务器能够智能识别出距离用户物理位置最近的CDN服务器,用户向此服务器提出发送或者接收邮件的请求,从而加快用户发送或者接收邮件的速度,提高用户体验。     

一种使用L2TP协议支持广域网VPN方案的探讨

L2TP提供隧道建立或封装,以及第二层验证。L2TP提供了一种远程接入访问控制的手段,其典型的应用场景是:某公司员工通过PPP拨入公司本地的网络访问服务器(NAS),以此接入公司内部网络,获取IP地址并访问相应权限的网络资源。该文通过分析L2TP协议,给出如何利用广域网在总公司与分支机构之间架设VPN应用的方案。