会议安排
会议安排技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
会议安排 热门资料
查看全部 500 份 →vtk安装三步曲,最全的VTK安装手册,这个资料很快就会成为vtk研究的朋友手上都有的资料.
vtk安装三步曲,最全的VTK安装手册,这个资料很快就会成为vtk研究的朋友手上都有的资料.
2015-09-26
38
提出了Strand空间模型中证明安全协议的一个新思路
提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实...
2015-11-08
120