航空移动自组网中簇间节点密钥协商方案

来源 :计算机科学 | 被引量 : 0次 | 上传用户:xuwei800
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对航空移动自组网高动态和资源受限的特点,提出了一种适用于簇间节点的无证书密钥协商方案,在随机预言机模型下证明了该方案身份认证过程中的签名是存在性不可伪造的,并分析证明了只要每个节点都还存有一个秘密值,那么协商的会话密钥就是安全的。本方案没有使用复杂的双线性对运算、指数运算和求逆运算,经过与其它现有的无证书密钥协商方案比较,本方案的计算复杂度是最低的。
其他文献
将原始图中节点分配到多个分组并根据原始边来确立分组间关系,这样得到的图称作汇总图。汇总图的规模可以由用户设定,用户可以通过浏览小规模的汇总图来获得原始图的相关信息
在2D-3D医学图像配准中,数字影像重建(DRR)的生成与相似性测度是最重要同时也是最耗时的两个配准步骤。针对配准过程中计算量大、耗时长的问题,将模式强度与梯度相结合,简化模
进行遥感图像融合时,全色图像空间信息的保留与多光谱图像光谱信息的保持是相互矛盾的,如何在这对矛盾体中实现最佳的融合效果一直是图像融合领域的研究热点。在IHS变换的基础上,将形态学和Contourlet变换相结合,针对多特征地物遥感图像的融合提出了一种基于图像特征的选择性融合算法。该算法先利用形态学操作将图像的边缘和非边缘信息进行区分,然后对处理后的图像进行Contourlet变换得到一个低频和一系
针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率。
对沈群等提出的同时基于椭圆曲线和因子分解双难题的数字签名方案给出了攻击分析,本文证明椭圆曲线或因子分解难题有一个可求解,则沈群方案可被攻破。同时给出了一个新的基于
以无干扰理论为基础,提出了一种基于污点数据流的软件行为可信分析模型。该模型通过跟踪程序外部输入的污点数据,提取可能引发系统不可信的关键系统调用,并建立污点传播调用序列
汽车电子的开发需要根据特定硬件平台资源情况对基础软件功能进行裁剪,而汽车电子的基础软件模块具有配置需求量大、复杂度高等特点。因此,设计一种具有高可配置性、通用的配
为了改善计算机传统搜索在效率和返回结果上的不足,基于Lucene全文检索高效、准确的特点,采用非结构化文档结构化的思想,提出了文档内容自然分片索引的方法,实现了一个针对本
多核处理器能够提升多线程程序的性能,但早已存在的诸多单线程程序无法从中获益,程序员也习惯于编写单线程程序。自动并行化技术是将单线程程序移植到多核上的重要手段,但是
在P-集合概念的基础上,根据元素迁移的随机性,结合随机P-集合的结构,给出随机P-集合的系统状态函数及状态函数萎缩-扩张定理、状态函数还原定理及状态函数分辨定理,给出系统