【摘 要】
：
针对协议复合时需要解决的问题,研究提出一种复合协议验证逻辑模型,给出了协议描述、逻辑语法、逻辑语义和相应的证明系统,对协议的秘密性和认证性进行建模,将协议复合分为并行复合和顺序复合,并提出相应的协议复合定理。最后以IKEv2协议为例进行分析,证明了IKEv2两个分别安全的阶段子协议复合后还是安全的。
【机 构】
：
解放军信息工程大学电子技术学院,91033部队
论文部分内容阅读
针对协议复合时需要解决的问题,研究提出一种复合协议验证逻辑模型,给出了协议描述、逻辑语法、逻辑语义和相应的证明系统,对协议的秘密性和认证性进行建模,将协议复合分为并行复合和顺序复合,并提出相应的协议复合定理。最后以IKEv2协议为例进行分析,证明了IKEv2两个分别安全的阶段子协议复合后还是安全的。
其他文献
针对非线性方程组,给出了一种新的算法——极大熵差分进化混合算法。首先把非线性方程组转换为一个不可微优化问题;然后用一个称之为凝聚函数的光滑函数直接代替不可微的极大值函数,从而可把非线性方程组的求解转换为无约束优化问题,利用差分进化算法对其进行求解。计算结果表明,该算法在求解的准确性和有效性均优于其他算法。
为了提高蚁群化学聚类算法的聚类效果,通过引入径向基核函数改进蚁群化学聚类算法的相似度度量式,提出了核蚁群化学聚类算法。将核蚁群化学聚类算法用于三个标准数据集合,计算结果表明与蚁群化学聚类算法相比,核蚁群化学聚类算法聚类效果提升显著。将核蚁群化学聚类算法、核自组织神经网络映射算法和基于多项式核的结构化有向树数据聚类算法同时用于Iris数据集合,结果显示三种核聚类算法聚类效果相当。
通过高温下的动力学实验对铁粉矿在H2气氛中的闪速还原行为进行了研究.采用XRD、SEM和金相显微镜对反应后铁粉矿的物相组成和单个粉矿颗粒表面及内部微观形貌的演变规律进行
研究多摄像头网络环境下监控视域的最大化问题,进而提出全局性优化的粒子群算法获得最佳结果。研究通过调整摄像头的方向,相较于以往的同类系统进一步综合考虑单个摄像头节点的成像清晰度,以及网络的不同监视区域的重要性,从而提出更加适用更加全面的新模型。在这一新的模型下,定义了新的摄像头网络监视优度概念,基于此建立非线性优化方程。为解决这一非线性最大化问题,提出了采用全局优化方法的思路,并给出了以粒子群优化算
舒乐安定,英文名Surazeamp,又名艾司唑仑(Estazolam),属苯二氮卓类安眠镇静药,临床具有催眠、抗焦虑、抗癫痫等作用。由于该药催眠效果好,起效快,毒性较小,常常被他人用来进
一、案例资料2007年3月4日晚(农历元宵节),林某(男,24岁)在本市郊区某村观看别人燃放烟花时,被人发现倒在人群里,全身是血,后经120抢救无效死亡。
由于传感器自身资源受限,目前采用的主要安全技术是对称密钥与密钥预分配策略。在当前基于对称密钥的动态密钥协商方案中,节点预装入密钥材料,部署后与邻居节点通过共享密钥材料建立配对密钥。为提高动态密钥协商中密钥材料的安全性,在一个典型的动态密钥协商方案,即LBKP方案的研究基础上,提出了一种新的基于边密钥的传感器网络动态密钥协商方案。与LBKP方案相比,该方案有效地减少了内存开销,提高了密钥安全性。
为解决基于椭圆曲线的代理签名方案的安全问题,提出一种改进的抗伪造攻击的代理签名方案。该方案通过改进代理签名私钥生成方式和相应的代理签名验证等式的方法,提高了基于椭圆曲线的代理签名方案的安全性。分析表明,新方案解决了以往方案中存在的原始签名者伪造问题,满足强代理签名方案所必须的六种性质,具有无须安全通道的优点并且更为高效。分析结果说明,新方案比以往方案具有更好的安全性和更高的实用性。
高反应性焦炭可降低高炉热储备区温度,提高高炉冶炼效率.钢渣中有大量的钙和铁,是理想的焦炭气化反应催化剂.在制备高反应性焦炭的过程中,钢渣在配合煤中的粒度和添加量会影