Ivan Gaidarski, Zlatogor Minchev"Моделиране, анализ, експериментална валидация и верификация на системи за информационна сигурност в корпоративна среда."IT4Sec Reports(2019):it4sec_reports_132_new.pdf
