论文部分内容阅读
在安全数据的通讯中，数据发送和接收的非否认十分重要。文章在克服Needham—Schorder协议缺陷的基础上，提出了一种基于时间戳的改进方案，该方案有效地解决了可信中心的性能瓶颈问题，是一个更为实际的安全协议，此外通过对其进行形式化分析，证明了该协议可以抵抗参加协议各主体的否认攻击。
加入时间因素的Needham—Schorder协议及其形式化分析
【摘 要】
：
在安全数据的通讯中，数据发送和接收的非否认十分重要。文章在克服Needham—Schorder协议缺陷的基础上，提出了一种基于时间戳的改进方案，该方案有效地解决了可信中心的性能瓶颈
【机 构】
：
山东大学网络信息安全研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年36期
其他文献
文章介绍了一种以TMS320F2812为控制核心的励磁控制器，利用其数据处理能力强、片内外设丰富的特点，实现了交流采样、频率测量、移相触发等功能。试验表明，该励磁控制器已达到国
宏病毒是一种在网络上泛滥的脚本病毒，但至今对宏病毒的研究大部分都只停留在对其破坏性和传播性的描述上，很少对其实现原理进行深入剖析，因此往往对各种层出不穷的宏病毒防不胜
目的：探讨p15基因甲基化与多发性骨髓瘤的发生、发展及预后的关系。方法：采用甲基化特异性聚合酶链反应（MSP）研究33例多发性骨髓瘤（MM）及20例对照组的p15基因甲基化情况。结果：33例M
这篇论文介绍一种基于NTRU算法的数字签名方案，该方案安全性取决于从一个非常大的维数格中寻找很短向量的困难性，NTRU数字签名方案具有速度快、占用资源少、产生密钥容易等优点