搜索 - 腾讯云开发者社区-腾讯云

文章/答案/技术大牛

发布

1回答

矩阵乘法协议的安全性分析

对于如何对上述协议进行安全分析，有什么想法吗？特别是H(A_X_RA)= H(A)

浏览 0修改于2012-03-08得票数 3

1回答

通用可组合(UC)框架的限制是什么？

我开始阅读一些UC框架文件，我猜它类似于基于仿真的安全性分析。我能理解UC的主要优点是帮助我们分析可组合的协议。但我想知道UC的主要限制是什么？我注意到，将基于模拟的安全性(或基于游戏的安全性)转换为UC安全性是非常重要的。但是，是否存在编译器将表单模拟安全转换为UC安全？

浏览 0提问于2019-05-20得票数 1

1回答

什么是妥协后的安全措施？

在阅读了这些关于妥协后安全的论文后：异步棘轮树我的理解是:如果协议提供了密钥更新过程，并且如果对手是passive.，那么密钥协议协议就有可能提供妥协后的安全性，因此，ECDH这样的密钥协议可以更新以提供妥协后的安全性吗?，以及我对妥协后安全性的理解是否正确？

浏览 0修改于2021-03-08得票数 3

1回答

我刚刚开始研究分析密码协议安全性的不同方法。根据我的理解，在这方面有两种主要的方法。第一种方法是所谓的Dolev-姚(或形式)模型，其中密码信息被表示为术语代数中的符号术语。第二个方案更接近于密码协议的实际实现，其中原语被看作概率算法，攻击者是一个多项式时间概率图灵机。在后一种方法中，密码的安全性通常被定义为安全博弈。因此，据我所知，它们都是安全协议的正式验证技术，因此都应该被看作是正式的方法。有人能帮我澄清一下吗？

浏览 0修改于2016-10-22得票数 6

2回答

GRE解决了什么问题？

按照RFC的规定，我想我不明白为什么GRE是需要的。若要将协议A封装在协议B中，您不能仅将A数据包作为B数据包中的数据发送吗？我知道GRE可以用来创建一个隧道，当前RFC的第3节提到了安全性考虑，但是除了应该有一些安全性之外，什么都没有说。简而言之，GRE比协议的“天真”封装有什么好处？

浏览 0修改于2021-10-07得票数 3

1回答

是否存在一个在eCK模型中是安全的并且也有PFS的双通AKE协议？

如我们所知，具有DH消息的两通AKE协议可以实现的是弱形式的完美前向安全(wPFS)，它保证了对被动对手的安全性。但“具有完全前向安全性的强安全一轮认证密钥交换协议”(海黄)声称，它提出的AKE可以在一轮中实现对主动对手的完美的前向安全性。对吗？为什么？

浏览 0修改于2013-08-01得票数 6

回答已采纳

1回答

用于压缩函数密码分析的密钥模型？

如何分析密钥模型中压缩函数的安全性？更正式地说，让H是一个散列函数，F(IV,M)是它的压缩函数。(我们在任何具体的协议中都没有考虑到这一点)

浏览 0修改于2019-09-28得票数 2

回答已采纳

2回答

我们对协议验证者的信任程度如何？

我读过很多关于认证密钥交换协议的论文，大多数的安全证明都是由作者完成的。在这种方法中，可以想象效率很低。此外，即使您已经在某个模型(例如eCK)下证明了AKE协议的安全性，您仍然无法确保所有其他模型下的安全性，包括现实生活中的安全性。这让我不禁要问:可以用一些自动化工具来验证协议，例如塔马林吗？

浏览 0修改于2014-01-30得票数 2

1回答

MSDN冲突语句-哪种协议支持WCF中的哪种安全性(特别是传输和消息安全性)

语句1:除了wsDualHttpBinding之外，所有绑定上都提供了传输安全性。语句2:除了netNamedPipeBinding之外，所有绑定上都提供了传输安全性。我是一个初学者，我一直在寻找哪些协议支持传输安全，哪些协议支持消息安全，哪些协议支持两者。那么，谁能告诉我上面的陈述实际上是什么意思，以及对各种安全性的协议支持。

浏览 0提问于2013-03-02得票数 0

1回答