ИСТИНА

Бонюшкина Антонина Юрьевна пользователь

МГУ имени М.В. Ломоносова, Механико-математический факультет, студент, с 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 Лаборатория автоматизации экспериментальных исследований
    • Руководитель: Афонин С.А. Участники НИР: Бонюшкина А.Ю., Галатенко А.В., Козицын А.С., Кузнецова А.Л., Шачнев Д.А.