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

Add to Quick Collection   All 11 Results

Showing items 1 - 11 of 11.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset
Authors: Кокорин, Артем Олегович | Тиевский, Станислав Дмитриевич | Девянин, Петр Николаевич
Source: Прикладная дискретная математика. Приложение. 2022. № 15. С. 80-90
Type: статьи в журналах
Date: 2022
Description: Описывается ряд практических приёмов дедуктивной верификации программного кода на языке Си на соответствие спецификациям его функций, заданных на языке ACSL. Для такой верификации используется основан ... More
Add   Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB
Authors: Леонова, Мария Александровна | Девянин, Петр Николаевич
Source: Прикладная дискретная математика. Приложение. 2022. № 15. С. 90-99
Type: статьи в журналах
Date: 2022
Description: В результате перевода описания формальной модели управления доступом промышленной ОССН Astra Linux Special Edition (МРОСЛ ДП-модели) из математической в формализованную нотацию на языке метода Event-B ... More
Add   О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB
Authors: Девянин, Петр Николаевич | Леонова, Мария Александровна
Source: Прикладная дискретная математика. Приложение. 2021. № 14. С. 126-132
Type: статьи в журналах
Date: 2021
Description: Рассматриваются приемы согласованного описания мандатной сущностно-ролевой
Add   Приемы описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения ее верификации инструментами Rodin и ProB
Authors: Девянин, Петр Николаевич | Леонова, Мария Александровна
Source: Прикладная дискретная математика. 2021. № 52. С. 83-96
Type: статьи в журналах
Date: 2021
Description: Рассматриваются приёмы по доработке описания модели управления доступом отечественной защищённой операционной системы специального назначения Astra Linux Special Edition (МРОСЛ ДП-модели) в формализов ... More
Add   О моделировании в рамках МРОСЛ ДП-модели мандатных контроля целостности и управления доступом в СУБД PostgreSQL
Authors: Девянин, Петр Николаевич
Source: Прикладная дискретная математика. Приложение. 2019. № 12. С. 161-165
Type: статьи в журналах
Date: 2019
Description: Интеграция в операционную систему специального назначения (ОССН) Astra Linux Special Edition прикладного программного обеспечения, включающего собственные механизмы управления доступом, требует, во-пе ... More
Add   Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели
Authors: Девянин, Петр Николаевич
Source: Прикладная дискретная математика. Приложение. 2018. № 11. С. 95-99
Type: статьи в журналах
Date: 2018
Description: Широкое применение СУБД PostgreSQL в защищённых операционных системах, в том числе в операционной системе специального назначения (ОССН) Astra Linux Special Edition, требует разработки научно-обоснова ... More
Add   Уровень запрещающих ролей иерархического представления МРОСЛ ДП-модели
Authors: Девянин, Петр Николаевич
Source: Прикладная дискретная математика. 2018. № 39. С. 58-71
Type: статьи в журналах
Date: 2018
Description: Рассматривается построенный на основе базового уровня иерархического представления мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в операционных системах семейств ... More
Add   Реализация невырожденной решетки уровней целостности в рамках иерархического представления МРОСЛ ДП-модели
Authors: Девянин, Петр Николаевич
Source: Прикладная дискретная математика. Приложение. 2017. № 10. С. 111-114
Type: статьи в журналах
Date: 2017
Description: В рамках иерархического представления мандатной сущностно-ролевой ДП-модели, являющейся научной основой при реализации механизма управления доступом в отечественной защищённой операционной системе спе ... More
Add   О результатах формирования иерархического представления МРОСЛ ДП-модели
Authors: Девянин, Петр Николаевич
Source: Прикладная дискретная математика. Приложение. 2016. № 9. С. 83-87
Type: статьи в журналах
Date: 2016
Description: «Монолитное» представление мандатной сущностно-ролевой ДП-модели, являющееся основой механизма управления доступом в отечественной защищённой операционной системе специального назначения (ОССН) Astra ... More
Add   Необходимые условия нарушения безопасности информационных потоков по времени в рамках МРОСЛ ДП-модели
Authors: Девянин, Петр Николаевич
Source: Прикладная дискретная математика. Приложение. 2015. № 8. С. 81-83
Type: статьи в журналах
Date: 2015
Add   Условия безопасности информационных потоков по памяти в рамках МРОСЛ ДП-модели
Authors: Девянин, Петр Николаевич
Source: Прикладная дискретная математика. Приложение. 2014. № 7. С. 82-85
Date: 2014
  • «
  • ←
  • 1
  • →
  • »
^