提出了Strand空间模型中证明安全协议的一个新思路
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的 证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对 Yahalom.BAN协议安全性的证明实...
挤出模技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的 证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对 Yahalom.BAN协议安全性的证明实...
buffer_display是4X4KEYPAD的输出显示模块。可以显示6个连续的按键
控制某型飞机模拟座舱中的Led、继电器、小电流元件,满足易于扩充规模的工程需求,采用充分利用元器件特性的方法,使用一种可扩展数字量输出系统建立开出通道,在电路层预留扩充接口,实现座舱灯光信号、电路状态切换、外部设备数控的功能。
转速传感器信号隔离变送器,正弦波整形 主要特性: >> 转速传感器信号直接输入,整形调理方波信号 >> 200mV峰值微弱信号的放大与整形 >> 正弦波、锯齿波信号输入,方波信号输出 >> 不...
本文提出了有模型指导的三维人体运动跟踪框架,将一个多关节的圆台形状三维人体模型与多个视频图像中的外轮廓、边界、灰度和肤色特征进行匹配,使人体运动跟踪变成一个状态估计问题。并且,使用基于概率模型的粒子滤波算法来完成非线性、非高斯动态系统的状态...