Formal Verification of ZigBee-Based Routing Protocol for Smart Grids

2022 ◽  
pp. 942-957
Author(s):  
Adnan Rashid ◽  
Osman Hasan
Keyword(s):  
Smart Grid ◽  
Formal Methods ◽  
Routing Protocol ◽  
Routing Protocols ◽  
Smart Grids ◽  
Communication Technologies ◽  
Power Grids ◽  
Communication Link ◽  
Grid Systems ◽  
Efficiency Performance

Smart grids provide a digital upgradation of the conventional power grids by alleviating the power outages and voltage sags that occur due to their inefficient communication technologies and systems. They mainly tend to strengthen the efficiency, performance, and reliability of the traditional grids by establishing a trusted communication link between their different components through routing protocols. The conventional methods, i.e., the computer-based simulations and net testing, for analyzing these routing network protocols are error-prone and thus cannot be relied upon while analyzing the safety-critical smart grid systems. Formal methods can cater for the above-mentioned inaccuracies and thus can be very beneficial in analyzing communication protocols used in smart grids. In order to demonstrate the utilization and effectiveness of formal methods in analyzing smart grid routing protocols, we use the UPPAAL model checker to formally model the ZigBee-based routing protocol. We also verify some of its properties, such as, liveness, collision avoidance and deadlock freeness.

Formal Verification of ZigBee-Based Routing Protocol for Smart Grids

2021 ◽  
pp. 1002-1017
Author(s):  
Adnan Rashid ◽  
Osman Hasan
Keyword(s):  
Smart Grid ◽  
Formal Methods ◽  
Routing Protocol ◽  
Routing Protocols ◽  
Smart Grids ◽  
Communication Technologies ◽  
Power Grids ◽  
Communication Link ◽  
Grid Systems ◽  
Efficiency Performance

Smart grids provide a digital upgradation of the conventional power grids by alleviating the power outages and voltage sags that occur due to their inefficient communication technologies and systems. They mainly tend to strengthen the efficiency, performance, and reliability of the traditional grids by establishing a trusted communication link between their different components through routing protocols. The conventional methods, i.e., the computer-based simulations and net testing, for analyzing these routing network protocols are error-prone and thus cannot be relied upon while analyzing the safety-critical smart grid systems. Formal methods can cater for the above-mentioned inaccuracies and thus can be very beneficial in analyzing communication protocols used in smart grids. In order to demonstrate the utilization and effectiveness of formal methods in analyzing smart grid routing protocols, we use the UPPAAL model checker to formally model the ZigBee-based routing protocol. We also verify some of its properties, such as, liveness, collision avoidance and deadlock freeness.

Securing SDN-Enabled Smart Power Grids

2018 ◽  
pp. 79-98
Author(s):  
Uttam Ghosh ◽  
Pushpita Chatterjee ◽  
Sachin Shetty
Keyword(s):  
Smart Grid ◽  
Smart Grids ◽  
Single Point ◽  
Performance Comparison ◽  
Power Grids ◽  
Smart Power ◽  
Control Center ◽  
Grid Networks ◽  
Result Show ◽  
Sdn Controller

Software-defined networking (SDN) provides flexibility in controlling, managing, and dynamically reconfiguring the distributed heterogeneous smart grid networks. Considerably less attention has been received to provide security in SDN-enabled smart grids. Centralized SDN controller protects smart grid networks against outside attacks only. Furthermore, centralized SDN controller suffers from a single point of compromise and failure which is detrimental to security and reliability. This chapter presents a framework with multiple SDN controllers and security controllers that provides a secure and robust smart grid architecture. The proposed framework deploys a local IDS to provide security in a substation. Whereas a global IDS is deployed to provide security in control center and overall smart grid network, it further verifies the consequences of control-commands issued by SDN controller and SCADA master. Performance comparison and simulation result show that the proposed framework is efficient as compared to existing security frameworks for SDN-enabled smart grids.

Detecting Synchronization Signal Jamming Attacks for Cybersecurity in Cyber-Physical Energy Grid Systems

2020 ◽  
pp. 685-695
Author(s):  
Danda B. Rawat ◽  
Brycent A. Chatfield
Keyword(s):  
Smart Grid ◽  
Smart Grids ◽  
Jamming Attacks ◽  
Grid Systems ◽  
Smart Grid Communications ◽  
Signal Jamming ◽  
Physical Energy ◽  
Service Attack ◽  
Synchronization Signal ◽  
Energy Grid

The transformation of the traditional power grid into a cyber physical smart energy grid brings significant improvement in terms of reliability, performance, and manageability. Most importantly, existing communication infrastructures such as LTE represent the backbone of smart grid functionality. Consequently, connected smart grids inherit vulnerabilities associated with the networks including denial of service attack by means of synchronization signal jamming. This chapter presents cybersecurity in cyber-physical energy grid systems to mitigate synchronization signal jamming attacks in LTE based smart grid communications.

Securing SDN-Enabled Smart Power Grids

2022 ◽  
pp. 1028-1046
Author(s):  
Uttam Ghosh ◽  
Pushpita Chatterjee ◽  
Sachin Shetty
Keyword(s):  
Smart Grid ◽  
Smart Grids ◽  
Single Point ◽  
Performance Comparison ◽  
Power Grids ◽  
Smart Power ◽  
Control Center ◽  
Grid Networks ◽  
Result Show ◽  
Sdn Controller

Software-defined networking (SDN) provides flexibility in controlling, managing, and dynamically reconfiguring the distributed heterogeneous smart grid networks. Considerably less attention has been received to provide security in SDN-enabled smart grids. Centralized SDN controller protects smart grid networks against outside attacks only. Furthermore, centralized SDN controller suffers from a single point of compromise and failure which is detrimental to security and reliability. This chapter presents a framework with multiple SDN controllers and security controllers that provides a secure and robust smart grid architecture. The proposed framework deploys a local IDS to provide security in a substation. Whereas a global IDS is deployed to provide security in control center and overall smart grid network, it further verifies the consequences of control-commands issued by SDN controller and SCADA master. Performance comparison and simulation result show that the proposed framework is efficient as compared to existing security frameworks for SDN-enabled smart grids.

Data and Communication Infrastructure in Smart Grids

2022 ◽  
pp. 380-407
Author(s):  
Abdelmadjid Recioui ◽  
Youcef Grainat
Keyword(s):  
Smart Grid ◽  
Smart Grids ◽  
Communication Systems ◽  
Data Communication ◽  
Future Generations ◽  
Wireless Communication Systems ◽  
Communication Link ◽  
Communication Infrastructure ◽  
Grid Applications ◽  
State Of Art

The communication infrastructure constitutes the key element in smart grids. There have been great advances to enhance the way data is communicated among the different smart grid applications. The aim of this chapter is to present the data communication part of the smart grid with some pioneering developments in this topic. A succinct review of the state of art projects to improve the communication link is presented. An illustrative simulation using LABVIEW is included with a proposed idea of introducing some newly technologies involved in the current and future generations of wireless communication systems.

scholarly journals Continuous Quantitative Risk Management in Smart Grids Using Attack Defense Trees

Sensors ◽  
2020 ◽  
Vol 20 (16) ◽  
pp. 4404 ◽  
Author(s):  
Erkuden Rios ◽  
Angel Rego ◽  
Eider Iturbe ◽  
Marivi Higuero ◽  
Xabier Larrucea
Keyword(s):  
Risk Assessment ◽  
Smart Grid ◽  
Smart Grids ◽  
Investment Decision ◽  
Holistic Approach ◽  
Security And Privacy ◽  
Sensitivity Analyses ◽  
Building Energy Efficiency ◽  
Risk Minimization ◽  
Grid Systems

Although the risk assessment discipline has been studied from long ago as a means to support security investment decision-making, no holistic approach exists to continuously and quantitatively analyze cyber risks in scenarios where attacks and defenses may target different parts of Internet of Things (IoT)-based smart grid systems. In this paper, we propose a comprehensive methodology that enables informed decisions on security protection for smart grid systems by the continuous assessment of cyber risks. The solution is based on the use of attack defense trees modelled on the system and computation of the proposed risk attributes that enables an assessment of the system risks by propagating the risk attributes in the tree nodes. The method allows system risk sensitivity analyses to be performed with respect to different attack and defense scenarios, and optimizes security strategies with respect to risk minimization. The methodology proposes the use of standard security and privacy defense taxonomies from internationally recognized security control families, such as the NIST SP 800-53, which facilitates security certifications. Finally, the paper describes the validation of the methodology carried out in a real smart building energy efficiency application that combines multiple components deployed in cloud and IoT resources. The scenario demonstrates the feasibility of the method to not only perform initial quantitative estimations of system risks but also to continuously keep the risk assessment up to date according to the system conditions during operation.

scholarly journals Authentication of Smart Grid

Cryptography ◽  
2020 ◽  
pp. 257-276
Author(s):  
Melesio Calderón Muñoz ◽  
Melody Moh
Keyword(s):  
Smart Grid ◽  
Communication Networks ◽  
Smart Grids ◽  
Mesh Networks ◽  
Quantum Computer ◽  
Electrical Power ◽  
Public Key Cryptography ◽  
Power Grids ◽  
Public Key ◽  
Self Healing

The electrical power grid forms the functional foundation of our modern societies, but in the near future our aging electrical infrastructure will not be able to keep pace with our demands. As a result, nations worldwide have started to convert their power grids into smart grids that will have improved communication and control systems. A smart grid will be better able to incorporate new forms of energy generation as well as be self-healing and more reliable. This paper investigates a threat to wireless communication networks from a fully realized quantum computer, and provides a means to avoid this problem in smart grid domains. We discuss and compare the security aspects, the complexities and the performance of authentication using public-key cryptography and using Merkel trees. As a result, we argue for the use of Merkle trees as opposed to public key encryption for authentication of devices in wireless mesh networks (WMN) used in smart grid applications.

Application of WSN in Smart Grid: Present and Future Perspectives

2020 ◽  
Vol 10 ◽  
Author(s):  
Abdullah Al-Mamun Bulbul ◽  
Rayhan Habib Jibon ◽  
Hasibur Rahman ◽  
Sandipa Biswas ◽  
Md. Bellal Hossain ◽  
...  
Keyword(s):  
Power Generation ◽  
Smart Grid ◽  
Routing Protocols ◽  
Communication Technologies ◽  
Environmental Data ◽  
Mac Layer ◽  
Generation System ◽  
Wide Range ◽  
Power Generation System ◽  
Monitoring And Measurement

Abstract:: Modern life aims at transforming the world less vulnerable to risk, shortening our workload, saving time, assuring security, and overall making our life more comfortable. These goals may be achieved through the implementation of smart environments that are formed with different sensors employed in the collection of various environmental data. The collaboration of these type of sensors is known as wireless sensor networks (WSN) that enhances the power generation system and serve smartly. A wide range of studies suggests that WSN is an auspicious nomenclature that possesses the capability of turning the traditional way of electric power generation, distribution, utilization monitoring and measurement, fault tolerance, etc. into a smart one. However, the application of WSN in the smart grid is not a feasible task. Several challenges have to be overcome to introduce WSN effectively in the smart grid. This review begins with an in-depth discussion on the migration from the conventional power grid to a smart grid (SG). Then how the introduction of WSN in SG benefits the conventional-SG is discussed followed by the comparative analysis of the security demands, MAC layer protocols, and routing protocols of WSN-based-SG. Finally, the communication technologies, future motives, and intact fields of WSN-based-SG have been discussed in this review.

Data and Communication Infrastructure in Smart Grids

2021 ◽  
pp. 1-28
Author(s):  
Abdelmadjid Recioui ◽  
Youcef Grainat
Keyword(s):  
Smart Grid ◽  
Smart Grids ◽  
Communication Systems ◽  
Data Communication ◽  
Future Generations ◽  
Wireless Communication Systems ◽  
Communication Link ◽  
Communication Infrastructure ◽  
Grid Applications ◽  
State Of Art

The communication infrastructure constitutes the key element in smart grids. There have been great advances to enhance the way data is communicated among the different smart grid applications. The aim of this chapter is to present the data communication part of the smart grid with some pioneering developments in this topic. A succinct review of the state of art projects to improve the communication link is presented. An illustrative simulation using LABVIEW is included with a proposed idea of introducing some newly technologies involved in the current and future generations of wireless communication systems.

scholarly journals Research on the Application of 5G Network Slicing in Smart Grid

2021 ◽  
Vol 2078 (1) ◽  
pp. 012077
Author(s):  
Dongwu ◽  
Zhangtao ◽  
Chenxiaojin ◽  
Zhuhailong ◽  
Pengdili
Keyword(s):  
Smart Grid ◽  
Smart Grids ◽  
High Reliability ◽  
Power Grids ◽  
Stable Operation ◽  
Typical Application ◽  
Network Slicing ◽  
Existing Problems ◽  
5G Network ◽  
Domestic Power

Abstract With the continuous construction and development of domestic power grids, the state has put forward many effective strategies to achieve the effectiveness and durability of energy supply, in order to ensure the stable operation of the power grid and the construction of smart grids. One of the most important components of the smart grid is various communication technologies. 5G network slicing is a typical application of the smart grid, because the wide-area distributed grid has greater requirements for low latency, high reliability and security. And 5G network slicing has the ability to meet its requirements. This paper analyzes the principle of 5G network slicing, analyzes the end-to-end isolation scheme of network slicing and the current smart grid slicing business model and existing problems, and proposes an effective solution for building a smart 5G slicing network.

Sign in / Sign up

Export Citation Format

Share Document