2009年4月26日陕西省公务员考试行测真题及答案解析(天津、陕西、(8)

网上分享。

协议使用Ｂｏｎｅｈ－ＦｒａａｋｌｉｎｌＢＥ方案同样的密钥生成机制，该协议还考虑提供密钥证实，使每个实体相信其他实体实际上也计算出了共享密钥。尽管没有给出形式化的安全分析，目前为止还没发现对该方案的成功攻击。

在Ｓｍａｒｔ协议里每个参与者需要计算两个对，Ｃｈｅｎ和Ｋｕｄｌａ［７７］给出了另外一个协议只需要计算一个对。在公钥环境下Ｂｃｌｌａｒｃ．Ｒｏｇａｗａｙ模型由Ｂｌａｋｅ和Ｗｉｌｓｏｎ等所作的扩展【３２】Ｍ是适用于这类协议的一种有用的安全模型，【７４］ｉ正明上述协议在这个模型下是安全的认证密钥协商协议。这个结果发表在［７４］中的最初证明有缺陷，在［７４１中给出的更正需要对攻击者行为进行一个很严格的限制。Ｃｈｅｒｔ和Ｋｕｄｌａ还考虑了他们协议的一些修改，提供前向保密性，反托管以及支持多ＴＡ等功能。

还有其他一些作者试图改进Ｓｍａｒｔ协议。在［１７５１＠ｉ正ｆｌｆ］Ｓｈｉｍ的改进协谢”１在中间人攻击下是很脆弱的。Ｙｉ的协议【ｌ蚓利用了一种点压缩形式，只需要Ｓｍａｒｔ协议一半的带宽。Ｂｏｙｄ等在【４１】中提出另外一种基于身份密钥协商的方法，所得协议在［１７】［７３】中提出的模型下是可证明安全的，该协议的一个有趣的特征是提供可否认服务，这是由于任何一方都可以计算出协议执行中的所有消息，因此两方都可以否认参与了协议。【４１】中的作者尝试将基于身份加密用作一种会话密钥传输机制，用以提高系统的效率。在［２４】中研究了在“秘密握手”中使用Ｓｍａｒｔ协议，还考虑将这些协议集成到ｓｓ坍Ｌｓ协议套装中。

１．１．３多方认证密钥协商协议

由于Ｊｏｕｘ协议是非认证的，因此容易遭到中间人攻击。强化协议安全性的一种显然方法是对瞬息消息加上签字，在［８】中却描述了一种无需签字的高效方法来保证Ｊｏｕｘ协议的安全性。也许有点令人意外，和Ｄｉｆｆｉｅ—Ｈｅｌｌｍａｎ协议在非广播环境下带密钥证实的三方认证协议的简单扩展相比，【８】中证明上述认证Ｊｏｕｘ协议并没有什么优势，因为此种环境下任何安全的协议都至少需要六个消息。Ｇａｌｂｒａｉｔｈ等【１０５】研究了ＢＤＨ问题的比特安全性，他们的结果可以用于【８】和［１８３］协议，证明根据这些协议交换的原始密钥材料使用有限域的迹运算来计算会话密钥也是安全的。

对【８】中协议的攻击表明在三方协议中加上认证是一件微妙的工作。Ｚｈａｎｇ和Ｌｉｕ【２００】研究了ｆｆｏｕｘ协议基于身份的认证版，ＮａＵａ和Ｒｅｄｄｙ［”７１也提出了基于身份的三方密钥协商协议，但这些协议都被攻破了【６７Ⅱ１７８】，同时被攻破的还有Ｓｈｉｍ的三方协议【”５】。一些作者［９５１［１６＿７】【２如考虑用Ｊｏｕｘ协议及其变型作为组成模块构造多于三方的协议，对试图效仿Ｂｕｒｍｅｓｔｅｒ－Ｄｅｓｍｅｄｔ协议的其它协议的攻击可以参看

【１９５］。然而对多于三方的情形，Ｊｏｕｘ协议并不能提供多少帮助，在这种环境下实现单轮的密钥协商是一个更有挑战性的公开问题，也是本文研究工作的一部分。

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说教育文库2009年4月26日陕西省公务员考试行测真题及答案解析(天津、陕西、(8)在线全文阅读。