Коломеец А. В. Соответствие между ошибками в программных реализациях протоколов и расширенных автоматах / А. В. Коломеец, С. А. Прокопенко // Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.). Томск, 2005. С. 154-157 (Вестник Томского государственного университета. Приложение ; № 14, Август 2005). (Серия "Математика. Кибернетика. Информатика"