基于petri网的区块链攻击建模

区块链技术已经经历了很多的变化，例如自2008年智能合约初次被采纳。区块链 系统受欢迎的原因在于其相对于传统系统提供了显著的安全优势。然而，在各种 区块链系统中存在很多攻击，利用各种漏洞和bug试图获取超额利益，从而引发 巨大的经济损失。因此，有必要理解这些针对区块链的攻击是如何发生的，它们 利用了哪些漏洞，以及其暴露出来的威胁时什么。

在区块链安全领域的另一个值得关注的问题就是在量子计算领域的最新进展，这对 包括区块链在内的诸多现有系统形成了巨大的威胁，因为量子计算将使很多广泛 采用的密码学算法无效。因此审视量子计算在未来将如何影响区块链的安全性非常 重要。

在本论文中，我们研究了当前区块链系统中的不同的漏洞，分析了各种理论和 实际攻击，并使用petri网对当下和未来量子计算时可能存在的攻击进行了建模。

论文PDF下载：Modelling Attacks in Blockchain Systems using Petri Nets