提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。
资源简介：提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思...
上传时间： 2015-11-08
上传用户：jeffery
资源简介：这个是隐markov模型中viterbi算法实现的一个具体实例程序 很好
上传时间： 2015-07-02
上传用户：牛津鞋
资源简介：一种基于蚁群聚类的径向基神经网络 提出了一种基于蚁群聚类算法的径向基神经网络. 利用蚁群算法的并行寻优特征和挥发系 数方法的自适应更改信息量的能力,并以球面聚类的方式确定了径向基神经网络中基函数的位置, 同时通过比较隐层神经元的相似性、合并相似...
上传时间： 2013-12-26
上传用户：wuyuying
资源简介：经网络提出了一种基于蚁群聚类算法的径向基神经网络. 利用蚁群算法的并行寻优特征和挥发系数方法的自适应更改信息量的能力,并以球面聚类的方式确定了径向基神经网络中基函数的位置, 同时通过比较隐层神经元的相似性、合并相似性较为接近的2 个神经元来约简隐...
上传时间： 2014-01-16
上传用户：saharawalker
资源简介：提出了欧氏算法和IDFT相结合的RS码流式解码方案,并在FPGA芯片上予以实现。计算机仿真和实测表明,该方案在GF(28)的符号速率可达50MHz以上,最大延时为640ns,满足了高速宽带无线接入网中抗干扰编译码的需求。
上传时间： 2013-12-08
上传用户：yulg
资源简介：为了降低图像高层语义与低层视觉特征之间的语义差异,本文以对象描述模型为基础,提出利用机器转换模型获取图像高层语义的方法。本方法首先利用图像分割技术对图像进行分割,然后利用机器学习的方法,得到训练样本集中高层语义与分割后低层视觉特征之间的先验概率...
上传时间： 2014-01-04
上传用户：comua
资源简介：提出了装配机器人系统中一种基于视觉引导和超声测距的运动目标跟踪和抓取 方法。介绍了运动目标的跟踪原理，采用图像雅可比矩阵进行机器人运动控制，跟踪运动 的目标。利用视觉引导技术，获取目标在图像平面中的位置与方位，进行平面跟踪，然后 引导超声波...
上传时间： 2014-01-02
上传用户：rocketrevenge
资源简介：单片机复位电路的可靠性设计,介绍了在单片机应用中需要用到的一些比较安全的复位方式
上传时间： 2016-10-28
上传用户：agent
资源简介：本文介绍了子空间模型辨识的多种方法，并对其不同的方法进行了综合的分析，研究，比较。
上传时间： 2017-05-11
上传用户：希酱大魔王
资源简介：本文档很好的阐述了软件开发过程中要注意到的版本控制问题，提出了很好的管理经验，供大家参考
上传时间： 2014-01-25
上传用户：daoxiang126
