Smart contracts have brought new developments to Blockchain technology, quickly finding widespread application in finance, law, and business sectors upon their emergence. However, security vulnerabilities in smart contracts have limited their growth. The existing methods for detecting vulnerabilities in smart contracts primarily focus on Ethereum's Solidity, lacking of vulnerability detection tools based on other smart contract languages such as C/C++. Therefore, this paper investigates the current state of vulnerability detection research for smart contract languages other than Ethereum's Solidity and proposes a vulnerability detection method for C/C++ smart contracts based on intermediate value transformation. This method combines Clang technology with the symbolic execution tool KLEE[l], utilizing the Intermediate Representation (IR) from LLVM (Low Level Virtual Machine) for research, andproduces a detection method capable of identifying eight types of code level vulnerabilities. Finally, it summarizes the current shortcomings of smart contract vulnerability detection methods and future research directions.
In distributed computing, data trading mechanisms are essential for ensuring the sharing of data across multiple computing nodes. Nevertheless, they currently encounter considerable obstacles, including low accuracy in matching trading parties, ensuring fairness in transactions, and safeguarding data privacy throughout the trading process. In order to address these issues, we put forward a data trading security scheme based on zero-knowledge proofs and smart contracts. In the phase of preparing the security parameters, the objective is to reduce the complexity of generating non-interactive zero-knowledge proofs and to enhance the efficiency of data trading. In the pre-trading phase, we devise attribute atomic matching smart contracts based on precise data property alignment, with the objective of achieving fine-grained matching of data attributes between trading parties. In the trading execution phase, lightweight cryptographic algorithms based on elliptic curve cryptography (ECC) and non-interactive zero-knowledge proofs are employed for the dual encryption of trading data and the generation of attribute proof contracts, thus ensuring the security and privacy of the data. The results of experiments conducted on the Ethereum platform in an industrial IoT scenario demonstrate that our scheme maintains stable and low-cost consumption while ensuring accuracy in matching and privacy protection.
As the basic platform for large-scale attacks, botnets seriously threaten the security of cyberspace. It is of great practical significance to study botnet from the perspective of prediction. Aiming at the shortcomings of existing research in terminal perception, identity recognition and dynamic confrontation, this article outline the botnet life cycle, summarizes the vulnerabilities of P2P botnets, establishes a P2P botnet dynamic confrontation model, and analyzes the importance of node authenticity judgment and network topology optimization. On this basis, this paper proposes a novel dynamic self-organizing P2P botnet model DSBot from the attacker’s perspective. The model can be extended to all kinds of target devices in architecture design, enhance terminal antagonism through node security evaluation mechanism based on reliability matrix and authenticity verification, and propose phased infection strategy. Based on the ideas and methods of wireless AD hoc network and multi-agent, the multi-dimensional representation of node attributes and the dynamic network framework based on state identification are describe. Then the O(Ni) update algorithm, uniform connection algorithm and active node removal algorithm are designed, and the self-organizing network reconstruction strategy is proposed combining the corresponding initialization and adjustment mechanism to further improve the robustness of the network.Among them, the O(Ni) update algorithm ensures the credibility of the node, the uniform connection algorithm reduces the risk of network exposure, and the node active removal algorithm removes suspicious nodes in real time. The DSBot model is evaluated from the aspects of average waiting time, command reachable rate, network connectivity and reconstruction stability time. Experimental results show that DSBot model can meet the basic requirements of botnet command control mechanism in terms of efficiency and resiliency. Finally, possible defense strategies are discussed in terms of terminal clearance, command control server strikes and command control process. This paper aims to improve defense solutions by predicting new botnet models.
Botnets have become one of the major intrusion threats to cybersecurity. P2P botnets have high concealment and resilience because of their distributed structure, which are difficult to be completely dismantled and destroyed. Existing methods based on traffic statistics and vulnerability tracing cannot effectively solve the problem of P2P botnet disintegration. Although P2P networks emphasize that each node is peer-to-peer, the difference in processing power, resource distribution, and node bandwidth can lead to a certain heterogeneity. The critical nodes bridge the underlying bot nodes and the upper control server. Traditional methods for ranking the importance of nodes mainly relies on classical graph-theoretic feature statistics method, such as degree, betweenness, clustering coefficient, feature vector centrality, PageRank, etc. In this paper, botnet defense strategies are investigated from the perspective of complex network graph theory, and graph embedding and deep reinforcement learning combination optimization methods are adopted to handle the critical nodes identification problem of P2P botnets. Then, a novel adaptive node removal model called PeerRemove is proposed. The model uses Structure2vec graph embedding to characterize the network structure information as a low-dimensional embedding space, and it uses n-step Q-learning to train the model to learn complex topological patterns to find the critical nodes that effectively disintegrate the network. To evaluate the effectiveness of the proposed method, the Area Under the Curve (AUC) of the Largest Connected Component (LCC) size during node removal is used as an evaluation indicator, and six different types real or synthetic P2P botnets are selected, namely Sality, ZeroAccess, NSIS, Mozi, Gnutella, and Peer sampling service. Experiments are conducted on many real and model networks with node sizes reaching thousands and tens of thousands, and our method is compared with five classical static or dynamic node attack methods of HAD, PageRank, CI, BPD, and HPRA. The experimental results show that the overall AUC curve of the PeerRemove method is lower than that of the benchmark method, which can minimize botnet resiliency at a small cost. The proposed method is superior to the existing node removal methods and shows good robustness and feasibility. To demonstrate the generality of this method, it is tested on a centralized topological dataset and good experimental results are obtained.
Botnet has become one of the serious threats to the Internet ecosystem, and botnet detection is crucial for tracking and mitigating network threats on the Internet. In the evolution of emerging botnets, peer-to-peer (P2P) botnets are more dangerous and resistant because of their distributed characteristics. Among them, unstructured P2P botnets use custom protocols for communication, which can be integrated with legitimate P2P traffic. Moreover, their topological structure is more complex, and a complete topology cannot be obtained easily, making them more concealed and difficult to detect. The bot itself is a kind of overlay network, and research shows that the nodes with shared neighbors usually belong to a certain community. Aiming at unstructured P2P botnets and exploiting complex network theory, from the perspective of shared neighbor nodes, this article proposes a botnet detection framework called Peertrap based on self-avoiding random walks (SAW) community detection under the condition of incomplete topological information. Firstly, network traffic is converted into Netflow, by utilizing Apache Flink big data platform. Also, a P2P traffic cluster feature extraction rule is proposed for distinguishing P2P traffic from non-P2P traffic, and it is formulated by using the upstream and downstream traffic and address distribution threshold features. Then, the confidence between P2P clusters is calculated by the Jaccard coefficient to construct a shared neighbor graph, and the same type of P2P communities are mined by hierarchical clustering using SAW algorithm combined with PCA. Finally, two community attributes, mean address distribution degree and mean closeness degree, are used to distinguish botnets. Experiments are conducted on three unstructured P2P botnets datasets, Sality, Kelihos, and ZeroAccess, and the CTU classic datasets, and then good detection results can be achieved. The framework overcomes one of the most critical P2P botnet detection challenges. It can detect P2P bots with high accuracy in the presence of legitimate P2P traffic, incomplete information network topology, and C&C channel encryption. Our method embodies the typical application of complex network theory in botnet detection field, and it can detect botnets from different families in the network, with good parallelism and scalability.
With the continuous evolution of the Internet, as well as the development of the Internet of Things, smart terminals, cloud platforms, and social platforms, botnets showing the characteristics of platform diversification, communication concealment, and control intelligence. This survey analyzes and compares the most important efforts in the botnet detection area in recent years. It studies the mechanism characteristics of botnet architecture, life cycle, and command and control channel and provides a classification of botnet detection techniques. It focuses on the application of advanced technologies such as deep learning, complex network, swarm intelligence, moving target defense (MTD), and software-defined network (SDN) for botnet detection. From the four dimensions of service, intelligence, collaboration, and assistant, a common bot detection evaluation system (CBDES) is proposed, which defines a new global capability measurement standard. Combing with expert scores and objective weights, this survey proposes quantitative evaluation and gives a visual representation for typical detection methods. Finally, the challenges and future trends in the field of botnet detection are summarized.
The rapid development of the Internet of Things (IoT) also generates security threats that cannot be ignored. This paper lists the development history of botnets, introduces representative IoT botnets, and reveals their new characteristics. The botnet mechanism and characteristics of IoT botnets are analyzed in depth from three aspects: composition structure, life cycle, and attack behavior, and are compared with traditional botnets. Networks for comparison. The analysis discusses the details of IoT botnet technologies such as scanning discovery, covert communication and survival residency. Summarizes the research status of IoT botnet detection technologies and gives future directions. Finally, the importance of preventing IoT botnets and solving IoT security problems is discussed.
Recommender systems are recently becoming more significant in the age of rapid development of the information technology and pervasive computing to provide e-commerce users’ appropriate items. In recent years, various model-based and neighbor-based approaches have been proposed, which improve the accuracy of recommendation to some extent. However, these approaches are less accurate than expected when users’ ratings on items are very sparse in comparison with the huge number of users and items in the user-item rating matrix. Data sparsity and high dimensionality in recommender systems have negatively affected the performance of recommendation. To solve these problems, we propose a hybrid recommendation approach and framework using Gaussian mixture model and matrix factorization technology. Specifically, the improved cosine similarity formula is first used to get users’ neighbors, and initial ratings on unrated items are predicted. Second, users’ ratings on items are converted into users’ preferences on items’ attributes to reduce the problem of data sparsity. Again, the obtained user-item-attribute preference data is trained through the Gaussian mixture model to classify users with the same interests into the same group. Finally, an enhanced social matrix factorization method fusing user’s and item’s social relationships is proposed to predict the other unseen ratings. Extensive experiments on two real-world datasets are conducted and the results are compared with the existing major recommendation models. Experimental results demonstrate that the proposed method achieves the better performance compared to other techniques in accuracy.
Each method, machine learning-based and rule-based, for extracting PPI (Protein-Protein Interactions) from biomedical literatures has advantages and disadvantages. In order to utilise the superiorities of these methods reasonably, this paper designs a new structure for the relational word dictionary, uses weakly supervised method to find dictionary items and fill them into the PPI relational word dictionary, and presents a method to learn PPI relational rules automatically based on slot-filling principle. Moreover, this method takes the PPI relation instances without apparent relational words into consideration aiming to improve the final performance. We conduct the experiments with five authoritative biomedical PPI corpuses, and discover some distribution features about PPI relational words. Finally, we also compare our method with several recent research achievements, and the results show that the performance of our method is better than the average level among these methods.