论文部分内容阅读
本文分析了简单配对协议中数字比较协议在Just Works模型中的应用,针对其存在的中间人攻击问题,提出了一种新的安全协议,并运用Spi演算对该协议进行了安全性证明,结果表明本文提出的安全协议能够防止中间人攻击。
蓝牙简单配对协议的安全性改进
【摘 要】
：
本文分析了简单配对协议中数字比较协议在Just Works模型中的应用,针对其存在的中间人攻击问题,提出了一种新的安全协议,并运用Spi演算对该协议进行了安全性证明,结果表明本文提出的安全协议能够防止中间人攻击。
【机 构】
：
解放军信息工程大学电子技术学院,河南郑州 450004
【出 处】
：
全国第18届计算机技术与应用学术会议(CACIS)
【发表日期】
：
2007年8期
其他文献
随着交通运输业对GPS监控服务质量要求的不断提高,对GPS系统构架、系统扩展性、系统可维护性等方面提出了更高要求。本文通过对一般GPS车载监控系统的优、缺点进行分析,提出一种新的GPS监控调度和管理系统体系结构及功能设计方法。实践证明,基于新的体系结构和功能设计方法的GPS监控调度和管理系统能够克服一般GPS车载监控系统的不足,满足实际需要。
网格是一个分布式的异构资源环境,对作业提交和调度提出了更高的要求。为了能够实现基于网格的作业提交和跨域调度,采用了结合Globus和Condor的Condor-G技术,介绍了基于Condor-G提交作业和跨域调度的工作原理。并结合燕山大学校园网格,介绍了基于Condor-G和GridPort门户工具包实现统一接口的作业提交和调度策略。
本文分析了web页面冗余问题,对web页面元素的分离进行研究,提出了一种基于页面模板和配置文件的web页面自动生成方法,开发了一个基于该方法的web页面自动生成器作为实现。
在对二进制文件进行处理时,其中的符号表所提供的信息是重定位处理、程序定位等的基础,对于文件链接、程序调试等工作不可或缺。作为二进制文件接口,BFD为GNUBinutils中的各种二进制工具程序提供了有效的符号处理方式。本文首先介绍了不同符号格式的定义,然后分析了符号的读取,尤其是符号格式的转换,这是BFD能够处理多种文件格式中符号信息的关键。接着,分析了符号的生成、写出过程及相关的后端函数。
在菜籽植物油料侧限排油一维冷榨试验基础上,采用半固态饱和物料和滤饼物料物理模型分别建立两个理论压榨比模型,运用粒子群优化计算方法反求压榨系数。模型辩识结果表明:菜籽在压力低于30MPa段为半固态状饱和物理模型,在压力高于30MPa段则为滤饼状物理模型,对整个压榨过程,采用分段计算物理模型可有效提高整体压榨模型精度。
不同于已有的在RGB、HSI彩色空间进行聚类分割的方法,本文提出的算法在主分量分析彩色空间对彩色图像进行自适应聚类分割。首先,对RGB空间的图像进行主分量分析得到主分量分析空间的特征向量。而后,利用上述特征向量对彩色图像进行聚类分割,在聚类过程中,总的类内距离准则用来确定聚类数,一种新的通过分析主分量图像直方图的方法用来选取初始聚类中心。实验结果表明该方法能够有效且自适应地分割彩色图像。
现代社会对于公共安全的要求越来越高,人员密集场合的安全越来越引起关注。面对结构复杂的建筑环境,有效分析和预测人员疏散的性能和后果成为建筑设计和公共管理等领域需要认真面对的重大课题。考虑到疏散仿真作为复杂系统仿真的特点,在以往国内外疏散仿真研究的成果基础上,针对复杂的疏散环境,采用基于空间划分的环境建模方法,利用基于感知的划分准则将疏散环境划分成不同的区域或三维空间,结合人员仿真方法和交互的结构框架
提出了一种适用于机房环境状态监测的层次化传感器网络路由机制,并通过机房环境监测系统给予实现。层次化路由机制满足大规模组网的路由需求,具有较高的扩展性和自组织性。机房环境监测系统以机房内部设备状态监测为核心,通过传感器实现机房内各种环境信息的采集,同时采用无线传输方式将采集到的数据传输到基站,基站通过机房现有的以太网连接到监控中心,并提供异常状态的预警机制.本系统将确保机房正常,持久,稳定,可靠地运
无线传感器网络是由大量的,具有通信与计算能力的微小传感器节点组成。而每个节点都是采用电池供电,能量消耗问题直接影响着网络的生命周期。如何延长网络的生命期越来越成为WSN的一个研究热点。本文从休眠机制、数据融合、冲突避免与纠错及多跳短距离通信等方面,对目前的节省能耗研究成果进行了综述,最后提出了节省能耗所面临的挑战。