Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ПсковГУ
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
открыть новую версию профиля
Бонюшкина Антонина Юрьевна
пользователь
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
, студент, с 1 сентября 2014
Соавторы:
Афонин С.А.
2 статьи
,
3 доклада на конференциях
,
2 тезисов докладов
,
1 НИР
Количество цитирований статей в журналах по данным Scopus: 1
IstinaResearcherID (IRID): 266916284
Деятельность
Статьи в журналах
2020
Анализ атрибутивной политики безопасности с использованием методов автоматического планирования
Афонин С.А.
,
Бонюшкина А.Ю.
в журнале
Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
, издательство
[б.и.]
(М.)
, том 24, № 4, с. 7-31
Статьи в сборниках
2019
Validation of Safety-Like Properties for Entity-Based Access Control Policies
Afonin Sergey
,
Bonushkina Antonina
в сборнике
Proc. of the international conference "Advances in Soft and Hard Computing"
, серия
Advances in Intelligent Systems and Computing
, место издания
Springer International Publishing
, том 889, с. 259-271
DOI
Доклады на конференциях
2019
Проверка достижимости состояния помеченного графа при заданных правилах изменения состояний
(Устный)
Авторы:
Афонин С.А.
,
Бонюшкина А.Ю.
Международная конференция "Мальцевские чтения"
, Новосибирск, Россия, 19-23 августа 2019
2019
Анализ атрибутивных политик безопасности с использованием методов автоматического планирования
(Устный)
Авторы:
Бонюшкина А.Ю.
,
Афонин С.А.
«Ломоносовские чтения - 2019». Секция «Механика»
, Москва, МГУ, Россия, 15-25 апреля 2019
2018
Validation of Safety - Like Properties for Entity - Bas ed Access Control Policies
(Устный)
Авторы:
Bonyushkina Antonina
,
Afonin Sergey
21st International conference on Advanced Computer Systems (ASC 2018)
, Międzyzdroje, Польша, 24-26 сентября 2018
Тезисы докладов
2019
Анализ атрибутивных политик безопасности с использованием методов автоматического планирования
Бонюшкина А.Ю.
,
Афонин С.А.
в сборнике
Ломоносовские чтения 2019. Секция механики. Тезисы докладов
, серия
Механика
, место издания
Издательство Московского университета
, тезисы, с. 40-41
2019
Проверка достижимости состояния помеченного графа при заданных правилах изменения состояний
Бонюшкина А.Ю.
,
Афонин С.А.
в сборнике
Тезисы докладов международной конференции "Мальцевские чтения"
, место издания
Новосибирск
, тезисы, с. 45-45
НИРы
1 января 2018 - 31 декабря 2020
Атрибутная система логического разграничения доступа для информационных систем на основе реляционных баз данных
404 Лаборатория автоматизации экспериментальных исследований
Руководитель:
Афонин С.А.
Участники НИР:
Бонюшкина А.Ю.
,
Галатенко А.В.
,
Козицын А.С.
,
Кузнецова А.Л.
,
Шачнев Д.А.