. 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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

2 октября 2026 г.

В НИУ ВШЭ обсудили этические границы взаимодействия человека и антропоморфного робота

В Высшей школе экономики состоялся экспертный семинар Центра этики и онтологии роботов Института робототехнических систем (ИРС), посвященный разработке практических требований к проектированию и безопасному внедрению антропоморфных роботов. Участники обсудили, как перевести этические принципы в технические параметры, протоколы проверки и требования к эксплуатации робототехнических систем.

1 октября 2026 г.

Смыслы, скорость и локальный код: как изменится потребительский спрос в креативных индустриях к 2029 году

Институт развития креативных индустрий ФКИ ВШЭ подвел итоги масштабного Трендвотчинг-исследования, проведенного весной 2026 года. В нем приняли участие более 300 ведущих экспертов. Одним из ключевых выводов стало понимание: потребитель больше не покупает продукт как набор функций. Он выбирает отношение, скорость, смысл и личную вовлеченность. В качестве доминирующего тренда на трехлетнем горизонте зафиксирован переход от материальных характеристик продукта к нематериальным.

1 октября 2026 г.

Российские ученые оценили скрытые риски болезней сердца у 43 тысяч человек

Исследователи НИУ ВШЭ и «Биотехнологического кампуса» проанализировали более 43 000 геномов здоровых участников Национальной генетической инициативы «100 000+Я». У 559 человек обнаружили патогенные или вероятно патогенные варианты генов, связанные с риском сердечно-сосудистых заболеваний. Такие данные позволяют раньше начать лечение или провести дополнительное обследование. О результатах исследования ученые рассказали на конгрессе «Генетика и сердце» в НИУ ВШЭ.

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