提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。
上传时间： 2015-11-08
上传用户：jeffery
p2p仿真器。开发者可以工作在覆盖层中进行创造和测试逻辑算法或者创建和测试新的服务。PlanetSim还可以将仿真代码平稳转换为在Internet上的实验代码，模拟器上的分布式服务对结构化的覆盖层协议使用相同API，在模拟器和底层网络上的服务并且对用户是透明的。
上传时间： 2015-11-09
上传用户：eclipse
可爱的小新在屏幕上来回跑动。在跑动过程中，小新有丰富的肢体动作和面部表情哦。
上传时间： 2013-11-25
上传用户：nanshan
可以替换同一目录下文本文件中某一字符串为新串
上传时间： 2015-11-15
上传用户：84425894
这篇文章是对当前IEEE中的最新的无线传感器网络的新发展和新动向进行预测和说明
上传时间： 2013-12-19
上传用户：417313137
Visual Basic 6中发送邮件的新方法 用VB6编写发送邮件的程序，有多种E-mail组件可供选择，如MAPIMessages、IIS4.0附带的CDONTS（NTS Collaboration Data Objects）以及许多第三方厂商开发的Email软件等。本文介绍用CDONTS开发VB下的邮件程序方法。
上传时间： 2014-01-14
上传用户：skhlm
本文首先分析Linux2.6.6内核新特性的基础,探讨对Linux进行实时化和嵌入式化,即通过配置内核,裁减shell和嵌入式C库对系统定制,使整个系统能够存放到容量较小的FLASH中。然后简单介绍了防火墙的概念,深入地分析了Linux2.6.6版新型内核防火墙netfilter框架的工作机制及其实现的方式。
上传时间： 2015-12-07
上传用户：xcy122677
小波去噪,利用小波系数在相邻尺度上的相关性关系,针对小波系数估计中硬阈值方法和软阈值方法的缺点, 通过对双重量收缩函数得到的阈值乘以一个合适系数进行修定的折衷方法,提出了一种新的小波域局部自适应去噪算法.实验结果表明,该方法既可以去除噪声,又可以较好地保留图像的高频细节特征.
上传时间： 2014-09-09
上传用户：zhyiroy
高中数学新课程中有出现线性回归问题，用一般的几何画板等软件很难处理，现在用高等的数学软件Mathcad可以轻松解决问题！
上传时间： 2013-11-28
上传用户：q123321
关于人脸识别的一篇论文.人脸识别系统中的特征提取的一种新方法.
上传时间： 2016-01-10
上传用户：edisonfather
