暂无评论
针对协议复合时需要解决的问题,研究提出一种复合协议验证逻辑模型,给出了协议描述、逻辑语法、逻辑语义和相应的证明系统,对协议的秘密性和认证性进行建模,将协议复合分为并行复合和顺序复合,并提出相应的协议复
大多数的认证密钥协商协议没有考虑用户的匿名性,在分析已有MAKAP协议的基础上,提出了一种具有用户匿名性的认证密钥协商协议AKAPA,为用户提供隐私保护。在随机预言机模型下证明其安全性,并就增强的安全
当物联网中存在攻击节点时,目前的研究方法对其无约束作用。为了解决这一问题,提出了一种带惩罚机制的基于重复博弈的入侵检测模型。首先分析节点的本次攻击行为对后续收益的影响,在此基础上建立了一种惩罚机制,通
基于模式匹配的检测方法是目前入侵检测系统的一种重要方法,因此作为模式匹配方法核心的字符串匹配算法直接影响入侵检测系统的性能和效率。在AC算法和WuManber算法的研究基础上,提出了一种新的多模式匹
超宽带系统中一种改进的信道估计方法,李明峰,李有明,文章研究了UWB中的信道估计问题。首先讨论了UWB中的LS和DFT信道估计算法,在此基础上提出一种新的基于UWB信道特性的信道估计方法。和�
WCDMA系统HSDPA中一种新的STTD解调方法,许飞凤,林家儒,本文主要研究了在WCDMA系统HSDPA中空时发送分集(STTD)下如何提高数据传输系统性能的问题。在WCDMA下行链路中,为了提高
DVB-T系统中一种新的信道估计算法,钟立冬,高泽华,本文将一种新的插值算法应用在DVB-T系统的信道估计中,仿真发现其具有良好的性能表现,同时针对DVB-T系统特殊的导频安排,提出了一��
在基于C4.5算法的网络流量分类方法中,网络流量数据量的海量性及其特征的多样性使得决策树的构建速度、分类速度成为评价网络流量分类器的重要标准。在原C4.5算法的基础上提出一种改进的信息熵的计算方法,通
为了迎合目前网格计算对动态、细粒度授权的需求,针对网格资源分层式的组织结构特点,在现有的基于属性的访问控制(ABAC)模型的基础上,提出了一种针对网格资源的ABAC模型Grid_ABAC,并设计了基于
球面离散格网模型单元的面积、形状是否相似关系到模型的精度,因此定量分析单元的几何变形、分布规律等是格网模型建模的重要组成部分。文章通过对基于正八面体和正二十面体球面剖分获得的球面三角单元进行分析,分析
暂无评论