提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。
上传时间： 2015-11-08
上传用户：jeffery
blue space 蓝色空间下载系统精简版---大家分享
上传时间： 2014-01-24
上传用户：璇珠官人
地理信息系统设计ArcView的二次开发.ArcView软件是一套辅助用户组织、维护、显示、分析和传播地图与空间信息的传输工具，它为用户提供了进行空间决策的框架，空间处理能力及建立数学模型
上传时间： 2013-11-29
上传用户：leehom61
雷达对抗原理 赵国庆\Chapter5_radar_duikang_yuanli.rar
标签： radar_duikang_yuanli Chapter 雷达对抗
上传时间： 2014-01-24
上传用户：jennyzai
利用能量均衡法对实测的合成孔径雷达回波数据估计出其多普勒中心
上传时间： 2015-11-09
上传用户：shus521
用InnoSetup编写MSCOMM空间安装包的脚本，此安装包已经在使用了。用winrar压缩的。用winrar就可以解压。Have fun!
上传时间： 2015-11-10
上传用户：jiahao131
InSAR是一种极具潜力的新型空间大地测量方法，但它也有其固有的限制，特别是受到大气层延迟（对流层延迟、电离层延迟等）、卫星轨道误差、地表状况和时变去相关性等影响，很容易导致InSAR图像解释错误，而InSAR数据本身无法解决所存在的上述问题。而GPS可以精密定位，可以较为精确地确定电离层、对流层参数，是当前应用最广泛的一种空间大地测量手段。
上传时间： 2013-12-21
上传用户：ve3344
dft波束形成程序，空间波束形成，在雷达、声纳行业中有广泛应用
上传时间： 2013-12-16
上传用户：qq21508895
时延波束形成，在声纳、雷达等领域有广泛应用，形成空间指向性图并完成空间滤波
上传时间： 2014-08-31
上传用户：diets
GDF4.0标准是电子地图的空间数据标准，是国标《导航地理数据模型及交换格式》的原型
上传时间： 2015-11-11
上传用户：佳期如梦
