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