Современные методы проверки свойств безопасности в моделях логического разграничения доступастатья

Статья опубликована в журнале из перечня ВАК