Аналіз моделей безпеки в аспекті експертизи спеціалізованих інформаційних систем - Потенко, О.С. (Моделювання та інформаційні технології, 2009)