提出了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
资源简介:计算机系统虚拟实验(微)汇编系统的开发是在原先网上计算机系统虚拟实验室的基础上提出的一个新课题。它是为了满足让学生更深一步的理解汇编及微汇编语言在计算机硬件系统中的工作原理的需要,而设计的一种将汇编及微汇编指令翻译成机器代码的翻译器 现在市...
上传时间: 2017-01-19
上传用户:维子哥哥
资源简介:<<MATLAB遗传算法工具箱及应用>>介绍了如何在MATLAB中完成遗传算法的应用。遗传算法[Genetic Arithmatic,简称GA]是以自然选择和遗传理论为基础,将生物进化过程中适者生存规则与群体内部染色体的随机信息交换机制相结合的高效全局寻优搜索算法。GA摒弃传统的...
上传时间: 2017-03-09
上传用户:colinal
资源简介:开放数据库互连(ODBC)已经成为Client/Server数据库应用系统中访问远程数据库的一个标准。作为强大的前端开发工具,Visual Basic为开发者提供了多种访问ODBC数据源的途径,如JET数据库引擎、ODBC API函数、RDO接口等。比较而言,直接使用ODBC API函数的编程难度最...
上传时间: 2014-01-04
上传用户:BIBI
资源简介:提出了一种二维小波变换的编码方案:无解压密码
上传时间: 2015-04-11
上传用户:mikesering
资源简介:该程序解决了单片机c语言中时序要求严格的问题,已经调试通过
上传时间: 2014-01-04
上传用户:zq70996813
资源简介:Huffman于1952年提出了这种方法,开始主要用于电报报文的编码,常用的英文字母E,T应该如何编码,不常用的应该如何编码,
上传时间: 2015-07-15
上传用户:kernaling
资源简介:这是java编程中与安全有关的一些小例子,不过是英文的,相信对于英文有一定基础同时想对java安全编程有所了解的初学者有帮助
上传时间: 2015-08-14
上传用户:aa54
资源简介:此文档主要描述了话音呼叫控制中对各状态的控制
上传时间: 2015-09-11
上传用户:agent
资源简介:该源码提供了数据压缩算法中经常需要使用的内存中的位操作常用算法
上传时间: 2015-09-30
上传用户:zsjinju
资源简介:收集了在电子设计中能用到的大多数的计算软件,我相信对大家有很大的好处。
上传时间: 2013-11-26
上传用户:banyou
资源简介:提出了一种基于 JPEG/JPEG2000相结合的医学图像感兴趣区域压缩方法。该方法对在人为选定 医学图像的感兴趣区域采用无损的 JPEG2000压缩 ,而对其他图像区域则采用高压缩比的 JPEG压缩,较好地解决了医学图像的高压缩比和高质量之间的矛盾。
上传时间: 2014-01-01
上传用户:fandeshun
资源简介:简要讲解了一下linux内核中tcpip数据流的走向
上传时间: 2016-02-15
上传用户:shizhanincc
资源简介:java解惑 经典JAVA书籍 详细介绍了在JAVA编程中最容易出现的错误. 值得一读.
上传时间: 2013-12-17
上传用户:784533221
资源简介:这本书讲了如何在vc中开发出漂亮的对话框界面。
上传时间: 2016-03-05
上传用户:yxgi5
资源简介:摘要: 研究了蒙特卡罗仿真原理和仿真结果置信度 结合AWGN(加性白高斯噪声) 信道特点,甄选出3 个合适的 参量,即误码个数、置信概率和仿真结果最大相对误差 提出了AWGN 信道下仿真数据量选取的一般性结论,即误 码个数正比于置信区间上分位点的平方、反比于最...
上传时间: 2016-03-22
上传用户:cylnpy
资源简介:隐式曲面容易生成几何形状, 但是难于绘制。为了解决此缺点, 提出了一种使用 迭代函数系统的点式隐式曲面绘制算法, 它的实现非常简单, 易于编程。
上传时间: 2013-12-27
上传用户:hjshhyy
资源简介:包含了很多DSP编程中要用到的常用函数的代码
上传时间: 2013-12-15
上传用户:xhz1993
资源简介:本文提出了一种对μClinux 进行实时改造的方案,该方案采用双内核机制,借助RTLinux 的实现思想,利用内 核模块的可动态加载技术,对普通μClinux 进行实时性改造。实验表明,该系统实时任务的调度响应和中断延时在微秒级 别,能够满足硬实时系统对时间的限制。
上传时间: 2013-12-06
上传用户:脚趾头
资源简介:文章介绍了在OFDM系统中基于导频的信道估计方法
上传时间: 2016-09-17
上传用户:362279997
资源简介:本文介绍了如何在powerbuilder中实现动态报表的思想,希望对有需要的朋友有所启发
上传时间: 2014-12-08
上传用户:ve3344