Аннотация доклада.

В докладе рассматривается задача проверки выполнения требований по безопасности в моделях логического разграничения доступа, которые используются в современных компьютерных системах. На примере свойств информационных потоков показываются аспекты создания подходов к описанию требований, разработки алгоритмов проверки их выполнения, реализации таких алгоритмов в виде программных средств для исследования настроек механизмов разграничения доступа. Демонстрируются результаты применения созданных методов и средств в решении нескольких задач проверки ограничений на информационные потоки в дистрибутивах операционных систем на основе ядра ОС Linux.