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

معرفی کتاب «Моделирование и верификация политик безопасности управления доступом в операционных системах: [монография]» نوشتهٔ П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин [и др.]، منتشرشده توسط نشر Горячая линия-Телеком در سال 2019. این کتاب در فرمت pdf، زبان ru ارائه شده است.