1回答
“安全实现”与“安全实现”有什么区别？
provable-security、terminology、multiparty-computation
在一些安全证明中指出，“协议安全地实现了理想的功能”，而在另一些安全的证明中，“协议安全地实现了理想的功能”。问题1：外包模式匹配，S.Faust，等.参见定义3，并与下午5点:安全模式匹配，J.Baron，等。第29页定义5进行比较。问题2的示例：维基百科关于通用可组合性的文章：
从字面上讲，该协议可以模拟另一个协议(不需要访问代码)。安全的概念是由含义
浏览 0提问于2015-11-09得票数 2
回答已采纳
1回答
进程代数如何帮助设计安全协议？
encryption、cryptanalysis、protocol-design、number-theory
你能告诉我进程代数如何帮助我设计安全协议吗？进程代数是否用于任何安全协议或特定类型的协议(如网络协议)？
浏览 0提问于2018-09-03得票数 1
回答已采纳
1回答
什么是妥协后的安全措施？
diffie-hellman、key-exchange、terminology、signal-protocol
在阅读了这些关于妥协后安全的论文后：异步棘轮树 我的理解是:如果协议提供了密钥更新过程，并且如果对手是passive.，那么密钥协议协议就有可能提供妥协后的安全性，因此，ECDH这样的密钥协议可以更新以提供妥协后的安全性吗?，以及我对妥协后安全性的理解是否正确？
浏览 0提问于2020-04-19得票数 3
1回答
在Bellare模型中，不提供前向保密的具有相互认证的密钥交换协议是否可以被证明是安全的？
key-exchange、provable-security
为了在Bellare-Rogway模型中证明AKE协议是安全的，前向保密是必要的安全属性吗？在Bellare模型中，AKE协议要被证明是安全的，新鲜度也是必要的安全属性吗？如果不是，为什么有密钥确认的(K) MTI协议不能在Bellare模型中被证明是安全的？
浏览 0提问于2018-09-04得票数 2
回答已采纳
3回答
并发运行时不安全的协议示例
protocol-design、zero-knowledge-proofs、multiparty-computation、universal-composability
我当时读的是Canetti00通用的可组合安全文件。介绍的第一页指出，在并发组合下，有一些MPC协议和零知识协议是不安全的。我不明白为什么协议会在并发的情况下中断。请提供一些在并发组合下不安全的协议示例。如果协议一次又一次地运行，相同类型的攻击是否有效(假设我们改进了可靠性错误)？编辑：@Mikero提供了一个很好的MPC协议，在并发组合下是不安全的。有人能给出一个
浏览 0提问于2019-06-16得票数 12
回答已采纳
1回答
在正式证明UC安全性之前，有什么方法可以判断密码协议是否是UC安全的？
universal-composability
给出了一个有待证明的协议，现在我只知道我们应该先写出理想的功能，然后再写具体的协议，然后通过构造多个模拟器来证明协议的安全性，从而实现理想的功能。请允许我问一下，我们是否可以从其理想的功能中判断一个协议是否是UC安全的？此外，在Canetti的UC框架教程：https://www.cs.tau.ac.il/~canetti/materials/sp09-sem-lec9.pdf的第76页中，他对不安全的复合协议<
浏览 0提问于2021-11-14得票数 1
1回答
非标准端口和协议是什么？
network、malware、ports、protocols
我对安全领域很陌生，还读过关于如何检查应用程序是否安全的文章。其中一项检查涉及到该应用程序是否使用非标准的安全端口和协议。然而，有数千个端口和相当多的协议需要研究。
什么是非标准端口和协议？哪些端口和协议应该立即发出危险信号？
浏览 0提问于2018-05-09得票数 8
回答已采纳
2回答
ATS和SSL锁定
ios、security、ssl、https、ios9
任何人请解释SSL锁定和应用程序传输安全的作用。随着iOS 9的发布，还引入了应用程序传输安全库。默认情况下，ATS拒绝所有不使用至少TLS 1.2协议的不安全连接。TLS协议是SSL协议的替代协议，但它们通常都称为SSL。所以我的问题是1.如果我的服务器使用的是TLS 1.2协议，那么启用ATS就足以保证安全性。不需要在我的应用程序中做SSL锁定。请确认2.如果我
浏览 0提问于2017-10-18得票数 3
1回答
如何对基于模糊承诺方案的安全协议进行形式化验证？
protocol-design、provable-security、protocol-analysis、verifiability
我目前正在设计一种安全协议，其中涉及使用模糊承诺方案。允许我们容忍一定程度的错误的里德-所罗门密码。
我想知道如何正式验证一个安全协议，该协议将使用里德-所罗门密码之类的方案。ProVerify甚至可以帮助我测试安全协议的Casper/FDR，但是它们似乎不适用于模糊承诺方案。
浏览 0提问于2016-03-10得票数 3
1回答
将Gradle版本从6.5版迁移到7.0版时的问题
android、gradle
不支持在没有显式选择的情况下使用不安全的存储库协议。将Maven存储库“maven5()”切换到安全协议(如HTTPS)或允许不安全协议。有关更多详细信息，请参阅。
浏览 4提问于2022-02-01得票数 0
1回答
无法解决配置的所有依赖关系“：app:endpointsServer”。为什么？
java、cloud
在更新到Gradle 7.3.0之后，我有以下消息错误：
不支持使用带存储库的不安全协议的，而不支持显式选择.将Maven存储库“maven4()”切换到安全协议(如HTTPS)或允许不安全协议。见。
浏览 9提问于2022-10-05得票数 0
1回答
用远程桌面应用程序实现安全的远程密码
passwords、tls、ssh、rdp
我读过汤姆·吴写的安全远程密码协议文件。这个协议能抵抗字典攻击。我还看过一些关于VNC攻击的论文，因为密码薄弱和DES加密。该协议能否提高远程桌面应用程序认证协议的安全性。
浏览 0提问于2013-01-03得票数 1
回答已采纳
1回答
我们可以在UDP上使用SSL/TLS还是在TCP IP上使用DTLS？
networking
我是刚接触网络的，我对如果我们将安全协议的使用与它们各自的传输层协议进行交换会发生什么，我有一个疑问。对于特定的传输协议，一个安全协议是如何不同和优化的呢？
浏览 2提问于2020-07-08得票数 1
2回答
允许node.js HTTPS请求的所有SSL协议
node.js、ssl、curl、openssl
是否可以让node.js https.request (客户端)与远程服务器协商任何可能的协议(即使不安全)？我理解安全风险，但对于我的项目，一些网站只能使用旧的/不安全的SSL协议和密码。那么，有没有办法让node.js使用一系列协议(从最安全到最不安全)重新协商SSL连接，或者使用最广泛的配置(通过node.js或底层OpenSSL)来启用所有SSL协议和密码？
浏览 0提问于2017-09-06得票数 4
1回答
1线协议有安全措施吗？
protocols
我知道，1线协议的通信速度较慢，它可以在物理上进行访问，还有从数据总线获取信息的其他方法。在这个协议中，我似乎找不到很多关于安全性的信息，因为我所看到的，我认为它是不安全的，我没有看到任何形式的安全适用于它。
您认为这个协议也不安全吗？还是我漏掉了什么？
浏览 0提问于2016-03-29得票数 0
回答已采纳
1回答
如果主机设置了SecurityProtocolType.Tls12，Stripe.net 2.1.0会使用TLS1.2吗？
.net、stripe-payments、tls1.2、stripe.net
我们没有Stripe.net 2.1.0的源代码，但我们正在使用的应用程序已经像这样引导了安全协议：可供下载的Stripe.net库的最旧版本是2.3.0：
在这个版本中，Stripe.net没有指定安全配置文件它没有指定安全协议，因此可以假定我的全局安全<
浏览 23提问于2016-08-13得票数 0
1回答
安全计算:独立安全混合模型中的反应性功能
provable-security、multiparty-computation
使(安全计算)协议描述和证明更简单的一种常见方法是在混合模型中描述它们，其中实际世界中的协议可以访问一些辅助的理想功能F(例如理想的OT功能)。让我说，我只关心独立的安全性(相对于UC)。假设对F的所有调用都是顺序的(即不交错或并行)，并且双方在呼叫开始和结束之间不相互通信，那么(据我理解)我可以使用常规的独立安全协议的顺序组合来实例化具有独立安全协议的混合协议，以获得一个整体的独立安全协议比方说，
浏览 0提问于2018-07-12得票数 5
回答已采纳
1回答
为什么MAVLink协议不安全？
security、networking、network-programming
Unmanned Aircraft Systems，UAS)是基于无人机( Micro Air Vehicle communication Protocol )的系统，tinyCopters是基于MAVLink协议的但是为什么MAVLink协议是不安全的？谢谢。。
浏览 1提问于2016-09-24得票数 2
回答已采纳
1回答
确定TCP连接是否使用SSL
ssl、tcp
也许某些服务器可以同时处理非安全协议和安全协议。是否存在确定现有TCP连接是否安全的已知方法？
(我相信只需监控流量并检查某些文本是否可读就可以了，但也许有更好的或更详细的建议？)
浏览 0提问于2010-02-25得票数 1
回答已采纳
1回答
MSDN冲突语句-哪种协议支持WCF中的哪种安全性(特别是传输和消息安全性)
c#、.net、wcf、wcf-binding、wcf-security
语句1:除了wsDualHttpBinding之外，所有绑定上都提供了传输安全性。
语句2:除了netNamedPipeBinding之外，所有绑定上都提供了传输安全性。我是一个初学者，我一直在寻找哪些协议支持传输安全，哪些协议支持消息安全，哪些协议支持两者。那么，谁能告诉我上面的陈述实际上是什么意思，以及对各种安全性的协议支持。
浏览 0提问于2013-03-02得票数 0
云服务器
ICP备案
对象存储
云点播
即时通信 IM
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号