. Resource and timing aspects of security protocols.

Urquiza A. A.; AlTurki M. A.; Kirigin T. B.; M. Kanovich; Nigam V.; Scedrov A.; Talcott C.

doi:10.3233/JCS-200012

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

17 июня 2026 г.

Биоинформатики НИУ ВШЭ обнаружили 20 опасных мутаций в гене, связанном с легочной артериальной гипертензией

Ученые НИУ ВШЭ совместно с коллегами из российских университетов выяснили, какие мутации в гене ACVRL1 опасны для пациентов с легочной артериальной гипертензией. Они смоделировали, как изменения в гене влияют на связывание АТФ с белком — процесс, от которого зависит передача сигналов, необходимых для работы сосудов. Оказалось, что 20 из 32 вариантов могут нарушать передачу сигнала и провоцировать болезнь. Результаты опубликованы в Journal of Structural Biology.

17 июня 2026 г.

Интеллектуальная робототехника: кадровый голод и масса возможностей

Пока на рынке мало кадров, способных заниматься разработкой интеллектуальных робототехнических систем. Между тем именно к этому идет робототехника. Как учат ее проектированию и каково будущее отрасли, в интервью IQ Media рассказал заведующий Проектно-учебной лабораторией робототехники НИУ ВШЭ Вадим Моргачев.

17 июня 2026 г.

Каким должно быть образование, чтобы готовить кадры для экономики будущего

Эти вопросы обсудят на форуме HR EXPO PRO ЛЮДЕЙ, который состоится 18-19 июня в Москве. В его работе примет участие ректор НИУ ВШЭ Никита Анисимов, федеральные министры, HR-директора компаний, ректоры вузов, эксперты. На форуме будет представлен стенд, посвященный программам ДПО НИУ ВШЭ.

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

Публикации

?

. Resource and timing aspects of security protocols.

Ch. 29(3). P. 299–340.

Urquiza A. A., AlTurki M. A., Kirigin T. B., Канович М. И., Nigam V., Scedrov A., Talcott C.

Язык: английский

DOI

Ключевые слова: computer security formal methods in computer science Cyber-Physical Security Protocols resourse and time-sensitive protocols

В книге

Journal of Computer Security

Vol. 25. Issue 6. , Amsterdam: IOS Press, 2017.

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track. European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part X. LNCS, volume 14950

Cham: Springer, 2024.

Добавлено: 22 ноября 2024 г.

Information Systems and Design. Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers

Springer, 2022.

Добавлено: 16 февраля 2022 г.

On Security Analysis of Periodic Systems: Expressiveness and Complexity.

AlTurki M. A., Kirigin T. B., Канович М. И. и др., , in: Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021.: SciTePress, 2021. P. 43–54.

Добавлено: 18 октября 2021 г.

Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021

SciTePress, 2021.

Добавлено: 18 октября 2021 г.

Demystifying Blockchain Technology for Resource-Constrained IoT Devices: Parameters, Challenges and Future Perspective

Romashkova I., Комаров М. М., Ometov A., IEEE Access 2021 No. 9 P. 129264–129277

Добавлено: 26 сентября 2021 г.

Internet of Things, Smart Spaces, and Next Generation Networks and Systems. 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part II

Switzerland: Springer, 2020.

Добавлено: 23 декабря 2020 г.

Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Cham: Springer, 2020.

Добавлено: 25 ноября 2020 г.

Problems and Prospects of Security in the Transport Sector

Artem S. Kabanov, Yury I. Gudkov, Vladimir N. Azarov, , in: Proceedings of the 2019 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies" (IT&QM&IS).: IEEE, 2019. P. 132–135.

В статье рассматриваются проблемы обеспечения функциональной, информационной и кибербезопасности для транспортных средств и объектов транспортной инфраструктуры. Рассмотрены факторы нарастания угроз для транспортной сферы. Перечислены кибератаки. Проведен анализ специфичности автоматизированных систем управления технологическими процессами транспортных средств и объектов транспортной инфраструктуры. Обоснована специфичность различных видов транспорта с точки зрения обеспечения безопасности. Сформулированы выводы и рекомендации. ...

Добавлено: 18 декабря 2019 г.

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.

Канович М. И., Щедров А., AlTurki M. A. и др., , in: Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Lecture Notes in Computer Science 11565, Springer 2019, ISBN 978-3-030-19051-4.: Netherlands: Springer, 2019. P. 192–213.

Добавлено: 2 ноября 2019 г.

Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Lecture Notes in Computer Science 11565, Springer 2019, ISBN 978-3-030-19051-4

Netherlands: Springer, 2019.

Добавлено: 2 ноября 2019 г.

Resource-Bounded Intruders in Denial of Service Attacks

Канович М. И., Щедров А., Urquiza A. A. и др., , in: 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019. IEEE 2019, ISBN 978-1-7281-1407-1.: IEEE, 2019. P. 382–396.

Добавлено: 1 ноября 2019 г.

32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019. IEEE 2019, ISBN 978-1-7281-1407-1

IEEE, 2019.

Добавлено: 1 ноября 2019 г.