Title: Formal modelling of software security requirements based on improved clustering algorithm and multi-modal information fusion

Authors: Tangsen Huang; Zhenhua Dai

Addresses: School of Information Engineering, Hunan University of Science and Engineering, Yongzhou 425199, Hunan, China ' School of Information Engineering, Hunan University of Science and Engineering, Yongzhou 425199, Hunan, China

Abstract: Manual analysis and verification are common means and methods of software security requirements that work at present, but they have the disadvantages of being long-consuming and low efficiency. In this paper, the k-means algorithm was used to distinguish feature points by k-value, calculate the probability of each point being selected as the cluster centre, and then obtain a new cluster number. Using the K-nearest neighbour (KNN) algorithm and spectral clustering principle, a clustering analysis method based on multi-attribute decision-making was constructed, which can better realise target recognition in a complex environment. The paper designed a contrast experiment based on the improved clustering algorithm. The results showed that the enhanced clustering algorithm can better model the software security requirements, this article include enhancing target recognition accuracy in complex environments using the k-means algorithm with variable k-values for clustering, integrating the KNN algorithm with spectral clustering principles for effective identification in complex environments.

Keywords: clustering algorithm; software security; formal methods; model checking; multimodal information fusion; formal modelling.

DOI: 10.1504/IJIIDS.2025.147418

International Journal of Intelligent Information and Database Systems, 2025 Vol.17 No.3/4, pp.387 - 404

Received: 13 May 2024
Accepted: 14 Aug 2024
Published online: 15 Jul 2025 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article