论文部分内容阅读
在安全数据的通讯中，数据发送和接收的非否认十分重要。文章在克服Needham—Schorder协议缺陷的基础上，提出了一种基于时间戳的改进方案，该方案有效地解决了可信中心的性能瓶颈问题，是一个更为实际的安全协议，此外通过对其进行形式化分析，证明了该协议可以抵抗参加协议各主体的否认攻击。
加入时间因素的Needham—Schorder协议及其形式化分析
【摘 要】
：
在安全数据的通讯中，数据发送和接收的非否认十分重要。文章在克服Needham—Schorder协议缺陷的基础上，提出了一种基于时间戳的改进方案，该方案有效地解决了可信中心的性能瓶颈
【机 构】
：
山东大学网络信息安全研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年36期
其他文献
文章介绍了一种以TMS320F2812为控制核心的励磁控制器，利用其数据处理能力强、片内外设丰富的特点，实现了交流采样、频率测量、移相触发等功能。试验表明，该励磁控制器已达到国
宏病毒是一种在网络上泛滥的脚本病毒，但至今对宏病毒的研究大部分都只停留在对其破坏性和传播性的描述上，很少对其实现原理进行深入剖析，因此往往对各种层出不穷的宏病毒防不胜
造血干细胞移植患者在治疗过程中因接受大剂量化疗有长时间的中性粒细胞减少，缺乏细胞或（和）体液免疫，加上广谱抗生素和静脉插管的应用，使移植患者易并发深部霉菌感染（DFI）。国内尚
目的：探讨p15基因甲基化与多发性骨髓瘤的发生、发展及预后的关系。方法：采用甲基化特异性聚合酶链反应（MSP）研究33例多发性骨髓瘤（MM）及20例对照组的p15基因甲基化情况。结果：33例M
这篇论文介绍一种基于NTRU算法的数字签名方案，该方案安全性取决于从一个非常大的维数格中寻找很短向量的困难性，NTRU数字签名方案具有速度快、占用资源少、产生密钥容易等优点
采购环节纳税筹划的核心是合法地利用相关税收政策设计业务过程，实现为企业减轻税负的目的。继前两期探讨的“利用税收政策设计采购方式”和“加强合同管理规避税收风险”的话
"信托的运用范围可以和人类的想象力媲美".美国信托法专家斯考特的这句名言,一直在全球的信托业界广为流传.这句许所体现出来的信托业的精髓.已于2003年在中国信托业带起创新
该系统针对汽车工业领域的种种特性，在自行开发的汽车车身CAN总线电子控制系统的基础上．以WindowsCE．NET嵌入式操作系统为核心实现了对汽车上电器设备的实时监控与诊断。这种基
虹膜识别技术是一种非侵犯性的身份鉴别技术。论文跟踪研究了虹膜定位算法,针对其局限性,做了改进,提出了虹膜图像平滑的方法,并讨论了几何定位和梯度边缘检测相结合的定位方法,使虹膜定位更加迅速。实验结果表明,该方法提高了虹膜定位的速度,并有良好的鲁棒性。