Algorithm for Optimal and Complete Testing of Software and Hardware Data Security Tools. - Tatiana M. Kanner; Andrey M. Kanner; Anna Epishkina (BICA*AI, 2020)