一种改进的IKEv2协议及其形式化验证

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户:long520liang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对IKEv2协议在系统开销和发起方身份保护方面的不足,提出了一种改进协议的方案。新的协议采用基于超椭圆曲线的W eil对技术进行数字签名认证,并且首先认证响应方身份。通过该方案,改进后的协议降低了系统开销,实现了对发起方身份的主动保护。最后,基于应用pi演算的方法对协议进行了建模,并定义和分析了协议的安全属性。结果表明,改进后的协议具有更好的安全性和实用性。
其他文献
提出了一个基于EPON的双向数字CATV网络的QoS构架实现机制,使用基于效用的动态QoS分级组播技术和H.264压缩编码技术来实现VOD的动态带宽分配,保证VOD业务带宽的需求,实现网络资源的高效使用。仿真实验结果显示它比ADSL2+和DOCSIS3.0具有更高的性能价格比。
慢性宫颈炎是妇科疾病中的一种常见病、多发病,该病多因异物刺激、病原体感染等引起,患者常有白带异常、不规则阴道流血、小腹坠痛、腰骶疼痛等症状,严重者可发展为宫颈癌,因
核覆盖算法是一种性能优秀的分类算法,但在拒识点处理方面存在不足。对核覆盖算法的构造过程进行了分析,修改了算法中覆盖半径的选取原则,对拒识样本引入隶属度函数,将算法推广为模糊核覆盖算法。讨论了孤立覆盖对分类器的影响,对覆盖数进行精简,降低计算量。通过实验验证改进算法的性能,并与其他模糊分类方法进行对比。将模糊核覆盖算法应用于垃圾邮件过滤,实验结果表明过滤器的性能得到了有效提高。
为了验证文献中提出的一种基于Logistic强混沌映射和陈氏超混沌系统的图像加密算法的安全性,对其进行了安全性分析,提出了适用于任意大小加密图像的已知明文攻击方法和选择明文攻击方法。同时,指出了原加密算法不安全的根本原因,并给出了提高其安全性的若干建议。
根据无线传感器网络中虚拟骨干节点极易失效的问题,建立了一个具有容错能力的连通支配集。首先提出了一种分布式连通支配集构造算法DACDS;然后在这个算法基础上,根据一般构造容错支配集的规则,提出了容错算法kCDS;最后根据该算法的缺点,对其作了一个改进,并对kCDS和改进kCDS算法进行了仿真。仿真结果表明,改进kCDS算法具有更好的性能。
提出了一种新的基于双线性对的门限秘密分享方案,并对其正确性、安全性和性能进行了分析讨论;该方案将分享者私钥计算和秘密分发过程分离,秘密份额可以重新利用,具有更好的性能,更适合实际应用。
针对大多数基于向量空间模型的中文文本聚类算法存在高维稀疏、忽略词语之间的语义联系、缺少聚簇描述等问题,提出基于语义列表的中文文本聚类算法CTCAUSL(Chinese text clustering algorithm using semantic list)。该算法采用语义列表表示文本,一个文本的语义列表中的词是该文本中出现的词,从而降低了数据维数,且不存在稀疏问题;同时利用词语间的相似度计算解
在图像分割方法中,CV模型可以得到较好的分割结果,但是模型的收敛速度慢。在三维CV模型检测工件裂纹面的过程中,由于三维CT图像数据量比较庞大且三维CV模型本身分割速度慢,使得检测时间比较长。对于这一问题,研究了一种自适应预处理算法。该算法先对体数据进行三个方向投影,再对投影图利用迭代求最佳阈值的阈值分割方法和自适应矩形框来定位缺陷的大致区域。该方法能够自动适应裂纹面形状变化,同时大幅度减少了需要三
以可信计算和可信网络理论为基础,针对工业控制网络的特点构建可信工业控制网络理论架构。重点研究工业控制网络的安全性、可生存性和可控性等重要属性。以半马尔可夫网络流量模型为基础,建立半马尔可夫可信工业控制网络模型,定量分析其性能指标,得出可信度的量化公式。实验结果表明,该模型可行有效,能为可信工业控制网络设计和实现提供相关的理论指导。
针对形变模型方法存在压力太大活动轮廓容易从弱边界处溢出,压力太小则不能推动活动轮廓移动的压力项选择,提出基于双活动轮廓的形变模型。该模型建立内外活动轮廓的对应和约束,根据约束控制内外活动轮廓的演化;并可捕捉凹陷区域边界,且通过内外活动轮廓界定出弱边界区域。