Электронная библиотека (репозиторий) Томского государственного университета

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB
Authors: Леонова, Мария Александровна | Девянин, Петр Николаевич
Source: Прикладная дискретная математика. Приложение. 2022. № 15. С. 90-99
Type: статьи в журналах
Date: 2022
Description: В результате перевода описания формальной модели управления доступом промышленной ОССН Astra Linux Special Edition (МРОСЛ ДП-модели) из математической в формализованную нотацию на языке метода Event-B ... More
Add   Приемы описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения ее верификации инструментами Rodin и ProB
Authors: Девянин, Петр Николаевич | Леонова, Мария Александровна
Source: Прикладная дискретная математика. 2021. № 52. С. 83-96
Type: статьи в журналах
Date: 2021
Description: Рассматриваются приёмы по доработке описания модели управления доступом отечественной защищённой операционной системы специального назначения Astra Linux Special Edition (МРОСЛ ДП-модели) в формализов ... More
  • «
  • ←
  • 1
  • →
  • »
^