会议安全
会议安全技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
会议安全 热门资料
查看全部 500 份 →提出了Strand空间模型中证明安全协议的一个新思路
提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实...
2015-11-08
120
GBT 17963-2000 信息技术 开放系统互连 网络层安全协议.pdf
资料->【B】电子技术->【B6】品质管理->【1】标准规范（国标、行标、安规、规范）->【国标 GB】->GBT 17963-2000 信息技术 开放系统互连 网络层安全协议.pdf
2024-11-14
3