电子证据与反拒认协议及形式化分析
【摘要】反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信
反分析技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
【摘要】反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信
摘 要:该文提出了一种有限反馈条件下的分布式预编码非正交协作分集系统(DP-NOCD)。该系统利用目的端的多天线特性,将中继信号进行预处理后在共享的信道资源上发送,从而同时提高了传统正交协作分集(OCD)系统的频谱效率和可靠性。利用译码转发...
在对具有多路输出的反激变换器进行理论分析的基础上,进行了模型仿真及试验。其结果揭示了由于各路输出时间常数的不同,而导致变换器在连续工作模式下出现假断续状态,此分析结果为反激变换器的输出参数设计提供了很好的依据。
单端反激式变换器变压器工作状态分析摘要 本文对单端反激式功率变换器变压器的工作状态进行了详尽的分析,指出了变压器工作方式对变换器性能的影响,解释了气隙的加入可
资料->【C】嵌入系统->【C5】Matlab仿真->【1】数学建模、系统辨识与系统控制->【系统控制】->反馈控制系统设计与分析??MATLAB语言应用.pdf
利用三元传感器阵消除反射波干扰的新方法, 分析了抵消反射干扰的性能; 推导了消除反射干扰后提取直达信号的表达式; 分析了反射干扰截断误差、随机噪声和直达信号与反射干扰相关程度对恢复直达信号性能的影响;