|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
1. |
А. Л. Кузнецова, С. А. Афонин, “Автоматная модель проверки корректности атрибутной политики информационной безопасности в системах с конечным числом объектов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2021, № 5, 57–60 ; A. L. Kuznetsova, S. A. Afonin, “Automata model for verifying attibuted-based access control policy in systems with a finite number of objects”, Moscow University Mathematics Bulletin, 76:5 (2021), 230–233 |
|
2020 |
2. |
С. А. Афонин, А. Ю. Бонюшкина, “Анализ атрибутивной политики безопасности с использованием методов автоматического планирования”, Интеллектуальные системы. Теория и приложения, 24:4 (2020), 7–31 |
|
2016 |
3. |
А. Е. Афанасьева, С. А. Афонин, “Об одном подходе к математическому представлению шахматной позиции”, Интеллектуальные системы. Теория и приложения, 20:3 (2016), 134–139 |
|