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.
Funder
National Natural Science Foundation of China
Subject
Management, Monitoring, Policy and Law,Renewable Energy, Sustainability and the Environment,Geography, Planning and Development,Building and Construction
Reference69 articles.
1. Smart cities and cyber security: Are we there yet? A comparative study on the role of standards, third party risk management and security ownership;Vitunskaite;Comput. Secur.,2019
2. Security, privacy and risks within smart cities: Literature review and development of a smart city interaction framework;Ismagilova;Inf. Syst. Front.,2020
3. Cybersecurity risk assessment in smart city infrastructures;Kalinin;Machines,2021
4. Wood, L. (2021, April 02). Global Smart Cities Market Report 2020–2025: Analysis & Forecasts of Smart Transportation, Smart Buildings, Smart Utilities, Smart Citizen Services. Available online: https://www.businesswire.com/news/home/20201008005413/en/Global-Smart-Cities-Market-Report-2020-2025-Analysis-Forecasts-of-Smart-Transportation-Smart-Buildings-Smart-Utilities-Smart-Citizen-Services—ResearchAndMarkets.com.
5. Assessing information security risk for an evolving smart city based on fuzzy and grey FMEA;Li;J. Intell. Fuzzy Syst.,2018
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Data Security: A Systematic Literature Review and Critical Analysis;2023 International Conference on Advancement in Data Science, E-learning and Information System (ICADEIS);2023-08-02