Кузнецова Алевтина Львовна

Публикации в базе данных Math-Net.Ru

1. Автоматная модель проверки корректности атрибутной политики информационной безопасности в системах с конечным числом объектов
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2021, № 5,  57–60