MANET节点不相交多路径安全源路由协议

多路径路由实现是移动Ad hoc网络(MANET)可靠运行的有效保证.现有MANET节点不相交多路径路由协议主要关注节点不相交多路径的可实现性和效率问题.针对节点不相交多路径路由协议MNDP协议在主动攻击者安全模型中的安全缺陷,提出了可证明安全的MANET节点不相交多路径动态源路由协议--SMNDP协议.SMNDP协议路由请求算法中,建立了中间节点路由请求消息传播策略的检错机制,SMNDP协议路由应答算法中建立了消息防篡改机制和身份认证机制.基于攻陷的网络拓扑模型,扩展了可模糊路由概念,提出了多路径可模糊路由集合概念和节点不相交多路径源路由协议的安全定义,并应用于SMNDP协议的安全分析.SMNDP协议的安全性可以归约为消息认证码和签名机制的安全性.     

802.11i RSN漫游认证协议的分析与设计

根据802．11无线局域网(WLAN)的漫游需求，基于DH交换提出了一种新的漫游认证协议．该协议能够对客户身份进行有效保护，具有在漫游时认证过程对客户透明的特性，减少了认证消息的交互次数，并且具有可证明的安全性和必需的安全性质．协议有效地实现了漫游对协议性能和安全性的要求．     

一种无线Ad hoc网络中恶意程序的传播模型

提出了一种描述无线Ad hoc网络上恶意程序传播的模型,并通过仿真实验研究了恶意程序的传播行为.研究表明,无线Ad hoc网络中恶意程序的传播临界值明显高于Internet中恶意程序的传播临界值,并且恶意程序在无线网络中的传播速度远远低于它在Internet中的传播速度.同时,无线MAC协议的引入会影响恶意程序在Ad hoc网络中的传播特性.     

可生存网络系统的形式化定义

本文从网络系统的可生存需求出发,借鉴了近年来国内外的可生存研究成果,提出了规范化的网络系统的可生存性定义,并给出其形式化的描述及其实现模型,为下一阶段的系统可生存性的定量分析提供统一、规范的可生存性定义。     

基于机器视觉的微型摆轮质量检测系统

摆轮在精密仪器设备中经常使用,其平整度与整个仪器的精密准确性密切相关.传统摆轮检测以人工为主,本文提出一种基于机器视觉的摆轮平整度检测系统,先校正摆轮图像,然后提取其亚像素边缘信息,并通过投影映射精确计算边界信息.系统支持连续采样计算,并以摆轮边缘的动态极差作为零件的合格标准.实验结果表明,该方法实时性好,准确率高,可以满足工业检测需求.     

WAPI实施方案中的密钥协商协议的安全性分析

利用Canetti-Krawczyk模型对WAPI实施方案中的单播密钥协商协议进行了分析,结果表明：如果所采用的椭圆曲线加密方案ECES能够抵抗适应性的选择密文（CCA2）攻击,那么该密钥协商过程就不提供完美前向保密性（PFS）的会话密钥安全（SK-secure）.在协议结束时该认证模型实现了用户STA和接入点AP相互的身份认证.相对于原国家标准,实施方案的安全性有了很大的提高.     

安阳市实行领导包路 大力推行城市管理精细化工作

为切实解决市容市貌整治和日常管理工作中的问题，确保市区主要道路市容市貌整洁、卫生、有序，安阳市城市管理行政执法局加大城市管理力度，实行市局领导班子成员和分局领导班子成员包路制，大力推行城市管理精细化工作。     

关于32维Barnes—Wall格的有效译码算法

本文给出了３２维Ｂａｒｎｅｓ－Ｗａｌｌ格的一个有效的译码算法，该算法将这个格的译码问题率为在ＲＭ（２，５）＝（３２，１６，８）码的修正赋权格子图上求最短路径的问题，该算法在最坏情况下的译码时间复杂性为２２７８３次二元运算，小于Ｆｏｒｎｅｙ给出算法的最坏时间复杂性，此外，该算法结构简单易于实现。     

一种基于移动代理的入侵检测系统模型

提出一种利用IBM Aglet平台构建基于移动代理的分布式入侵检测系统模型，利用移动代理的移动性、灵活性、适应性、跨平台性和代码可重用等特性来克服目前入侵检测系统中存在的效率低、可移植性差、灵活性(包括可调整性、伸缩性和动态重新配置能力)有限和升级能力有限等缺陷。     

宽带无线IP网络安全体系结构模型

由于BWIP网络的非对称性特点,现有ISO/IEC7498-2、IPsec、WAP、3GPP、CDSA等安全体系结构框架都不能完全满足未来BWIP网络的安全需求。提出了一种适合未来BWIP网络的安全体系结构模型,该模型对BWIP网络所涉及的网络管理、安全操作、AAA、PKI、安全策略实施等技术进行了有机集成。给出了BWIP网络安全体系结构流入和流出的详细处理流程,并指出未来BWIP安全体系结构的研究方向。