Search Results (3)

The distribution of wireless network systems challenges the communication security of Internet of Things (IoT), and the IPv6 protocol is gradually becoming the main communication protocol under the IoT. The Neighbor Discovery Protocol (NDP), as the base protocol of IPv6, includes address resolution, DAD, route redirection and other functions. The NDP protocol faces many attacks, such as DDoS attacks, MITM attacks, etc. In this paper, we focus on the communication-addressing problem between nodes in the Internet of Things (IoT). We propose a Petri-Net-based NS flooding attack model for the flooding attack problem of address resolution protocols under the NDP protocol. Through a fine-grained analysis of the Petri Net model and attacking techniques, we propose another Petri-Net-based defense model under the SDN architecture, achieving security for communications. We further simulate the normal communication between nodes in the EVE-NG simulation environment. We implement a DDoS attack on the communication protocol by an attacker who obtains the attack data through the THC-IPv6 tool. In this paper, the SVM algorithm, random forest algorithm (RF) and Bayesian algorithm (NBC) are used to process the attack data. The NBC algorithm is proven to exhibit high accuracy in classifying and identifying data through experiments. Further, the abnormal data are discarded through the abnormal data processing rules issued by the controller in the SDN architecture, to ensure the security of communications between nodes. Full article

Business process anomalous behavior detection reveals unexpected cases from event logs to ensure the trusted operation of information systems. Anomaly behavior is mainly identified through a log-to-model alignment analysis or numerical outlier detection. However, both approaches ignore the influence of probability distributions or activity relationships in process activities. Based on this concern, this paper incorporates the behavioral relationships characterized by the process model and the joint probability distribution of nodes related to suspected anomalous behaviors. Moreover, a Petri Net-Based Bayesian Network (PN-BBN) is proposed to detect anomalous behaviors based on the probabilistic inference of behavioral contexts. First, the process model is filtered based on the process structure of the process activities to identify the key regions where the suspected anomalous behaviors are located. Then, the behavioral profile of the activity is used to prune it to position the ineluctable paths that trigger these activities. Further, the model is used as the architecture for parameter learning to construct the PN-BBN. Based on this, anomaly scores are inferred based on the joint probabilities of activities related to suspected anomalous behaviors for anomaly detection under the constraints of control flow and probability distributions. Finally, PN-BBN is implemented based on the open-source frameworks PM4PY and PMGPY and evaluated from multiple metrics with synthetic and real process data. The experimental results demonstrate that PN-BBN effectively identifies anomalous process behaviors and improves the reliability of information systems. Full article

In patients with severe heart disease, the implantation of a ventricular assist device (VAD) may be necessary, especially in patients with an indication for heart transplantation. For this, the Institute Dante Pazzanese of Cardiology (IDPC) has developed an implantable centrifugal blood pump that will be able to help a diseased human heart to maintain physiological blood flow and pressure. This device will be used as a totally or partially implantable VAD. Therefore, performance assurance and correct specification of the VAD are important factors in achieving a safe interaction between the device and the patient’s behavior or condition. Even with reliable devices, some failures may occur if the pumping control does not keep up with changes in the patient’s behavior or condition. If the VAD control system has no fault tolerance and no system dynamic adaptation that occurs according to changes in the patient’s cardiovascular system, a number of limitations can be observed in the results and effectiveness of these devices, especially in patients with acute comorbidities. This work proposes the application of a mechatronic approach to this class of devices based on advanced control, instrumentation, and automation techniques to define a method to develop a hierarchical supervisory control system capable of dynamically, automatically, and safely VAD control. For this methodology, concepts based on Bayesian networks (BN) were used to diagnose the patient’s cardiovascular system conditions, Petri nets (PN) to generate the VAD control algorithm, and safety instrumented systems to ensure the safety of the VAD system. Full article