Котенко ИВ, Резник СА, Шоров АВ. Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств. ТС [Интернет]. 1мар.2009 [цитируется по 9фев.2025];(8):292-10. Available from: https://plantprotect.ru/index.php/sp/article/view/1415