@article{Котенко_Резник_Шоров_2009, title={Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств}, url={http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1415}, DOI={10.15622/sp.8.14}, number={8}, journal={Труды СПИИРАН}, author={Котенко, Игорь Витальевич and Резник, Сергей Александрович and Шоров, Андрей Владимирович}, year={2009}, month={мар.}, pages={292-310}