FDO协议：保护所有权凭证免受不受信任的供应链侵害的一种可能解决方案

《IEEE Transactions on Dependable and Secure Computing》：FDO Protocol: A Possible Solution to Protect the Ownership Voucher Against Untrusted Supply Chain

　　

摘要：

FDO协议是成为自动设备接入参考标准的主要候选者。然而，正如文献中所记载的，当设备的供应链不可信时，该协议可能会存在安全问题，这些问题可以利用其所有权凭证（Ownership Voucher）来攻击。在之前的研究中，我们通过对协议的符号模型进行形式化分析，展示了一种可能的攻击方式。本文的第一个贡献是更全面地呈现之前的分析结果，对其进行扩展，并证明这种攻击也有可能在实际的协议实现中发生。随后，我们分析了文献中提出的一些可能的解决方案作为对策，以尝试减轻这种攻击的影响。在证明这些解决方案可能无法完全解决上述问题后，我们提出了自己的解决方案，FIDO工作组可以考虑将其用于进一步改进协议规范。为了证明我们解决方案的逻辑正确性，我们再次对其符号模型进行了形式化分析。