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