计算机科学家解决了消息传递隐私方面的差距

发布时间：2020-04-27 12:59:37 【来源：】

研究人员已经开发出一种解决方案，以解决端到端加密领域的一个长期问题，该技术可确保只有发送者和接收者才能读取消息。

使用当前的端到端加密，如果攻击者破坏了收件人的设备，则他们可以使自己处于拦截，读取和更改所有未来通信的位置，而发件人或收件人却不知道。

新协议发布在IEEE信息取证与安全事务中，迫使攻击者留下任何此类活动的证据并提醒用户采取行动。

卢森堡大学的Yujiangshan博士，伯明翰大学的Mark Ryan教授和牛津大学的Cas Cremers教授受到发现大量软件漏洞(例如Heartbleed bug)的启发，这些漏洞构成了大多数设备容易受到损害。

于博士解释说：“那里有出色的端到端加密服务，但从定义上讲，它们依赖于设备本身保持安全;一旦设备受到威胁，我们将无能为力。这就是我们要解决的问题。 ”

继爱德华·斯诺登(Edward Snowden)关于政府大规模监视的启示之后，端对端加密现在可通过Facebook的WhatsApp等服务广泛使用。该方法使用成对的加密“密钥”，使发送者加密，而接收者解密消息。任何想要阅读您的消息的人都必须先入侵您的手机才能窃取您的最新密钥。然后，攻击者例如通过控制您的WIFI路由器来拦截您的消息，从而进行“中间人”(MITM)攻击，并使用被盗的密钥来冒充您。

当前的加密协议(如WhatsApp使用的Signal)充分利用了一个事实，即MITM攻击者只能拦截通过受感染网络发送的消息。例如，一旦您通过3G而非受损的WiFi发送消息，攻击者将不再能够充当中介。他们将失去对按键的跟踪并被锁定在对话之外。

该解决方案称为DECIM(检测邮件中的端点妥协)，解决了当攻击者可以长期拦截所有邮件时该怎么办的问题。您的Internet服务提供商和消息传递服务运营商都处在这样的位置-您所有的消息都通过它们的服务器传递-这样，如果他们获得了您的密钥，就永远不会将它们锁定在对话之外，并且您永远不会知道。

使用DECIM，收件人的设备会自动对新的密钥对进行认证，并将证书存储在防篡改的公共分类帐中。

该团队使用象征性协议验证工具“ Tamarin证明器”进行了正式的安全分析，该工具可以运行数百万种可能的攻击情况，从而验证DECIM的功能。对于消息传递协议来说，这是一个罕见的步骤，对其他协议的相同分析也揭示了一些安全漏洞。

于博士说：“端到端加密领域没有灵丹妙药，但我们希望我们的贡献能够增加额外的安全性，并有助于平缓用户与攻击者之间的竞争环境。”

伯明翰大学计算机科学学院的Mark Ryan教授说：“我们的安全和隐私小组致力于解决对社会至关重要的问题。鉴于手机和笔记本电脑上的网络攻击已经盛行，我们为此感到自豪这项工作旨在检测加密密钥何时受到破坏。接下来，我们打算申请这项工作，以检测对应用程序的加密密钥受到破坏，例如在区块链或基于Internet的投票中。”

上一篇：工程师发明了突破性的毫米波循环器IC
下一篇：工程师开创了前所未有的高速无线数据覆盖范围