Formalized Designing Methodology of ISMS for Critical Infrastructure

Today, the functioning of the state is impossible without a developed information infrastructure. Such systems are already considered as critical infrastructure. The architecture of information systems is growing along with the number of services they provide. Designing flaws of such systems can critically affect the safety of their operation. As information and telecommunication systems become more complex, security is becoming an important issue, where a formal approach to the design of security features will help to avoid mistakes in integrating an information security management system. This paper proposes new requirements for the ISMS project for critical infrastructure, in particular a formal design approach.