The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware

Alexander Barabanov, Maxim Grishin, Alexey Markov

An approach to the development of security test procedures for information security controls is presented. The recommendations for optimizing the test procedure are obtained