Никешин, А. В., & Шнитман, В. З. (2021). Опыт верификации реализаций протокола TLS 1.3. Электронные библиотеки, 24(5), 902-922. https://doi.org/10.26907/1562-5419-2021-24-5-902-922