【摘 要】
：
本文针对身份与位置分离网络中接入协议的安全问题,提出一种可证明的三元认证接入协议.该协议实现了所有通信实体(终端、接入交换路由器和认证服务器)的双向认证,有效的防止了未授权终端的接入,防止了伪造的认证服务器,以及非法的接入交换路由器.通过BR模型的扩展和性能分析,证明该协议基于BR扩展模型是可证明安全的.
论文部分内容阅读
本文针对身份与位置分离网络中接入协议的安全问题,提出一种可证明的三元认证接入协议.该协议实现了所有通信实体(终端、接入交换路由器和认证服务器)的双向认证,有效的防止了未授权终端的接入,防止了伪造的认证服务器,以及非法的接入交换路由器.通过BR模型的扩展和性能分析,证明该协议基于BR扩展模型是可证明安全的.
其他文献
在复杂的移动平台环境下,负载均衡算法是实现XMPP通信服务器集群前端的负载均衡器的核心问题,及时准确地预测负载情况是实现合理调度分流的前提.本文分析了现有的负载均衡算法存在的问题,针对这些问题提出了针对于移动平台使用XMPP协议服务器端的基于分类回归树CART和KNN结合的预测算法.该方法首先通过动态反馈采集服务器节点的资源信息组成时间序列,对时间序列进行预测计算.然后将服务器节点分区域管理,运用
在高维信号处理中,为了有效地估计信号的角度,提出了基于l1范数的二阶锥规划算法(e1-SVD).该算法将稀疏重构用于目标源测向技术,在窄带信号的模型基础上,引进稀疏域模型,将一个高维信号的角度估计问题抽象成欠定方程组求解问题.经MATLAB仿真验证,与其他最小范数法以及经典MUSIC算法相比,该算法在较大的信噪比范围内都能取得较低的重构误差和较高的成功概率,对相关性较大的信号也能进行识别.这证明了
松节油是来自松树的非木质林产品，是我国的再生性天然优势生物质资源，主要成分是α-蒎烯.由于α-蒎烯具有广泛的生物活性，基于α-蒎烯的生物活性化合物的合成已成为松节油开发利用的重要内容[1-6].本文以从α-蒎烯合成得到的紫苏醛为原料，将其醛基先肟化，再进行O-酰化，合成得到21个未见文献报道的紫苏醛基肟酯化合物3a-3u.初步探讨了合成条件，并采用FT-IR、1H NMR、13C NMR和ESI-
电力通信网承载了大量保障电网稳定运行的关键业务,目前以顺序配置为主的业务路由配置策略可能导致网络风险不均衡.针对以上问题,综合考虑现网的各项参数要求以及业务分布因素,提出了一种基于多蚁群算法的路由配置机制.首先对关键业务路由配置问题建模,定义了通道压力,并构建了通道压力最小化的数学模型.之后结合模型特征利用多蚁群算法进行求解,最后基于现网拓扑结构进行仿真实验.实验结果表明在不同规模的网络中,相对于
随着互联网的快速发展,网页已成为获取信息的主要来源.为了使出版机构能够及时从大量网页中发现所需文献,需要设计能够从HTML页面中自动提取文献信息的算法.为此,本文设计了基于条件随机场的文献记录分析算法:首先,设计了文档对象树的分割算法,通过分割标记将页面数据分成独立的部分,这些数据块由标签和文本序列构成;随后,将该序列作为条件随机场模型的特征向量,建立文献信息标记模型;最后,设计启发式算法,从标记
目前,借助于监控视频实时提取内河船舶运行流量等参数的船舶检测系统得以广泛应用,而传统的视频检测方法往往难以有效区分船体边界,造成检测时颜色、纹理相似的前景和阴影区域相混淆.为此,文中解析了HSV颜色特征和LBP纹理不变性提取阴影的原理,改进了SE-CT阴影去除算法,提出了基于颜色和纹理梯度特征GA-HT梯度填充的船舶阴影去除算法.测试表明,GA-HT算法能很好地去除船舶阴影,提高船舶的匹配跟踪的精
以最小化平均消耗功率为目标,提出了一种具有多媒体服务质量保障的用户调度和功率分配机制.每个用户维持一个用于存储多媒体数据包的播放队列,用户的服务质量要求被刻画成用户播放队列为空的概率,即播放中断的概率.针对无线信道和播放队列长度的动态变化,将用户调度和功率分配刻画成一个带有约束条件的马尔可夫决策问题.为了应对系统难以精确获取信道分布参数的情况,采用Q学习算法求解马尔科夫决策问题,进而提出了一种在线
本文针对云计算环境中任务调度中存在的执行效率低的问题,提出了一种基于改进的DBSCAN聚类算法的云任务调度策略,首先使用改进的DBSCAN聚类算法对云任务进行聚类,然后与已经分类的资源进行匹配,解决资源与任务匹配程度低的问题.实验表明,对任务进行聚类后进行任务调度,任务在终端上的平均执行时间减少了大约35.2％,任务的调度时间也有了明显的减少.
运动船舶尺寸等参数的视频检测中,与船体同步运动的水面拖纹干扰会严重影响检测精度.为此,文中在描述显著性检测机理的基础上,提出了抑制船尾拖纹的船舶显著性视频检测算法:根据颜色对比度直方图得到内河场景的HC显著图;将原图超像素分割成若干子区域,以区域空间位置关系改进HC显著性检测结果得到区域显著图;通过该区域显著图初始化GrabCut算法,迭代分割过程中加入腐蚀膨胀操作来逼近目标边缘,从而提取运动船舶
针对虚拟计算环境中任务具有数量庞大、需求模糊、种类多样等特征,本文通过虚拟计算实验床平台公布的一周数据,提出了一种对任务特征进行聚类的分析模型,通过分析任务特征,从运行需求、服务指标、任务状态与消耗情况等方面进行分析,并基于机器学习理论对任务特征进行聚类研究,经实验结果验证,应用与任务消耗之间的关系不是绝对的.根据不同任务特征进行聚类,其聚类结果也各不相同.此外,取值半径越小,簇类数量越少;当取值