• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Formal Modeling of Multi-Level Security and Integrity Control Implemented with SELinux
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
19 мая 2026 г.
Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря
В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.
18 мая 2026 г.
В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского
Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.
15 мая 2026 г.
В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций
Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Formal Modeling of Multi-Level Security and Integrity Control Implemented with SELinux

P. 131–136.
Кулямин В. В., Хорошилов А. В., Medvedev D.
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: information flowsrefinementevent-bformal security modeSELinuxmandatory integrity controlmulti-level security deductive verification

В книге

Actual Problems of Systems and Software Engineering APSSE 2019 (Invited Papers)
Los Alamitos, Washington, Tokyo: IEEE Computer Society, 2019.
Похожие публикации
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
Bernardinello L., Irina Lomazova, Нестеров Р. А. и др., , in: Transactions on Petri Nets and Other Models of Concurrency XVIVol. 13220: Lecture Notes in Computer Science.: Springer, 2022. P. 1–23.
Добавлено: 23 марта 2022 г.
Deductive Binary Code Verification Against Source-Code-Level Specifications
Камкин А. С., Хорошилов А. В., Коцыняк А. М. и др., Lecture Notes in Computer Science 2020 Vol. 12165 P. 43–58
Добавлено: 22 июня 2021 г.
A State-based Refinement Technique for Event-B
Хорошилов А. В., Кулямин В. В., Петренко А. К. и др., , in: Proceedings of the 2020 Ivannikov Memorial Workshop.: Los Alamitos: IEEE Communications Society, 2020. P. 55–60.
Добавлено: 29 октября 2020 г.
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
Bernardinello L., Ломазова И. А., Нестеров Р. А. и др., , in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)Vol. 2651: CEUR Workshop Proceedings.: CEUR-WS.org, 2020. P. 49–67.
Добавлено: 12 августа 2020 г.
Structural Synthesis of the IoT System for the Fog Computing
Saksonov E., Leokhin Y., Panfilov, P., , in: 24th Conference of Open Innovations Association FRUCT, FRUCT 2019.: IEEE Computer Society, 2019. P. 381–387.
Добавлено: 15 июня 2019 г.
Kernels and Cokernels in the Category of Augmented Involutive Stereotype Algebras
S. S. Akbarov, Journal of Algebra and its Applications 2020 Vol. 19 No. 6 P. 1–28
В статье отмечаются некоторые свойства ядер и коядер в категории аугментированных стереотипных алгебр, полезные в теориях двойственности, построенных на понятии оболочки: 1) стереотипные алгебры с аугментацией обладают ядром и коядром, 2) коядро сохраняется при переходе к групповым стереотипным алгебрам, и 3) понятие коядра позволяет доказать, что непрерывная оболочка $\Env{\mathcal C}^\star(Z\cdot K)$ групповой алгебры компактной надстройки ...
Добавлено: 8 июня 2019 г.
Трансформация социокультурной реальности и коммуникативное пространство университета
Штейнман М. А., В кн.: Философия коммуникации: университетское образования в социокультурной динамике информационного общества.: СПб.: Издательство Политехнического университета, 2015. С. 19–25.
В настоящее время социокультурная реальность переживает ряд серьезных трансформаций, вызваннных доминантой т.н. мозаичной культуры. Эти изменеия затрагивают и современный университет, образовательная модель которого нуждается в изменениях. Одним из способов сохранить особую миссию университета в современном обществе является развитие категории креативности, которая позволит студентам более избирательно и осознанно работать с колоссальным объемом информации, предоставляемым интернет-ресурсами. ...
Добавлено: 31 октября 2018 г.
Философия коммуникации: университетское образования в социокультурной динамике информационного общества
СПб.: Издательство Политехнического университета, 2015.
Представлено разностороннее видение феномена коммуникации в контексте формирования стратегий современного образования. Авторы рассматривают феномен коммуникации в качестве конституирующего и регулирующего фактора социокультурной реальности, в существенной мере определяющего динамику ментальности современника. Акцентировано социальное значение новейших технологий информационного общества, порождающих новые дискурсы и познавательные установки в исследовании жизни социума и человека. ...
Добавлено: 31 октября 2018 г.
Доверие как продукт вовлеченности в информационные потоки
Волченко О. В., Мониторинг общественного мнения: Экономические и социальные перемены 2014 № 4 С. 128–140
Целью данной статьи является изучение влияния вовлеченности в информационные каналы на доверие. Такой исследовательский вопрос исходит из определения доверия как средства преодоления незнания или неопределенности в отношении поведения других людей. В соответствии с этим, был избран информационный подход к анализу доверия, основным постулатом которого является тот факт, что доверие тесно связано с оценкой возможных исходов, ...
Добавлено: 13 января 2017 г.
Envelopes and refinements in categories, with applications to functional analysis
Акбаров С. С., Dissertationes Mathematicae 2016 Vol. 513 P. 1–188
Добавлено: 23 сентября 2016 г.
When Not All Bits Are Equal: Worth-Based Information Flow
Щедров А., Alvim M. S., Schneider F. B., , in: Principles of Security and Trust - Proceedings of the 3rd International Conference, POST 2014Vol. 8414.: Springer, 2014. P. 120–139.
Добавлено: 29 мая 2015 г.
Checking Conformance of High-Level Business Process Models to Event Logs
Antonina K. Begicheva, Ломазова И. А., , in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014).: M.: -, 2014. P. 77–82.
Process mining is a new technology, that provides us a variety of methods to discover, monitor and improve real processes by extracting knowledge from event logs. The two most prominent process mining tasks are process discovery and conformance checking. Conformance checking deals with diagnosing and quantifying discrepancies between observed behavior, represented in event logs, and ...
Добавлено: 2 июня 2014 г.
Разработка автоматизированной системы управления потоками данных на предприятии (II часть)
Морозова Т. Ю., Промышленные АСУ и контроллеры 2013 № 7 С. 3–12
В статье описано главное предназначение автоматизированной системы управления производственной деятельностью (АСУПД), которое заключается в организации взаимосвязей между всеми отделами, а также создании единого  нформационного хранилища данных, содержащего всю необходимую бизнес-информацию о предприятии, предоставляемых услугах, работе всех служб предприятия и т.д. В основе автоматизированной системы управления предприятием (АСУП) лежит обеспечение одновременного доступа к ней необходимого количества сотрудников ...
Добавлено: 6 декабря 2013 г.
Оптимизация RAID массива для достижения максимальной производительности систем регистрации данных
Увайсов С. У., Аминев Д. А., Качество. Инновации. Образование 2012 № 12 С. 93–96
Исследована проблема регистрации информационных потоков в RAID массивы. Определен набор параметров, влияющих на их производительность. Представлены результаты тестирования RAID системы и определены значения параметров, обеспечивающие максимальную производительность. ...
Добавлено: 24 января 2013 г.
Dynamics of Information Systems: Mathematical Foundations
NY: Springer, 2012.
Эта публикация представляет собой сборник отдельных статей "Третьей Международной конференции по динамике информационных систем», которая состоялась в университете Флориды, 16-18 февраля 2011 года. Цель данной конференции заключалась в том, чтобы собрать вместе ученых и инженеров из промышленности, правительства и научных кругов, чтобы они смогли обменяться новыми открытиями и результатами в вопросах, имеющих отношение к теории ...
Добавлено: 19 декабря 2012 г.
Performance Management Systems: Conceptual Modeling
Исаев Д. В., , in: International Proceedings of Economics Development and Research. Economics and Business Information. Selected, peer reviewed papers from the 2011 International Conference on Economics and Business Information (ICEBI 2011), May 28-29, 2011, Bangkok, ThailandVol. 9.: Singapore: IACSIT Pre, 2011. P. 17–24.
Цель работы состоит в разработке методологического подхода к концептуальному моделированию систем управления эффективностью. Для этого такие системы рассматриваются в качестве инструмента информационной поддержки корпоративного управления и стратегического менеджмента и включают такие компоненты, как аналитические методы, процессы управления, информационные системы и компетенции персонала. В результате предложен подход к моделированию, основанный на функциональных блоках, модулях и информационных ...
Добавлено: 19 июля 2012 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору