远程证明

远程证明技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

远程证明 热门资料

查看全部 500 份 →

该程序是远程电话控制系统程序，DTMF芯片采用MT8888，单片机采用的是STC公司的89系列的单片机进行的系统开发。软件编译环境为windows下的keil c51系统。

2013-12-26 161 远程证明

提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实...

2015-11-08 120 远程证明