@article{Буйневич2024формальный,
author={Буйневич, М.В. and Леонов, Н.В. and Хорошенко, В.С.},
title={ФОРМАЛЬНЫЙ ПОДХОД К ВЫЯВЛЕНИЮ НАИБОЛЕЕ «ОПАСНЫХ» СВОЙСТВ ИНФОРМАЦИОННОЙ СИСТЕМЫ С ПОЗИЦИИ УГРОЗ БЕЗОПАСНОСТИ ИНФОРМАЦИИ},
journal={Научно-аналитический журнал "Вестник Санкт-Петербургского университета ГПС МЧС России"},
publisher={Санкт-Петербургский университет Государственной противопожарной службы Министерства Российской Федерации по делам гражданской обороны, чрезвычайным ситуациям и ликвидации последствий стихийных бедствий имени Героя Российской Федерации генерала армии Е.Н. Зиничева},
year={2024},
pages={99-108},
volume={2023},
issue={4},
}