论文部分内容阅读
使用运行模式法对SET支付协议的简化版本即Lu-Smolka协议进行了形式化分析，找到了6种不同的攻击形式，其中4种是新发现的攻击，通过对这6种攻击形式的深入分析和分类，发现了原协议中存在的漏洞，最后对该协议进行了改进，从而有效避免了以上6种攻击，提高了协议的安全性。
SET支付协议的形式化分析与改进
【摘 要】
：
使用运行模式法对SET支付协议的简化版本即Lu-Smolka协议进行了形式化分析，找到了6种不同的攻击形式，其中4种是新发现的攻击，通过对这6种攻击形式的深入分析和分类，发现了原协议
【机 构】
：
中科院研究生院国家计算机网络入侵防范中心,西安电子科技大学ISN国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2006年3期
其他文献
Lyme disease is a tick-borne multisystemic disease with multiple clinical presentations including rheumatological conditions. We present a 12 year old girl comp
黔南罗甸沫阳剖面中二叠世茅口组以海相碳酸盐为主，下部地层中发育风暴岩，露头特征明显，主要以介壳灰岩为识别标志。风暴沉积构造包括底面侵蚀构造、截切构造、波痕层理、递变层
那年他执意要我扶他到清水河边走一走。芳草青青，碧水涟涟，夕阳一片金黄，静静地涂在姥爷满脸干枯的皱纹上。他平静地说：“天国里有‘大同’，神不会亏待我。”半個月后多天后，姥爷溘然长逝。 我的姥爷是个农民，离开人世30多年了。记得我很小的时候，每逢年关，家里总是没吃的，母亲就把我送到姥爷家过年。在我的记忆里，至今保留着姥爷敬神的细节。 姥爷对神十分恭敬。一到腊月，他就倾其积蓄，买来蜡烛、黄纸、香烛等
目的探讨异位妊娠的常见病因及防范措施。方法回顾我院两年来共收治的208例异位妊娠，对其病因作临床分析。从盆腔炎发病史、计划生育手术史及节育环放置等方面作比较。结果近
Objective: The aim of this study was to evaluate cardiovascular involvement in patients with connective tissue diseases. Methods: A total of 99 patients (mean a
研究伊犁盆地阔斯加尔地区含铀层系西山窑组下段的岩性岩相特征，总结其与铀成矿的关系，为该区下一步铀矿地质勘查提供理论依据。根据研究区西山窑组下段岩性特征、二维连井剖面
Mesenteric Panniculitis is a benign fibro-inflammatory process involving adipose tissue of the mesentery. It is characterised by fat necrosis, chronic inflammat
【正】 一、蒙古国家及其对外侵略的开始十三世紀初,在中央亚細亚蒙古諸部落中兴起了一个国家,此后,它在人类大部份地区的历史中起了极深刻的坏作用。蒙古人占据了从呼倫湖伸
To determine which patients with Early Inflammatory Polyarthritis (EIP) with less than a year of evolution of the disease without a definitive diagnosis, progre
1 病例介绍患者,男性,61岁,自觉消化不良伴腹上部肿块渐增大半年,无腹痛、腹泻、黑便,无黄疸,无发热,无消瘦等。查体:腹软,腹上部隆起,触及肿块约35cm×25cm,质软,无压痛,活