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

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 г.

. Resource and timing aspects of security protocols.

Urquiza A. A., AlTurki M. A., Kirigin T. B. и др., , in: Journal of Computer SecurityVol. 25. Issue 6.: Amsterdam: IOS Press, 2017. Ch. 29(3) P. 299–340.

Добавлено: 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 г.

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 г.

Applying Time Series for Background User Identification Based on Their Text Data Analysis

Петровский М. И., Korolev V., Korchagin A. и др., Programming and Computer Software 2018 Vol. 44 No. 5 P. 353–362

Добавлено: 5 декабря 2018 г.