?
Моделирование и верификация политик безопасности управления доступом в операционных системах
Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватных оценок характеристик защищенности и безопасности операционных систем и достижение высокого уровня доверия к полученной оценке. Помимо этого, монография знакомит читателя с современными технологиями и инструментами моделирования и верификации, используемыми в подобных процессах. Представленный процесс направлен на обеспечение выполнения требований ГОСТ Р ИСО/МЭК 15408 "Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий" и профилей защиты операционных систем общего назначения (типа "А") третьего и второго классов защиты. Для специалистов в области защиты информации, преподавателей, аспирантов; будет полезна студентам, обучающимся по направлениям подготовки и специальностям УГНПС "Информационная безопасность".
Добавлено: 10 июня 2026 г.
Дистиллированные кисломолочные напитки встречаются в пищевой промышленности редко, несмотря на повсеместное распространение растительных спиртных напитков. В настоящее время производство крепких дистиллированных алкогольных напитков из кисломолочных продуктов с использованием традиционных технологий известно лишь среди монголоязычных народов и их сибирских соседей. Данное исследование представляет собой первый междисциплинарный анализ дарасуна, традиционного бурятского спиртного напитка, изготавливаемого из кисломолочного напитка ...
Добавлено: 10 июня 2026 г.
Добавлено: 10 июня 2026 г.
Seul: PMLR, 2026.
Добавлено: 4 июня 2026 г.
Силаков Д. В., Системный администратор 2026 № 3 С. 28–33
В статье про платформы для разработки открытого ПО в Китае мы рассказали про GitCode – молодой проект, позиционируемый как площадка для разработчиков со всего мира. Сейчас на GitCode размещаются проекты, созданные в КНР, но некоторые из них уже известны и на международной арене. Помочь открытым проектам в становлении, развитии и расширению аудитории призван фонд OpenAtom ...
Добавлено: 2 июня 2026 г.
Slivnitsin P., Мыльников Л. А., Engineering Applications of Artificial Intelligence 2026 Vol. 179 Article 115185
Добавлено: 29 мая 2026 г.
Мокиенко О. А., Zisman M. A., Бобров П. Д. и др., American Journal of Physical Medicine and Rehabilitation 2026 Vol. 105 No. 6 P. 555–563
Добавлено: 28 мая 2026 г.
Добавлено: 28 мая 2026 г.
Добавлено: 28 мая 2026 г.
М.: Институт проблем управления им. В.А. Трапезникова РАН, 2024.
В сборник вошли материалы VIII Международной научной конференции «Информационные технологии и технические средства управления» (ICCT-2024). На конференции были рассмотрены вопросы, касающиеся перспектив развития научного приборостроения в телекоммуникационных и управляющих системах, биомедицинской информатики, аппаратного и программного обеспечения информационнокоммуникационных систем, надежности, диагностики и неразрушающего контроля, систем управления и автоматизации, цифровых экосистем, управления производством и логистикой, методов математического ...
Добавлено: 27 мая 2026 г.
Добавлено: 26 мая 2026 г.
Андросов И. А., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 3 P. 87–114
В работе рассматриваются сети эхо-состояний (Echo State Network, ESN), которые являются одними из самых распространенных способов реализации резервуарных вычислений. Они состоят из рекуррентной нейронной сети, веса которой выбираются один раз и не обучаются, и выходного, обычно линейного, обучаемого слоя. Такой подход позволяет создавать энергоэффективные и быстрые нейронные сети, способные обучаться в режиме реального времени. Но ...
Добавлено: 26 мая 2026 г.
Караваева Е. А., Кулигин Л. А., Резуник Л. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3 С. 67–94
В статье представлен метод рефакторинга исходного кода на основе интеграции большой языковой модели (LLM) и расширенной UML-модели программного кода. Предложенный подход позволяет выявлять проблемные участки кода с использованием функций тревожности и структурных метрик классов, а затем выполнять автоматизированный рефакторинг. Ключевой особенностью метода является использование LLM для генерации формальных спецификаций на языке OCL (Object Constraint Language), ...
Добавлено: 24 мая 2026 г.
Уймин А. Г., СПб.: Лань, 2022.
Учебное пособие предназначено для преподавателей и студентов, осваивающих основные профессиональные образовательные программы СПО укрупненных групп «Информатика и вычислительная техника» и «Информационная безопасность»: «Наладчик компьютерных сетей», «Компьютерные сети», «Сетевое и системное администрирование», «Информационные системы и программирование», «Информационная безопасность телекоммуникационных систем», «Информационная безопасность автоматизированных систем», «Обеспечение информационной безопасности телекоммуникационных систем», «Обеспечение информационной безопасности автоматизированных систем» в целях ...
Добавлено: 17 апреля 2023 г.
Барладян Б. Х., Шапиро Л. З., Маллачиев К. А. и др., Труды Института системного программирования РАН 2020 Т. 32 № 1 С. 57–70
В работе рассматриваются вопросы создания систем визуализации для бортовых комплексов гражданской авиации. Все программное обеспечение, используемое на борту судна, должно соответствовать международно-принятым стандартам безопасности. Это накладывает дополнительные требования и к используемому оборудованию, и к процессу разработки системы. Данная работа посвящена специфике использования многоядерных процессоров в авиационных встраиваемых системах для повышения производительности программной реализации библиотеки
OpenGL SC. ...
Добавлено: 22 июня 2021 г.
Гостев И. М., М.: Юрайт, 2018.
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Добавлено: 13 февраля 2019 г.
Емеленко А. Н., Маллачиев К. А., Пакулин Н. В., Труды Института системного программирования РАН 2017 Т. 29 № 4 С. 295–302
В этой статье мы расскажем о проекте по разработке отладчика для мультиплатформенной операционной системы реального времени JetOS, созданной для гражданских авиационных систем. Она предназначена для работы в рамках архитектуры Интегрированной Модульной Авионики (ИМА) и реализует ARINC 653 спецификацию API. Эта операционная система разрабатывается в институте системного программирования РАН, и важным шагом в ее создании является ...
Добавлено: 12 февраля 2018 г.
Хромов И. А., В кн.: Распределенные компьютерные и телекоммуникационные сети: управление, вычисление, связь (DCCN-2017): материалы 20-межд. науч. конф., 25-29 сент. 2017 г., Москва.: М.: Рекламно-издательский центр "ТЕХНОСФЕРА", 2017. С. 379–381.
Работа посвящена применению беспроводной технологии BodyCom в системах контроля доступа. Рассматриваются ее преимущества перед RFID и биометрическими методами аутентификации в системах контроля доступа, широко используемых в настоящее время. Экспериментально исследуются возможность применения технологии BodyCom в системах контроля доступа. Представлена архитектура экспериментальной системы, состоящей из базового и мобильного модулей, блока управления, электромеханического замка. Приведены фотография макета ...
Добавлено: 10 октября 2017 г.
Лядова Л. Н., Фролова Н. В., Замятина Е. Б. и др., Пермь: Пермский государственный национальный исследовательский университет, 2007.
Добавлено: 3 декабря 2016 г.
Карпов В.Е., Коньков К. А., М.: Интернет-университет информационных технологий - ИНТУИТ.ру, 2005.
Добавлено: 30 октября 2015 г.
Лабораторный практикум предназначен для изучения системного программного обеспечения на базе операционных систем семейства UNIX/Linax. ...
Добавлено: 8 марта 2015 г.
Гудков Ю. И., Тув А. Л., Качество. Инновации. Образование 2013 № 12 С. 57–62
Проводится анализ требований к автоматизированным системам для физической защиты помещений и персонала предприятий малого бизнеса. Рассматривается архитектура и структура программного и аппаратного обеспечения комплекса для построения малобюджетных систем контроля и ограничения доступа в защищенные зоны. Приводятся практические рекомендации по выбору вариантов конфигурации инструментальных средств комплекса, позволяющих минимизировать затрат на развертывание, эксплуатацию и модернизацию системы. ...
Добавлено: 22 января 2014 г.