机器证明

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

资源总数
500

机器证明 热门资料

查看全部 500 份 →

介绍了一种应用于风光互补路灯照明系统的新型智能控制器。控制器由主、从两个控制器组成，微处 理器芯片均采用的是PIC16F877；主控制器主要由DC—DC电路、实时时钟电路、充放电保护电路、路灯开关电 路等组成；从控制器由液晶显示以及键盘...

2025-02-24 7 机器证明

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

2015-11-08 120 机器证明