论文部分内容阅读
设计安全协议非常容易出错,因此有必要对协议进行安全性分析。传统的试错法仅仅对于已知攻击具有检测能力,经该方法检测为正确的协议,在一段时间后往往被发现存在安全漏洞。据此,学者们提出了多种安全协议的证明技术。本文围绕这一理论展开探讨,以期对安全协议提供安全性准确可信的分析方法。
可证明安全理论的发展
【摘 要】
：
设计安全协议非常容易出错,因此有必要对协议进行安全性分析。传统的试错法仅仅对于已知攻击具有检测能力,经该方法检测为正确的协议,在一段时间后往往被发现存在安全漏洞。据此,学者们提出了多种安全协议的证明技术。本文围绕这一理论展开探讨,以期对安全协议提供安全性准确可信的分析方法。
【机 构】
：
西安邮电大学通信与信息工程学院,
【出 处】
：
网络安全技术与应用
【发表日期】
：
2013年09期
其他文献
2012年3月3日-14日,第十一届全国人民代表大会第五次会议和政协第十一届全国委员会第五次会议在京召开。会上,众多人大代表、政协委员纷纷针对个人信息安全、网络支付安全、两化融合,以及构建自主"中国云"等热点话题提出了大量有建设性的提案和议案。
企业是社会经济的细胞,企业和谐稳定是社会和谐稳定的基础,和谐劳动关系是企业长治久安的基本条件。构建和谐劳动关系不仅是建设现代企业的必由之路,更是企业履行社会责任的
1961年和1962年,东西方处于“冷战”时期．这是美国和苏联紧张关系最为白热化的两年。双方所有和平谈判的努力都失败了,苏联时任领导人,好战的赫鲁晓夫认为美苏之间不可避免要
丰台区地处北京市西南部,辖区总面积305.8km2,常住人口175.3万人。在北京城市总体规划中被定位为城市功能拓展区,是北京南部物流基地和重要旅游区。2012年是丰台区全力实施“
那些逝去的革命先烈,他们心中充满了力量,那是对革命的忠诚。他们为了心中的信仰,即使牺牲生命,也在所不惜。他们虽死犹生。他们的名字,将永远被历史镌刻,他们的精神永垂不朽
我的祖国有一个很好听的名字叫中华人民共和国,简称“中国”。翻译成英文为“China”。但现在一些外国朋友也不说这个单词,而是说“Zhong Guo”。我的祖国拥有世界上最古老的
周武王时期,姜子牙得到了封神榜,开始分封各路神仙。如今,在我们班也有这样一张榜,名字略微有些变化,叫“疯神榜”。不过,封他们为“神”的不是姜子牙,而是我。“疯神”——