Для цитирования:
ПЕТРЕНКО А.К., ДЕВЯНИН П.Н., ЕФРЕМОВ Д.В., КАРНОВ А.А., КОРНЫХИН Е.В., КУЛЯМИН В.В., ХОРОШИЛОВ А.В. Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом. Труды Института системного программирования РАН. 2025;37(3):277-290. https://doi.org/10.15514/ISPRAS-2025-37(3)-19
For citation:
PETRENKO A.K., DEVYANIN P.N., EFREMOV D.V., KARNOV A.A., KORNYKHIN E.V., KULIAMIN V.V., KHOROSHILOV A.V. Methods of Runtime Verification of Industrial Information Security Tools Based on Formal Access Control Models. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(3):277-290. (In Russ.) https://doi.org/10.15514/ISPRAS-2025-37(3)-19
Послать статью по эл. почте 