|
|
Публикации в базе данных 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 |
|