Enhancing Security Requirements Engineering for IoT Smart Homes: A BERT-based Approach to Automate completeness checking

Ensuring the completeness of natural-language security requirements is critical to maintaining the security and reliability of Internet of Things (IoT) systems, especially in high-risk domains. However, existing Security Requirements Engineering (SRE) approaches lack automated mechanisms to assess completeness against recognized standards, relying heavily on manual processes that are often inefficient and error-prone. This study aims to automate the completeness assessment of IoT security requirements, ensuring alignment with the Common Criteria (CC) standard and reducing dependency on manual evaluation. The proposed methodology compares a fine-tuned BERT model assessment with the existing traditional deep learning models to assess completeness of security requirements. The fine-tuned BERT model is applied to both expert-validated datasets and auto-extracted requirements from IoT smart homes Software Requirement Specification (SRS) documents. The fine-tuned BERT model achieved 78% accuracy on expert-validated data and 97% on IoT SRS-extracted data, outperforming traditional deep learning models such as CNN, GRU, LSTM, and RNN. These results highlight the superior capability of transformer-based models in understanding and assessing the completeness of security requirements. This research introduces a scalable, standards-aligned; by automating completeness assessment, it enhances accuracy, efficiency, and security assurance in IoT environments.

Authors

Institutions

Publication Details

Journal
Scientific African
Published
2026-02-21
DOI
https://doi.org/10.1016/j.sciaf.2026.e03275
Primary Topic
Information and Cyber Security
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Enhancing Security Requirements Engineering for IoT Smart Homes: A BERT-based Approach to Automate completeness checking

Zaid Bin Faheem, Aliza Sarlan, Abdul Rehman Gilal, Khairul Shafee Kalid et al.
Scientific African
Information and Cyber Security
article

Enhancing Security Requirements Engineering for IoT Smart Homes: A BERT-based Approach to Automate completeness checking

Zaid Bin Faheem, Aliza Sarlan, Abdul Rehman Gilal, Khairul Shafee Kalid, Umar Danjuma Maiwada, Aftab Alam Janisar, Ayman Meidan
article en

Abstract

Ensuring the completeness of natural-language security requirements is critical to maintaining the security and reliability of Internet of Things (IoT) systems, especially in high-risk domains. However, existing Security Requirements Engineering (SRE) approaches lack automated mechanisms to assess completeness against recognized standards, relying heavily on manual processes that are often inefficient and error-prone. This study aims to automate the completeness assessment of IoT security requirements, ensuring alignment with the Common Criteria (CC) standard and reducing dependency on manual evaluation. The proposed methodology compares a fine-tuned BERT model assessment with the existing traditional deep learning models to assess completeness of security requirements. The fine-tuned BERT model is applied to both expert-validated datasets and auto-extracted requirements from IoT smart homes Software Requirement Specification (SRS) documents. The fine-tuned BERT model achieved 78% accuracy on expert-validated data and 97% on IoT SRS-extracted data, outperforming traditional deep learning models such as CNN, GRU, LSTM, and RNN. These results highlight the superior capability of transformer-based models in understanding and assessing the completeness of security requirements. This research introduces a scalable, standards-aligned; by automating completeness assessment, it enhances accuracy, efficiency, and security assurance in IoT environments.

Scientific AfricanVol. 31
Florida International University (US), Universiti Teknologi Petronas (MY), Umaru Musa Yar'adua University (NG), Wuhan University (CN), Arab Open University (SA)
Openalex Percentile: Top 63%
Information and Cyber Security
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.