1. Introduction
With the rapid development of technology, the widespread application of the IoV enables vehicles to communicate more intelligently and efficiently. On the other hand, due to the exponential growth in the number of connected vehicles, the demand for wireless spectrum resources has also increased rapidly. To address this demand, dynamic spectrum sharing technology has become a key solution. Devices can communicate in unused spectrum holes through dynamic spectrum sharing technology, thereby greatly improving the utilization of spectrum resources. In the process of spectrum resource sharing, it is often necessary to introduce a game theory framework to solve the problems of resource allocation and management. In the dynamic spectrum sharing scenario of the IoV, a leader–follower model is often adopted, where the leader makes decisions first, and then the followers respond based on the leader’s decisions. Certain entities (such as large communication companies) can play the role of the leader, while vehicles or other communication devices act as followers.
However, the implementation of this spectrum resource sharing technology also brings a series of challenges, such as numerous security and trust issues in an environment where multiple parties are sharing the spectrum. At the same time, blockchain technology, with its decentralized, highly transparent, and tamper-proof characteristics, provides a new solution to the trust issues in spectrum resource sharing in the IoV. Through blockchain, we can create a decentralized environment, making spectrum resource sharing safer and more transparent. Combined with smart contracts, we can also automate the process of spectrum resource allocation and management, thereby enhancing the reliability of the system.
In previous studies, the application of blockchain technology in spectrum allocation, management, and trading attracted widespread attention, as discussed in [
1,
2]. In response to the issues of low spectrum utilization and high transaction latency in traditional consensus schemes, Reference [
3] proposed a blockchain-based spectrum trading scheme (STBC). The authors of [
4] proposed a consensus mechanism and spectrum trading validation mechanism based on interference to prevent potential harmful interference in spectrum sharing. Smart contracts implemented on the blockchain were used to replace traditional central management institutions to promote cooperation among them [
5]. Reference [
6] proposed a bilateral auction framework based on smart contracts, in which auction activities were automatically implemented in a self-regulated and secure environment.
Reference [
7] introduced a smart contract solution based on blockchain technology, aimed at facilitating secure and dynamic spectrum sharing among end-users. Specifically, a smart contract for multi-operator spectrum sharing had been developed to enable the dynamic nature of spectrum sharing among collaborative end-users, such as autonomous vehicles within smart cities, in a manner that was both trustworthy and ensured decentralization and security.
Reference [
8] proposed a spectrum sharing scheme that allowed service providers to lease underutilized spectral bands, thereby enhancing operational efficiency and augmenting profit margins. The framework guaranteed service excellence, broadened the accessibility to a wider user base, and evidenced substantial potential for improvements in spectral efficiency and financial benefits for all stakeholders involved. Reference [
9] had been cited for leveraging blockchain technology to establish a distributed and autonomous asset trading platform, aimed at facilitating a fully dynamic spectrum sharing system. This approach was designed to ensure transparency and trust among devices, eliminating the need for intermediaries. Additionally, the framework utilized smart contracts, a core feature of blockchain technology, to facilitate the transactions of spectrum tokens within the distributed ledger, thereby enhancing the efficiency and security of these exchanges.
References [
9,
10,
11,
12,
13] explored dynamic spectrum management approaches based on Stackelberg game theory, covering device-to-device communication, drone-assisted communication, and cognitive radio networks. By introducing the Stackelberg game model, these studies proposed various strategies for optimizing spectrum allocation and usage. For instance, they improved direct communication between devices through mode selection and spectrum partitioning, enhanced the spectrum sharing efficiency of drone communication systems through a two-stage game, and managed spectrum resources in cognitive radio networks by combining combinatorial auctions with game theory. These methods not only enhanced the utilization efficiency of spectrum resources but also advanced the performance of communication networks. References [
14,
15,
16,
17,
18,
19,
20] explored dynamic spectrum sharing and allocation strategies in various wireless communication networks, covering scenarios ranging from cognitive radio networks to multi-operator communication systems. For instance, Saha studied how to implement dynamic spectrum sharing technologies in buildings using small cell architecture, while Nair and others discussed the application of hybrid spectrum sharing in dynamic spectrum access networks. Ikami and his team focused on the fair distribution of spectrum resources among different wireless systems. On the other hand, Sumithra provided an overview of spectrum sharing and dynamic spectrum allocation schemes in cognitive radio networks. Umar and colleagues reviewed spectrum sharing strategies for multi-operator wireless communication networks in the next generation and provided a roadmap for future research. Sorayya and Suryanegara modeled spectrum sharing between a primary operator and two secondary operators. These studies demonstrated the significant role of dynamic spectrum management in enhancing spectral efficiency and promoting more flexible and efficient development of communication networks.
In previous research on spectrum resource sharing, transactions were typically negotiated between buyer base stations with limited resources and seller base stations with surplus resources. After determining the price and transaction volume, the buyer base station would directly utilize the idle frequency bands of the seller base station. However, this approach fails to accommodate real-time network demand changes, resulting in spectrum resource wastage.
In our research, we focus on enhancing the efficiency and security of spectrum resource sharing between base stations in the IoV using blockchain-based smart contracts. We developed a consortium blockchain with various types of nodes to ensure a secure and swift spectrum sharing process. Base stations of both buyers and sellers act as master nodes, while some vehicles using the buyer’s operator services serve as light nodes to facilitate transactions. We implemented an improved asynchronous Byzantine fault tolerance consensus algorithm to handle network instability during spectrum sharing in the IoV. When the buyer’s base station experiences spectrum resource shortages, vehicles using the buyer’s operator services can directly connect to the seller’s base station through an agreement, enabling inter-network roaming. Lastly, we integrated the Stackelberg game theory into the spectrum sharing process, allowing the seller’s operator base station to engage in strategic interactions with connected vehicles. This approach maximizes the benefits for both buyers and sellers while ensuring an optimal utilization of spectrum resources.
The Byzantine fault tolerance algorithm is a fault tolerance mechanism used to handle malicious nodes in a system, ensuring that the system can correctly process messages and reach consensus even if some nodes fail or behave abnormally. The asynchronous Byzantine fault tolerance algorithm is a variant of this algorithm that does not require all participants to be online simultaneously or for information transfer between them to have strict timing. It is more suitable for network environments with delays and uncertainties. The improvements in this study include the efficiency optimization of the algorithm, stronger fault tolerance capabilities, and support for dynamic participant sets. Specifically, in the vehicular network environment, this algorithm can adapt to highly dynamic and changing network conditions, ensuring that consensus can be quickly reached even in unstable networks or with frequently changing nodes.
The Stackelberg game is a model in game theory where a leader makes a decision first, and then followers respond based on the leader’s decision. This model is often used to analyze and optimize the interaction between leaders and followers, such as in price setting and resource allocation. In dynamic spectrum sharing, base stations that own spectrum resources are typically considered leaders, while vehicles or other base stations that need the spectrum are considered followers. By applying the Stackelberg game model, the leader base station can optimize spectrum pricing and allocation strategies to maximize its benefits while also meeting the needs of the followers, achieving a Nash equilibrium for both parties.
4. Analysis of the Stackelberg Game Model and Consensus Algorithm
4.1. The Stackelberg Game in Spectrum Trading
In our study, since we consider that each participant in spectrum trading tries to maximize profit, we model this mechanism by introducing the Stackelberg game. In this strategy, the seller’s base station assumes the role of the leader, owing to its control over the residual available spectrum. As the leader, the seller’s base station not only wields the power to allocate spectrum resources but also exercises predominant influence over pricing. Consequently, it initially sets the price per unit of spectrum resource, incorporating considerations of dynamic demand–supply fluctuations, operational costs, and profit objectives. Conversely, the buyers act as followers in this game. They determine the quantity of the spectrum to purchase, guided by the price stipulated by the leader and aligned with their specific communication requirements. Their decisions are influenced by factors including the price, communication quality, and data transfer rates.
As illustrated in
Figure 2, within the iterative dynamics of the Stackelberg game, the strategic adjustments and interactions of both parties persist until a point of equilibrium is achieved—the Nash equilibrium. At this juncture, neither participant can enhance their profit by unilaterally altering their strategy. This state signifies that both buyers and sellers have attained their maximum possible profits.
4.2. Consensus Mechanism Implementation
Upon establishing optimal pricing and resource allocation strategies, we confirm the volume of spectrum resources shared by sellers and their unit spectrum price. The participants are pre-approved and their identities are verified and there is mutual trust between the buyer and the seller. Consensus will be reached between the buyer and seller through a federated blockchain system.
Consequently, we improve the asynchronous Byzantine fault-tolerant consensus algorithm as our consensus mechanism to better fit our proposed scenario. Its most significant characteristic is that it can achieve consensus without the need for synchronous communication between nodes, which is very suitable for communication networks with high network delays and complex environments. Unlike traditional consensus algorithms that require the synchronization of all nodes, this system, through its unique operating method, can maintain operation and successfully achieve consensus even in situations of high network latency or partial node failure.
The flow of our proposed algorithm is as follows:
Transaction Preparation and Distribution: The buyer’s master node, after analyzing the spectrum resources needed for the transaction, selects an appropriate number of vehicles under its service as light nodes for this consensus round. It prepares a transaction request encompassing the buyer’s identity, intended spectrum usage, and transaction timestamp. Similarly, the seller’s master node prepares its transaction request with the seller’s identity, spectrum to be shared, and timestamp. Both nodes encrypt and distribute this transaction information to all nodes in the network, which then respond upon receipt.
Transaction Collection: Post-distribution, master nodes gather and decrypt transaction data sent by other master nodes. Vehicles designated as light nodes gear up to switch connections to the seller’s base station and utilize the traded resources.
Achieving Consensus: Through multiple communication rounds, master nodes reconstruct and authenticate each other’s transaction information, eventually reaching a consensus on the transactions’ validity and order.
Block Formation: All authenticated transactions and data regarding participating light nodes are compiled into a new block, subsequently being added to the blockchain.
Block Broadcasting and Verification: This new block is broadcast across the network to all master, auxiliary, and consensus-participating light nodes. Each node independently verifies the block’s transactions upon receipt, ensuring their legitimacy.
Feedback on Results: Light nodes corresponding to vehicles, after consensus, will connect to the seller operator’s base station according to the transaction information and occupy the relevant spectrum resources included in the transaction.
Auxiliary consensus nodes, while not directly involved in transaction creation, participate in the verification process. Following the consensus and creation of a new block by the master nodes, these auxiliary consensus nodes independently verify the accuracy of these blocks and document the transaction data, thereby enhancing the system’s redundancy and reliability.
5. Simulation Results
In order to validate the effectiveness of our proposed architecture, we simulated the time taken for multiple systems to reach consensus. We deploy the system using the Ethereum smart contract platform. Prior to deployment, the identities and permissions of all participating nodes are authenticated and registered on the blockchain. To adapt different network latency conditions, we adjust the synchronization intervals and transaction confirmation times accordingly. Node configurations are then completed, where the master node manages transaction requests, initiates verification, and oversees the consensus process. Light nodes dynamically join or leave the network based on their assigned tasks, with reconnection mechanisms and data synchronization features designed to address potential disconnections. Auxiliary consensus nodes assist in data verification and consensus decision-making, ensuring data consistency and integrity. Taking into account different network scales, we set the number of light nodes to 10, 20, and 30, respectively. Considering that communication distance or vehicle speed and other factors may cause different delays, we set the network delay to 100 ms, 300 ms, and 1000 ms, respectively. The specific parameters are in
Table 1. We varied the number of light nodes under different network delay conditions and compared our proposed algorithm with the HBBFT algorithm.
After several simulation tests, we obtained the average value in
Figure 3; the systems utilizing the algorithm we proposed are represented by a column bar with a diagonal line, while those using the HBBFT algorithm are shown as a column bar without a diagonal line. The results show that, in this scenario, irrespective of network latency and the number of light nodes, the algorithm we proposed always outperforms the HBBFT algorithm in terms of consensus speed. Furthermore, as the network latency and/or the number of light nodes increase, it is observed that reaching a consensus requires more time.
Considering that communication distance may cause disconnection issues, we also simulated the system’s fault tolerance. In
Figure 4, we set different rates of light node failure (10%, 20%, 30%) under varying network latencies and quantities of light nodes. The simulation results suggest that despite a slowdown in the speed of consensus, it is still successfully achieved in all scenarios. It can be seen that the algorithm we proposed has a superior speed in this scenario compared to HBBFT.
To investigate the efficacy of Stackelberg game-based spectrum resource allocation, we establish a scenario where a seller base station allocates bandwidth to five buyer vehicles’ impending connection. The respective channels are designated as Channel 1~5, with the simulation capturing both sides’ profit in real-time. We conform to the standard parameters mentioned in
Table 2, with an initial bandwidth of 1.2 Mhz, and a bitrate threshold set at 5 Mbps. According to
Figure 5, after 12 iterative adjustments, bandwidth distribution starts to stabilize. Coupled with
Figure 6, it is apparent that the highest profit for both parties is achieved at the 12th iteration, indicating a Nash equilibrium situation. After calculating the bitrate using data from the 12th iteration, the results are shown in
Table 3; we obtain bitrates for Channel 1~5 as 8.58, 8.31, 8.37, 8.55, and 8.76 Mbps, respectively, all of which surpass the pre-established bitrate threshold, thus validating the communication speed. We also tested bandwidth allocation under different noise power and different disturbance. As shown in
Figure 7 and
Figure 8, bandwidth can be effectively allocated under different circumstances.
7. Conclusions
This research successfully demonstrates the effective promotion of dynamic spectrum sharing in the IoV context via blockchain-based smart contracts. By developing a consortium blockchain architecture and implementing an improved asynchronous Byzantine fault tolerance algorithm, we have enhanced both the spectrum resource utilization efficiency and the system’s security and reliability. Moreover, this study utilizes the Stackelberg game approach to optimize spectrum resource allocation, ensuring that all parties reach Nash equilibrium in transactions, thereby maximizing benefits.
Our envisioned future development directions: Continue to improve and optimize the algorithm to adapt to a wider range of network conditions and higher performance requirements, such as reducing the communication overhead of the algorithm and enhancing its scalability. Strengthen the security of blockchain and smart contracts, and develop new encryption technologies and verification mechanisms to prevent fraud and attacks, especially in open vehicular network environments. Explore interoperability with other types of blockchains (such as public chains and private chains) to support a broader range of application scenarios and more complex service needs. Deploy and test the proposed system in real vehicular network environments to verify its actual performance and applicability.
Our envisioned specific application areas: In smart cities and intelligent transportation systems, use blockchain technology, smart contracts, and game theory to manage and optimize communication resources among vehicles. In commercial wireless network services, apply dynamic spectrum management technology to provide more flexible communication services. In emergency situations (such as natural disasters and major public safety events), ensure the rapid allocation and reliable use of communication resources.
This research affirms the efficacy of blockchain-based smart contracts in managing a dynamic spectrum, offering valuable insights and references for future research and practical applications in wireless networks.