Обязанности: Разработка формальных спецификаций для подсистемы безопасности ОС Astra Linux. Формальная верификация подсистемы безопасности на соответствие модели управления доступом. Доказательство свойств формальной модели управления д.....
Регион: Москва, Россия