. 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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

13 августа 2026 г.

Социальная интеграция: на перекрестках знаний и ценностей

Международная лаборатория исследований социальной интеграции (МЛИСИ) НИУ ВШЭ занимается изучением проблем уязвимых слоев населения и поиском методов их вовлечения в полноценную повседневную жизнь. Для поиска решений ученые лаборатории сочетают разработку передовых методов с практической работой «в поле». О деятельности лаборатории новостной службе «Вышка.Главное» рассказала ее заведующая Елена Ярская-Смирнова.

12 августа 2026 г.

Студенты Вышки, вероятно, обнаружили новый вид медузы во время практики на Сахалине

Учащиеся факультета биологии и биотехнологии НИУ ВШЭ стали первыми студентами, которые приехали в экспедицию на биостанцию «Анива» на острове Сахалин. Их целью было изучение морских полипов и медуз. Молодым ученым удалось получить неожиданные результаты: возможно, во время полевых работ они обнаружили новые для региона виды. Теперь часть находок привезут в Москву для детального изучения. Об экспедиции студентки рассказали «Вышке.Главное».

12 августа 2026 г.

«Я бы назвал атмосферу в лаборатории и в университете творческой и стимулирующей»

Научный сотрудник Международной лаборатории стохастического анализа и его приложений НИУ ВШЭ французский ученый Жан-Франсуа Жабир работает в НИУ ВШЭ с 2017 года. Его привлекла возможность вести исследования совместно с ведущими зарубежными и российскими учеными, свобода академических дискуссий и открытость университета. Своими впечатлениями о Вышке и Москве Жан-Франсуа Жабир поделился с новостной службой «Вышка.Главное».

Нашли опечатку?
Выделите её, нажмите 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 г.