Probabilistic Trust Modeling and Security Verification for Smart Grid Systems
Smart Grids represent the future of sustainable and intelligent energy management; however, their distributed, heterogeneous, and dynamic nature introduces critical security and trust challenges. Traditional cybersecurity approaches often fall short in modeling the uncertainty and partial knowledge...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | , |
| منشور في: |
2026
|
| الوصول للمادة أونلاين: | http://hdl.handle.net/11675/14519 https: |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| _version_ | 1870679723448729600 |
|---|---|
| author | Sultan, Khalid |
| author2 | Ikram, Muhammad Rezk, Aya |
| author2_role | author author |
| author_facet | Sultan, Khalid Ikram, Muhammad Rezk, Aya |
| author_role | author |
| dc.creator.none.fl_str_mv | Sultan, Khalid Ikram, Muhammad Rezk, Aya |
| dc.date.none.fl_str_mv | 2026-06-03T10:09:34Z 2026-06-03T10:09:34Z 2026-01-02 |
| dc.identifier.none.fl_str_mv | 10.1109/ISGTMiddleEast65737.2025.11314277 9798331537395 http://hdl.handle.net/11675/14519 https: www.scopus.com/pages/publications/105032137101 |
| dc.relation.none.fl_str_mv | Electrical and Computer Engineering |
| dc.title.none.fl_str_mv | Probabilistic Trust Modeling and Security Verification for Smart Grid Systems |
| dc.type.none.fl_str_mv | Conference Paper info:eu-repo/semantics/publishedVersion |
| description | Smart Grids represent the future of sustainable and intelligent energy management; however, their distributed, heterogeneous, and dynamic nature introduces critical security and trust challenges. Traditional cybersecurity approaches often fall short in modeling the uncertainty and partial knowledge inherent in Smart Grid environments. In this paper, we propose a novel formal trust-based framework for evaluating the security of Smart Grids under uncertainty. Our approach extends the Probabilistic Computation Tree Logic of Trust (PCTLT) with a group operator, resulting in the Probabilistic Computation Tree Logic of Group Trust (PCTLT+). We use this logic to formally specify trust-related security properties and verify them using a model checking technique. A scenario of a Smart Grid Energy Management System is introduced to illustrate key security concerns, such as device authenticity, data integrity, privacy protection, and command legitimacy. The proposed framework enables rigorous and interpretable reasoning about security through quantifiable trust relationships, providing a foundation for developing resilient and scalable Smart Grid infrastructures. Our work addresses a critical gap in current Smart Grid research by formally incorporating trust and uncertainty into the security evaluation process. |
| id | AUKR_fe5fb58baeaf9dc5b613c77ab662ef68 |
| identifier_str_mv | 10.1109/ISGTMiddleEast65737.2025.11314277 9798331537395 www.scopus.com/pages/publications/105032137101 |
| network_acronym_str | AUKR |
| network_name_str | AU Kuwait Rep |
| oai_identifier_str | oai:dspace.auk.edu.kw:11675/14519 |
| publishDate | 2026 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | Probabilistic Trust Modeling and Security Verification for Smart Grid SystemsSultan, KhalidIkram, MuhammadRezk, AyaSmart Grids represent the future of sustainable and intelligent energy management; however, their distributed, heterogeneous, and dynamic nature introduces critical security and trust challenges. Traditional cybersecurity approaches often fall short in modeling the uncertainty and partial knowledge inherent in Smart Grid environments. In this paper, we propose a novel formal trust-based framework for evaluating the security of Smart Grids under uncertainty. Our approach extends the Probabilistic Computation Tree Logic of Trust (PCTLT) with a group operator, resulting in the Probabilistic Computation Tree Logic of Group Trust (PCTLT+). We use this logic to formally specify trust-related security properties and verify them using a model checking technique. A scenario of a Smart Grid Energy Management System is introduced to illustrate key security concerns, such as device authenticity, data integrity, privacy protection, and command legitimacy. The proposed framework enables rigorous and interpretable reasoning about security through quantifiable trust relationships, providing a foundation for developing resilient and scalable Smart Grid infrastructures. Our work addresses a critical gap in current Smart Grid research by formally incorporating trust and uncertainty into the security evaluation process.2026-06-03T10:09:34Z2026-06-03T10:09:34Z2026-01-02Conference Paperinfo:eu-repo/semantics/publishedVersion10.1109/ISGTMiddleEast65737.2025.113142779798331537395http://hdl.handle.net/11675/14519https:www.scopus.com/pages/publications/105032137101Electrical and Computer Engineeringoai:dspace.auk.edu.kw:11675/145192026-06-11T11:52:04Z |
| spellingShingle | Probabilistic Trust Modeling and Security Verification for Smart Grid Systems Sultan, Khalid |
| status_str | publishedVersion |
| title | Probabilistic Trust Modeling and Security Verification for Smart Grid Systems |
| title_full | Probabilistic Trust Modeling and Security Verification for Smart Grid Systems |
| title_fullStr | Probabilistic Trust Modeling and Security Verification for Smart Grid Systems |
| title_full_unstemmed | Probabilistic Trust Modeling and Security Verification for Smart Grid Systems |
| title_short | Probabilistic Trust Modeling and Security Verification for Smart Grid Systems |
| title_sort | Probabilistic Trust Modeling and Security Verification for Smart Grid Systems |
| url | http://hdl.handle.net/11675/14519 https: |