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