Информатика безопасных систем. Рубрика в журнале - Проблемы информатики

Математическое обеспечение эффективного разделения ресурсов для решения задач на распределенной вычислительной среде

Васенин Валерий Александрович, Сериков Денис Александрович

Статья научная

Рассматриваются подходы к математическому моделированию процесса разделения ресурсов между зада- чами различных пользователей, которые поступают на обслуживание в распределенную вычислительную среду, построенную на основе методологии Grid. Анализируются модели системы диспетчеризации, кото- рые используются в инструментальном комплексе GridWay.

Бесплатно

Объединение моделей логического разграничения доступа для сложноорганизованных распределенных информационных систем

Иткес Александр Александрович

Статья научная

Рассматриваются вопросы построения моделей логического разграничения доступа к информационным ак- тивам, вычислительным и коммуникационным ресурсам сложноорганизованной, распределенной информа- ционной системы на основе аналогичных моделей ее отдельных компонент. Анализируются свойства таких моделей и описаны методы их объединения, основанные на понятии отношения доверия. Получены крите- рии, гарантирующие возможность объединения моделей логического разграничения доступа. Предложена новая модель, аналогичная многоуровневой модели, реализующая более гибкие механизмы интеграции по сравнению с механизмами традиционной многоуровневой модели логического разграничения доступа.

Бесплатно

Система удаленного доступа к корпоративной геоинформационной системе в режиме офлайн на платформе Windows Mobile

Грязнов Геннадий Игоревичв, Ковин Роман Владимирович

Статья научная

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

Бесплатно

Современные методы проверки свойств безопасности в моделях логического разграничения доступа

Шапченко Кирилл Александрович

Статья научная

Представлен краткий обзор современных подходов к проверке свойств безопасности в моделях логи- ческого разграничения доступа. Рассматриваются подходы на основе методов теории графов, вери- фикации на модели и автоматического доказательства теорем. Приведены типовые свойства, провер- ка которых может быть осуществлена с использованием указанных методов.

Бесплатно

Управление тематическими данными в больших и сверхбольших хранилищах: механизмы, модели, программное обеспечение (состояние, задачи, решения)

Васенин Валерий Александрович

Статья научная

Рассматривается проблема создания современных автоматизированных систем управления тематической информацией, разнородные по структуре источники которой размещены на территориально распределен- ной сетевой среде и представляют собой большие, корпоративного масштаба, или сверхбольшие (Интернет) хранилища данных. Предложены основанные на опытных данных новые подходы к управлению информа- цией включая механизмы, математические модели, алгоритмы и аппаратно-программные средства их реа- лизации.

Бесплатно