【摘 要】
：
3GPPAKA协议的设计者使用BAN逻辑对协议进行形式化的分析,并生成所有的安全目标已经达到。但是由于BAN逻辑的局限性,设计者并没有找到协议对于重定向攻击和重放攻击的脆弱性
【机 构】
：
中山大学计算机科学系 04硕,广州510275
【出 处】
：
中山大学研究生学刊(自然科学、医学版)
论文部分内容阅读
3GPPAKA协议的设计者使用BAN逻辑对协议进行形式化的分析,并生成所有的安全目标已经达到。但是由于BAN逻辑的局限性,设计者并没有找到协议对于重定向攻击和重放攻击的脆弱性。本文给出基于信仰变化的KG逻辑方法,指出脆弱性所在,并对改进后的协议方案进行验证。
Designers of the 3GPPAKA protocol use BAN logic to formally analyze the protocol and generate all the security goals that have been met. However, because of the limitations of BAN logic, designers did not find the protocol’s vulnerability to redirect attacks and replay attacks. This article gives KG logic method based on belief change, points out the vulnerability, and verifies the improved protocol scheme.
其他文献
十六届五中全会明确指出了新农村建设的指导方针,即:生产发展、生活富裕、乡风文明、村容整洁、管理民主。这对提高广大农民的科学文化素质、职业技能素质和思想道德素质提出
海风,蓝天,旷野。东台市京港镇新曹中学,一所位于田野中的乡村学校里,排球正在飞舞。排球操,排球赛,排球游戏;说排球,写排球,赛排球。排球,在他们心中,是老师,亦是朋友。以排
近一年来我国宽带用户迅猛增长,宽带给家庭用户带来了信息沟通的便利,但是宽带帐号被盗用等安全问题日益突出。黑客盗用宽带帐号进行网上消费,使宽带用户遭受经济损失,也给我
Aim-The presence of esophageal varices has been reported to be a prognostic factor in patients with compensated hepatitis viral C induced cirrhosis. We studied
丧葬意味一个人在这个世界上的最后定格,丧葬仪式的隆重举行寄托了亲人对死者的无限哀思,在封建等级社会丧葬礼仪还起着维护宗法秩序和专制统治的作用。作为皇亲的公主们,其
BACKGROUND:Previous studies indicate that vital capacity in patients with Duchenne muscular dystrophy increases with age when they are under 12 years old, and d
我国成人高等教育在办学体制上的多元化以及办学形式上的多样化造成了招生的无序竞争和管理上的混乱。经济利益最大化驱动下展开的不惜代价、不择手段的生源大战,导致了教学
目的用埃索美拉唑片为基础的三联治疗1周后,能否获得较高的幽门摞杆菌根除率和十二指肠球部溃疡愈合率;同时评估其安全性和耐受性。方法对59例十二指肠球部溃疡伴Hp感染的患
班主任工作是一份综合性非常强的工作,如果多年从事班主任这一工作你将体会到苦、累、酸、甜。当然也有很多老师并没有体会到其中的甜蜜与幸福,那我要说在班主任这支队伍里你
【名师箴言】我们已经探索了基本图形(点、线、面、角、平行线、相交线、三角形)的一些性质,在探索的同时对有关图形性质的认识进行了推理.通过合情推理得到的结论大都是正确