Formalization and unification of initial data and their processing procedures for attestation of automated systems in a secure design

Abstract

The automation of the security assessment of samples of automated systems in a protected version requires unification of the formalisms for presenting the initial data and procedures for working with them. The article describes the technology for assessing the security of an information security system, a program for its automation, a set of formalization forms for the presentation of initial data for attestation tests.