Электронный каталог

Статья

Ерохин, В.В.
Недостатки в протоколе разрешений Android при ограниченной верификации / Ерохин В.В. // Вопросы кибербезопасности (электронная версия). – 2021. – №1. – С.2-17. - 557901. – На рус. яз.

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


Ключевые слова = АВТОМАТИЗАЦИЯ
Ключевые слова = АНАЛИЗ
Ключевые слова = ВЕРИФИКАЦИЯ
Ключевые слова = ДИНАМИКА
Ключевые слова = ДОСТУПНОСТЬ
Ключевые слова = ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
Ключевые слова = ИССЛЕДОВАНИЯ
Ключевые слова = КОДИРОВАНИЕ
Ключевые слова = КОНФИДЕНЦИАЛЬНОСТЬ
Ключевые слова = МЕХАНИЗМ
Ключевые слова = МОБИЛЬНАЯ СВЯЗЬ
Ключевые слова = МОДЕЛЬ
Ключевые слова = ОПЕРАЦИОННАЯ СИСТЕМА
Ключевые слова = ПРОБЛЕМА
Ключевые слова = ПРОГРАММИРОВАНИЕ
Ключевые слова = ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
Ключевые слова = ПРОИЗВОДСТВО
Ключевые слова = ПРОТОКОЛ
Ключевые слова = РАЗРЕШЕНИЕ
Ключевые слова = РЕАЛИЗАЦИЯ
Ключевые слова = РЕСУРСЫ
Ключевые слова = РОССИЯ
Ключевые слова = ТЕЛЕФОНИЯ
Ключевые слова = ЭКСПЕРТИЗА
Ключевые слова = ЭЛЕКТРОНИКА
Ключевые слова = ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ. КОМПЬЮТЕРНЫЙ МИР
Новые поступления и ретрофонд = Статьи из периодических изданий. 2021 год.