The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware
Alexander Barabanov, Maxim Grishin, Alexey Markov·2013-06-09·via cs.CR updates on arXiv.org
An approach to the development of security test procedures for information security controls is presented. The recommendations for optimizing the test procedure are obtained