?
Исследование информационной защищенности мобильных приложений
Вопросы кибербезопасности. 2015. № 4. С. 28–37.
Необходимым этапом разработки мобильных приложений как программных компонентов информационных систем, взаимодействующих с критичными ресурсами, является исследование разработанных программных решений в контексте информационной безопасности. В статье представлен подход к исследованию информационной защищенности мобильных приложений и систематизация типовых уязвимостей приложений, выработанная в процессе анализа набора мобильных приложений, к которым предъявляются повышенные требования безопасности
Ошманкевич К. Р., Холодная Е. В., Магдилова Л. В. и др., В кн.: Правовое регулирование бережного и устойчивого оборота данных.: М.: ИНФРА-М, 2025. Гл. 3.5 С. 137–201.
Монография посвящена актуальным проблемам оборота данных в цифровую эпоху. Исследуется концепия "бережного" оборота данных для защиты прав человека. Анализируется влияние технологий на права, принципы "бережного" оборота, регулирование больших данных, соотношение данных и интеллектуальной слбственности, безопасность при развитии искусственного интеллекта. Особое внимание уделено персональным данным в трудовых отношениях и в здравоохранении.
Предназначена для научного сообщества, практикущих юристов, ...
Добавлено: 13 февраля 2026 г.
Гаджиева А. О., Трубина В. А., Соловьева-Опошнянская А. Ю., Право. Журнал Высшей школы экономики 2025 № 4 С. 267–291
На протяжении последних десятилетий сфера здравоохранения переживает качественную трансформацию. Цифровизация здравоохранения – один из важнейших глобальных трендов развития, направленный на обеспечение большей доступности медицины для населения, повышение скорости и качества оказания медицинской помощи. В сфере здравоохранения активно используются передовые цифровые решения: телемедицинские услуги, мобильные приложения, технологии обработки больших объемов данных, машинного обучения, системы искусственного интеллекта. ...
Добавлено: 19 декабря 2025 г.
В процессе исследования защищенности программы по требованиям информационной безопасности представляется целесообразным использование статического анализа бинарного образа программы. Важным этапом статического бинарного анализа является задача разбиения бинарного образа на подпрограммы. Распространенный алгоритм решения данной задачи опирается на определение стартовых адресов подпрограмм, начинающихся с определенной последовательности инструкций машинного кода, и последующего обхода потока управления в глубину от ...
Добавлено: 9 января 2024 г.
Александров Я. А., Марченко Е. А., Тахавиев Р. В. и др., Защита информации. Инсайд 2016 № 5 С. 20–25
Система аутентификации является важнейшим компонентом приложения с точки зрения информационной безопасности. Некоторые уязвимости в системе аутентификации можно обнаруживать в автоматическом режиме с помощью средств статического или динамического анализа. В данной статье предлагаются алгоритмы поиска важнейших из таких уязвимостей и доказывается практическая применимость алгоритмов. Рассматривается задача автоматической оценки надежности процедуры аутентификации с учетом результатов анализа кода и некоторых свойств системы, монотонной по сложности нелегитимного прохода процедуры. ...
Добавлено: 26 декабря 2023 г.
L.А. Rezunik, A.I. Perevoznikova, D.V. Eremina и др., Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 3 P. 171–186
Коммерческие предприятия часто предоставляют свои услуги с помощью семейства приложений, разработанных для работы на различных платформах. Приложения в таком семействе могут вести себя по-разному. Процессы их разработки также могут отличаться. Более того, современные процессы разработки часто сложны, а иногда и не вполне четко определены. Это может приводить к ошибкам, дефектам и нежелательным отличиям в поведении ...
Добавлено: 30 октября 2023 г.
Соловьев М. А., Бакулин М. Г., Макаров С. С. и др., Труды Института системного программирования РАН 2020 Т. 32 № 6 С. 101–110
Математический аппарат абстрактной интерпретации предоставляет универсальный способ формализации и изучения алгоритмов анализа программ для самого широкого спектра прикладных задач. Однако его применение для практически значимых задач анализа бинарного кода связано с большим числом вызовов, как научных, так и инженерных. В настоящей работе предложены подходы к преодолению части этих трудностей. Описано промежуточное представление, учитывающее особенности бинарного ...
Добавлено: 31 октября 2022 г.
Афанасьев В. О., Поляков С. А., Бородин А. Е. и др., Труды Института системного программирования РАН 2021 Т. 33 № 6 С. 67–82
В статье описывается статический анализатор для поиска ошибок и анализа метрик и отношений в программах на языке Kotlin. Анализатор был реализован с помощью расширения инструмента Svace, разрабатываемого в ИСП РАН. В статье описываются проблемы, с которыми мы столкнулись в ходе выполнения работы, и предложенные методы их решения, а также экспериментальные результаты полученного анализатора. Инструмент умеет ...
Добавлено: 7 сентября 2022 г.
Артюшина Е. В., Коренькова М. М., Хусяинов Т. М., В кн.: Современные трансформации рынка труда.: Н. Новгород: Издательство НИСОЦ, 2022. Гл. 1 С. 6–17.
Трансформация современного общества, происходящие в нем изменения неразрывно связаны с цифровыми технологиями. Цифровая революция принесла человечеству нейросети, облачные вычисления, блокчейн и прочее, заметно повлияв на общество и экономику, жизнь каждого человека. Стремительный рост цифровых технологий находит отражение в масштабном развитии цифрового сектора экономики, наблюдается революционное изменение бизнес-моделей на основе использования цифровых платформ. В России это ...
Добавлено: 27 июня 2022 г.
Дудина И. А., Труды Института системного программирования РАН 2018 Т. 33 № 4 С. 21–30
В последние десятилетия переполнение буфера остаётся одним из главных источников программных ошибок и эксплуатируемых уязвимостей. Среди прочих подходов к устранению подобных дефектов активное развитие получили различные методы статического анализа. В работе рассматриваются основные подходы и инструменты, используемые для решения этой задачи, с целью выявить наиболее популярные методы и типы обнаруживаемых ошибок. Также исследованы наборы синтетических ...
Добавлено: 30 ноября 2021 г.
Бородин А. Е., Дудина И. А., Труды Института системного программирования РАН 2020 Т. 32 № 6 С. 87–100
В работе описывается внутрипроцедурный анализ отдельных функций, использующийся в инструменте статического поиска ошибок Svace. Отличительные особенности анализа: анализ по графу потока управления, символьное выполнение с объединением состояний анализа в точках слияния путей, анализ только части путей в функциях с циклами, одновременный запуск всех анализаторов, моделирование достижимых ячеек памяти, нумерация значений переменных. ...
Добавлено: 30 ноября 2021 г.
Бородин А. Е., Горемыкин А. В., Вартанов С. П. и др., Труды Института системного программирования РАН. 2021 Т. 33 № 1 С. 7–32
В статье рассматривается поиск ошибок помеченных данных в исходном коде программ, т.е. ошибок, вызванных небезопасным использованием данных, полученных из внешних источников, которые потенциально могут быть изменены злоумышленником. В качестве основы использовался межпроцедурный статический анализатор Svace. Анализатор осуществляет как поиск дефектов в программе, так и поиск подозрительных мест, в которых логика программы может быть нарушена. Целью ...
Добавлено: 29 ноября 2021 г.
Заир-Бек С. И., Мерцалова Т. А., В кн.: Большие данные в образовании: доказательное развитие образования. Сборник научных статей II Международной конференции, 15 октября 2021 года, Москва.: Издательский дом «Дело» РАНХиГС, 2021. Гл. 4 С. 186–210.
В статье представлены современные подходы к использованию доказательной аналитики при работе с данными для принятия управленческих решений на разных уровнях. Источником стали материалы исследований, проведенных авторами статьи за последние пять лет. Представленные данные и технологии аналитической работы с ними демонстрируют значительную динамику в условиях принятия управленческих решений с использованием результатов аналитических процедур. При этом обращается ...
Добавлено: 22 ноября 2021 г.
Павлова Н. С., Курдин А. А., Поляков Д. А., Вестник Московского университета. Серия 6: Экономика 2021 № 1 С. 103–127
Статья основана на результатах исследования рынков мобильных приложений. Распределение рыночной власти на этих рынках зависит от способности владельца цифровой экосистемы контролировать обращение мобильных приложений внутри своей экосистемы. Степень этого контроля определяется взаимозаменяемостью различных магазинов мобильных приложений как необходимых инструментов для предоставления доступа к мобильным приложениям. Авторы предоставляют основанные на результатах опроса эмпирические оценки такой взаимозаменяемости ...
Добавлено: 2 июля 2021 г.
Гордин В. Э., Сизова И. А., Обсерватория культуры 2021 Т. 18 № 1 С. 80–92
В данной статье авторы рассматривают различные образовательные онлайн-продукты, разработанные музеями как самостоятельно, так и в сотрудничестве с образовательными учреждениями. Проведенный анализ позволил выявить пул онлайн-продуктов музеев, включающий МООК (массовые открытые онлайн-курсы), СПОК (специализированные профессиональные онлайн-курсы), обучающие игры, мобильные приложения и подкасты. Определены преимущества и особенности каждого из видов музейных онлайн-продуктов, их перспективы включения в образовательный ...
Добавлено: 30 октября 2020 г.
Хорева Л. В., Поломарчук А. К., В кн.: Материалы XIV международной научно-практической конференции «Актуальные проблемы развития индустрии гостеприимства».: [б.и.], 2018. С. 17–20.
В работе рассматриваются возможности широкого внедрение новых средств и технологий в туристских дестинациях, а именно, использование мобильных туристских приложений для повышения качества и доступности туристских услуг ...
Добавлено: 30 октября 2020 г.
Хорева Л. В., Поломарчук А. К., В кн.: Сервис и туризм в условиях цифровизации российской экономики.: СПб.: Санкт-Петербургский государственный экономический университет, 2018. С. 98–110.
. ...
Добавлено: 30 октября 2020 г.
Bardinova Y., Zhidanov K., Bezzateev S. и др., Data 2020 Vol. 5(3) P. 66
Добавлено: 8 октября 2020 г.