https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 О моделировании в рамках МРОСЛ ДП-модели мандатных контроля целостности и управления доступом в СУБД PostgreSQL https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000672201 Wed 25 Dec 2019 13:13:31 KRAT ]]> Условия безопасности информационных потоков по памяти в рамках МРОСЛ ДП-модели https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000488287 Wed 06 Jul 2016 11:11:33 KRAT ]]> Реализация невырожденной решетки уровней целостности в рамках иерархического представления МРОСЛ ДП-модели https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000582167 Wed 04 Oct 2017 10:34:02 KRAT ]]> Уровень запрещающих ролей иерархического представления МРОСЛ ДП-модели https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000623191 Wed 04 Apr 2018 16:25:05 KRAT ]]> Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000632822 Tue 02 Oct 2018 09:35:44 KRAT ]]> Необходимые условия нарушения безопасности информационных потоков по времени в рамках МРОСЛ ДП-модели https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000510493 Thu 25 Jan 2018 13:22:49 KRAT ]]> Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000899242 Thu 22 Sep 2022 09:25:40 KRAT ]]> Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000899241 Thu 22 Sep 2022 09:25:38 KRAT ]]> О результатах формирования иерархического представления МРОСЛ ДП-модели https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000547665 Thu 19 Oct 2017 10:50:31 KRAT ]]> Приемы описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения ее верификации инструментами Rodin и ProB https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000703108 Mon 27 Sep 2021 09:15:49 KRAT ]]> О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000719741 Mon 25 Oct 2021 08:55:01 KRAT ]]>