切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于SVO逻辑的3G AKA协议形式化分析
基于SVO逻辑的3G AKA协议形式化分析
来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户:wjz5201
【摘 要】
:
AKA协议是3G通讯中的一个重要安全协议。利用SVO逻辑对该协议进行形式化分析,以期发现其是否存在安全缺陷。运用信息隐藏的方法对该协议的缺陷进行了修正。另外指出SVO逻辑不
【作 者】
:
周鹏
杨世平
时翠梅
【机 构】
:
贵州大学电子科学与信息技术学院,贵州大学明德学院,河北工程大学理学院
【出 处】
:
电脑知识与技术
【发表日期】
:
2008年S2期
【关键词】
:
SVO逻辑
形式化分析
AKA协议
密钥协商
SVO Logical
Formal Analysis
AKA Protocol
key agreement
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
AKA协议是3G通讯中的一个重要安全协议。利用SVO逻辑对该协议进行形式化分析,以期发现其是否存在安全缺陷。运用信息隐藏的方法对该协议的缺陷进行了修正。另外指出SVO逻辑不能分析协议运行中的关键性明文对协议安全性的影响,以及不能分析旁听攻击这两个新的缺陷,并对SVO逻辑进行了扩展。
其他文献
互联网背景下党政机关档案管理策略
随着党政机关事业的不断发展,各类档案资料数量不断增加。要加强对其档案的管理,才能为后续工作提供有效的参考依据。由于档案类型众多,数量庞大,不仅管理人员在开展档案管理
期刊
档案利用者
档案管理
后续工作
党政机关
管理人员
互联网
数据信息化
档案类型
网络拓扑判定的研究
摘要:在大规模网络中如何进行网络拓扑结构的判定是计算机网络研究中的核心问题之一。本文通过对网络上的主机进行单播的测量的研究,来获得网络的逻辑拓扑,并提出网络拓扑判定新算法。本文介绍了基于延时的“三明治”网络测量方案及相关网络拓扑判定方案,在此基础上提出并实现拓扑判定的系统聚类树算法。 关键词:网络拓扑;拓扑判定;系统聚类树 中图分类号:TP393 文献标识码:A 文章编号:1009-304
期刊
网络拓扑
拓扑判定
系统聚类树
network topology
topology identification
system clusterin
tre
我国粮食供求平衡很脆弱
据8月18日报道,国务院发展研究中心农村经济研究部部长韩俊近日在一个论坛上发表演讲指出.中国已经连续6年粮食丰收,但是还应该清醒地看到,中国的粮食安全,粮食供求的平衡,是脆弱的.是强制性的,是一种紧张的平衡, 韩俊以稻谷为例说,过去30年,全世界稻谷的年贸易量没有超过3千万吨,这就是说,如果中国不对稻田进行保护,把稻田拿来搞开发,转变成城市用地,将来就得大量进口稻米,那么能不能买到需要的数量呢?
期刊
供求平衡
粮食安全
国务院发展研究中心
《经济参考报》
农村经济
强制性
中国
长期无性“能力”下降
“每天醒来的时候应该想想性,这实际上是很愉悦的事。”美国著名性学专家雪儿·海蒂热情地把性生活评价为一天中最美好的开始。然而,中国人民大学社会学研究所公布的调查显示,在中国已婚或同居男女中,每月性生活不到1次的人数超过1/4。没时间,没兴趣,没体力,很多夫妻恨不得1天24个小日全部用来工作和做家务,所以房事只能一拖再拖,另外很多老年人羞于提出性要求。其实长期没有性生活,性功能就会退化。 北大医院男
期刊
中国人民大学
能力
研究所
社会学
不可忽视南方强降水的"天漏"现象
5月初以来,我国南方一些地区先后出现11次强降雨过程,其洪涝灾害给农业生产带来很大损失。近日记者对如何防范强降水对农业的影响,采访了湖北省荆州农业气象试验站享受国务院政
期刊
强降水
南方
农业生产
高级工程师
降雨过程
洪涝灾害
农业气象
国务院
网络在线考试监控系统的分析与设计
摘要:网络考试的广泛应用,考生的作弊手段越来越多样化,本文就讨论以视频图像为基础设计一种监考系统,系统不仅可以考试时可以见监控每个考生的考试情况,记录考生在考试中进行的有关作弊嫌疑的情况及次数,并且能保存图像,供考试中心以后的检查。更大程度上减少考生作弊的情况发生,起到很好的防范及调查的作用。 关键词:在线考试系统;JPEG;图像处理 中图分类号:TP311.1 文献标识码:A 文章编号
期刊
在线考试系统
JPEG
图像处理
on-line test system
JPEG
image process
为什么夜晚的钟声更悠扬?
枫桥夜泊 (唐) 张继 月落乌啼霜满天,江枫渔火对愁眠。 姑苏城外寒山寺,夜半钟声到客船。 唐朝末年,北方战事不断,许多文人墨客纷纷逃到江南一带避乱,其中就包括诗人张继。在一个秋天的夜晚,张继正停留于苏州,在一艘游船上欣赏江南水乡的美景。但面对寥寥月色、乌鸦惨叫等景象,张继顿时想起自己是一个无家可归之人,而国家仍处于战乱之中,他心生忧愁。这时,耳边传来阵阵低沉的钟声,悠扬不绝,使他更加烦闷
期刊
张继
《枫桥夜泊》
无家可归
江南水乡
文人墨客
月色
钟声
床旁超声对老年股骨颈骨折患者下肢深静脉血栓形成的筛查效果分析
目的探讨床旁超声检查对老年股骨颈骨折患者下肢深静脉血栓形成的筛查效果。方法选择2017年2月—2019年2月万安县人民医院收治的82例老年股骨颈骨折疑似下肢深静脉血栓患者,
期刊
老年股骨颈骨折
下肢深静脉血栓
床旁超声
筛查
人为何会突发心脏性猝死?
据美国《每日科学》报道,近日英国曼彻斯特大学的科学家们,揭示了人为何会在熟睡时心脏骤停而猝死。这项开创性的研究成果,使得人们可以通过对患有病窦综合征的高危人群进行预防
期刊
猝死
心脏
曼彻斯特大学
研究成果
高危人群
科学家
预防性
综合征
穆棱市"稻鸭共作"裁培技术
“稻鸭共作”是一项最新推广的有机大米生产新技术,是提高水稻产品附加值,增加农民收入,提高食品卫生,保障人民身体的健康所必要的安全食品生产技术。同金谷粮油有限责任公司合作
期刊
生产栽培技术
生产新技术
稻鸭共作
穆棱市
食品生产技术
有限责任公司
试验示范
产品附加值
与本文相关的学术论文