2026
FORMALIZATION OF A METHODOLOGY FOR ANALYZING INFORMATION SECURITY THREATS OF CRITICAL INFORMATION INFRASTRUCTURE FACILITIES USING DIGITAL TWINS BASED ON FINITE STATE MACHINE ALGEBRA
The paper presents a formalization of a methodology for analyzing information security threats to critical information infrastructure (CII) objects based on the application of digital twins, built on the algebra of finite state machines.
E.S. Mityakov
· Informatization and communic... · 0 citations