I. Burdonov, A. Kosachev, V. Kulyamin Computer security, verification, and conformance theory MABIT 2006. Вторая международная научная конференция по проблемам безопасности и противодействия терроризму. 33 слайда ppt, текст к ppt: doc, pdf, Доклад