使用Petri网建模区块链系统中的攻击
Modelling Attacks in Blockchain Systems using Petri Nets
AI总结：
本文针对区块链系统面临的攻击及量子计算威胁问题，探讨其漏洞并分析攻击暴露的威胁，使用Petri网对当前系统及未来量子场景下的攻击进行建模，助力理解区块链攻击机制。
摘要：
区块链技术自2008年诞生以来经历了诸多变革与修改，例如智能合约（smart-contracts）的出现。区块链系统的普及源于其相较于其他传统系统具有显著的安全优势。然而，各类区块链系统中已发生多起攻击事件，这些攻击利用不同的漏洞和缺陷，造成了重大经济损失。因此，了解区块链中的攻击如何发生、它们利用哪些漏洞以及暴露哪些威胁至关重要。该领域另一个令人担忧的问题是量子计算领域的最新进展，这对包括区块链在内的许多现有安全系统的安全方面构成重大威胁，因为量子计算将使许多广泛使用的加密算法失效。因此，研究量子计算未来将如何影响这些或其他新型攻击十分重要。本文探讨了当前区块链系统中的不同漏洞，分析了区块链中各类理论与实际攻击所暴露的威胁，随后使用Petri网对当前系统及未来量子计算机场景下的这些攻击进行了建模。
英文摘要：
Blockchain technology has evolved through many changes and modifications, such as smart-contracts since its inception in 2008. The popularity of a blockchain system is due to the fact that it offers a significant security advantage over other traditional systems. However, there have been many attacks in various blockchain systems, exploiting different vulnerabilities and bugs, which caused a significant financial loss. Therefore, it is essential to understand how these attacks in blockchain occur, which vulnerabilities they exploit, and what threats they expose. Another concerning issue in this domain is the recent advancement in the quantum computing field, which imposes a significant threat to the security aspects of many existing secure systems, including blockchain, as they would invalidate many widely-used cryptographic algorithms. Thus, it is important to examine how quantum computing will affect these or other new attacks in the future. In this paper, we explore different vulnerabilities in current blockchain systems and analyse the threats that various theoretical and practical attacks in the blockchain expose. We then model those attacks using Petri nets concerning current systems and future quantum computers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
