| Title | SCKPISec: A KPI-Guided Model-Based Approach to Realize Security by Design for Smart City Systems |
|---|---|
| ID_Doc | 36240 |
| Authors | Ye, T; Zhuang, Y; Qiao, GZ |
| Title | SCKPISec: A KPI-Guided Model-Based Approach to Realize Security by Design for Smart City Systems |
| Year | 2023 |
| Published | Sustainability, 15, 3 |
| 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 (Smart City KPI-guided Security). 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. |
Similar Articles
| ID | Score | Article |
|---|---|---|
40264
|
Mohammad, N A Multi-Tiered Defense Model for the Security Analysis of Critical Facilities in Smart Cities(2019) | |
| 36550
|
Dahmane, WM; Ouchani, S; Bouarfa, H Towards a reliable smart city through formal verification and network analysis(2021) | |
| 39934
|
Ijaz, S; Shah, MA; Khan, A; Ahmed, M Smart Cities: A Survey on Security Concerns(2016)International Journal Of Advanced Computer Science And Applications, 7, 2 | |
| 39721
|
Nautiyal, L; Malik, P; Agarwal, A Cybersecurity System: An Essential Pillar of Smart Cities(2018) | |
| 38414
|
Rani, S; Kataria, A; Chauhan, M; Rattan, P; Kumar, R; Sivaraman, AK Security and Privacy Challenges in the Deployment of Cyber-Physical Systems in Smart City Applications: State-of-Art Work(2022) |