Петренко А. К.

А. К. Петренко

Произведения автора1

Моделирование и верификация политик безопасности управления доступом в операционных системах

12.64 USD

В корзину

бумажная книга

Моделирование и...

П.Н. Девянин Д. В. Ефремов В. В. Кулямин А. К. Петренко А. В. Хорошилов И. В. Щепетков

Описан процесс разработки и верификации формальных моделей безопасности управления доступом в...

0 отзывов