Методы верификации систем защиты информации