论文部分内容阅读
使用运行模式法对SET支付协议的简化版本即Lu-Smolka协议进行了形式化分析，找到了6种不同的攻击形式，其中4种是新发现的攻击，通过对这6种攻击形式的深入分析和分类，发现了原协议中存在的漏洞，最后对该协议进行了改进，从而有效避免了以上6种攻击，提高了协议的安全性。
SET支付协议的形式化分析与改进
【摘 要】
：
使用运行模式法对SET支付协议的简化版本即Lu-Smolka协议进行了形式化分析，找到了6种不同的攻击形式，其中4种是新发现的攻击，通过对这6种攻击形式的深入分析和分类，发现了原协议
【机 构】
：
中科院研究生院国家计算机网络入侵防范中心,西安电子科技大学ISN国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2006年3期
其他文献
那年他执意要我扶他到清水河边走一走。芳草青青，碧水涟涟，夕阳一片金黄，静静地涂在姥爷满脸干枯的皱纹上。他平静地说：“天国里有‘大同’，神不会亏待我。”半個月后多天后，姥爷溘然长逝。 我的姥爷是个农民，离开人世30多年了。记得我很小的时候，每逢年关，家里总是没吃的，母亲就把我送到姥爷家过年。在我的记忆里，至今保留着姥爷敬神的细节。 姥爷对神十分恭敬。一到腊月，他就倾其积蓄，买来蜡烛、黄纸、香烛等
目的探讨异位妊娠的常见病因及防范措施。方法回顾我院两年来共收治的208例异位妊娠，对其病因作临床分析。从盆腔炎发病史、计划生育手术史及节育环放置等方面作比较。结果近
1 病例介绍患者,男性,61岁,自觉消化不良伴腹上部肿块渐增大半年,无腹痛、腹泻、黑便,无黄疸,无发热,无消瘦等。查体:腹软,腹上部隆起,触及肿块约35cm×25cm,质软,无压痛,活