Приёмы по доработке описания модели управления доступом ОССН Astra Linux Special Edition

Девянин П.Н., Леонова М.А.

Прикладная дискретная математика. 2021. № 52. С. 83-96. DOI: 10.17223/20710410/52/5

Перейти к источнику

Приёмы по доработке описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения её автоматизированной верификации с применение