SCKPISec: A KPI-Guided Model-Based Approach to Realize Security by Design for Smart City Systems

Tong Ye, Yi Zhuang () and Gongzhe Qiao
Additional contact information
Tong Ye: College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
Yi Zhuang: College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
Gongzhe Qiao: College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China

Sustainability, 2023, vol. 15, issue 3, 1-41

Abstract: This paper focuses on security by design for smart city systems. Insecure smart city systems may cause serious losses to the social, environmental and economic development of smart cities. Therefore, it is essential to ensure security by design for smart city systems. For large-scale, hyper-connected smart city systems consisting of a large number of interconnected devices of different types, analyzing the impact of security threats on the whole system as well as the various aspects of smart cities at the early design stage of the system is an important and difficult problem that remains unsolved. To address this problem, this paper proposes a KPI-guided model-based approach and accompanying prototype tool, named SCKPISec ( S mart C ity KPI -guided Sec urity). By applying the techniques of UML modeling, formal modeling and verification, and KPIs evaluation, SCKPISec provides an effective way to realize KPI-guided security by design for smart city systems. We evaluated SCKPISec through case studies. The results show that SCKPISec can efficiently detect the potential problems of smart city systems under security threats and has high feasibility and applicability in ensuring KPI-guided security by design for smart city systems. Compared with existing model-based security approaches, the advantage of SCKPISec is that it has a highly automated verification process and provides an effective and efficient solution to evaluate the potential KPI losses of smart cities under security threats at the early design stage of smart city systems.

Keywords: cyber security; smart city; IoT; model-driven engineering; security by design; formal method; UML; KPI (search for similar items in EconPapers)
JEL-codes: O13 Q Q0 Q2 Q3 Q5 Q56 (search for similar items in EconPapers)
Date: 2023
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2071-1050/15/3/1884/pdf (application/pdf)
https://www.mdpi.com/2071-1050/15/3/1884/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jsusta:v:15:y:2023:i:3:p:1884-:d:1040417

Access Statistics for this article

Sustainability is currently edited by Ms. Alexandra Wu

More articles in Sustainability from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().