Security Protocols in a Nutshell

Toorani, Mohsen

doi:10.48550/arxiv.1605.09771

Cited by 1 publication

(5 citation statements)

References 247 publications

(347 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Атака відбувається, коли порушується будь-яка властивість протоколу. Як зазначається в [42] атаки на протоколи безпеки можна в цілому розділити на пасивні та активні атаки. Також можна класифікувати атаки на протоколи безпеки на основі їх недоліків експлуатації [4].…”

Section: атаки на протоколиunclassified

“…Метою зловмисника є систематичне відновлення відкритого тексту із зашифрованого тексту або виведення ключа [5]. За класифікацією з [42] атаки на схеми шифрування можна розділити на наступні моделі атак:…”

Section: атаки на алгоритми шифруванняunclassified

“…Актуальність може бути забезпечена за допомогою часових позначок, nonces або лічильників [16]. Спираючись на роботу [42] очікується, що протокол узгодження ключів забезпечить пряму секретність, безпеку відомого ключа та спільний контроль ключів і буде стійким до атаки Деннінга -Сакко [6]. Попередня секретність зберігає безпеку ключів сеансу після розкриття матеріалу ключів, який використовується в протоколі для узгодження ключів сеансу.…”

Section: моделі безпеки для Ake протоколівunclassified

“…Напівінвазивні атаки включають доступ до пристрою без пошкодження шару пасивації або електричного контакту з несанкціонованою поверхнею. Нижче наведено неповний список[42] атак бічними каналами. Таким чином, відомі атаки з бічних каналів включають такі: Атака за часом: під час атаки за часом деяка інформація про ключ або секретний параметр виводиться з часу роботи криптографічного алгоритму або пристрою.…”

unclassified

“…практичної та теоретичної інформатики[42]. Оскільки протоколи безпеки можна розглядати як короткі програми або алгоритми, можна адаптувати методи коректності програмного забезпечення та інструменти для перевірки протоколів безпеки.…”

unclassified

See 4 more Smart Citations

Classification and analysis of vulnerabilities of modern information systems from classical and quantum attacks

Ostrianska¹,

Kandiy²,

Gorbenko³

et al. 2022

View full text Add to dashboard Cite

Recent advances in quantum technology and the potential that practical quantum computers may become a reality in the future have led to renewed interest in developing cryptographic technologies that are secure against conventional and quantum attacks. Currently, virtually all asymmetric cryptographic schemes in use are threatened by the potential development of powerful quantum computers. Post-quantum cryptography is one of main the ways to combat this threat. Its security is based on the complexity of mathematical problems that are currently considered unsolvable efficiently, even with the help of quantum computers. The security of information systems is ensured through protection against various threats that use system vulnerabilities. Security protocols are the building blocks of secure communication. They implement security mechanisms to provide security services. Security protocols are considered abstract when analyzed, but may have additional vulnerabilities in implementation. This work contains a holistic study of security protocols. Basics of security protocols, taxonomy of attacks on security protocols and their implementation are considered, as well as various methods and models of protocol security analysis. In particular, the differences between information-theoretic and computational security, computational and symbolic models are specified. In addition, an overview of the computational security models for Authenticated Key Exchange (AKE) and Password Authentication Key Exchange (PAKE) protocols is provided. The most important security models for the AKE and PAKE protocols were also described. With the emergence of new technologies that may have different security requirements, as well as with increased opportunities for competition, there is always a need to develop new protocols. Thus, the purpose of this article is to review, classify, analyze, and research the vulnerabilities of information systems from classical, quantum, and special attacks, performed taking into account the forecast regarding the possibilities of attacks on post-quantum cryptographic transformations; studying security assessment models for existing cryptographic protocols, as well as reviewing and benchmarking security models and providing suggestions for protection against existing potential attacks.

show abstract

Section: атаки на протоколиunclassified

Section: атаки на алгоритми шифруванняunclassified

Section: моделі безпеки для Ake протоколівunclassified

unclassified

See 3 more Smart Citations